From bba4c70609d809ea2e26e89f5b596bfc5260ee8a Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Sun, 29 Jun 2014 17:08:22 +0200 Subject: [PATCH] Fixed the title of the frames for each panel position in the preferences --- src/panel.c | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/panel.c b/src/panel.c index 4d5889c..1d047c2 100644 --- a/src/panel.c +++ b/src/panel.c @@ -908,13 +908,16 @@ static GtkWidget * _preferences_window_general(Panel * panel) static GtkWidget * _preferences_window_panel(Panel * panel, PanelPosition position) { + const char * titles[PANEL_POSITION_COUNT] = { + N_("Bottom panel:"), N_("Top panel:"), + N_("Left panel:"), N_("Right panel:") + }; GtkWidget * frame; GtkWidget * vbox3; GtkWidget * widget; size_t i; - /* FIXME wrong */ - frame = gtk_frame_new(_("Bottom panel:")); + frame = gtk_frame_new(_(titles[position])); #if GTK_CHECK_VERSION(3, 0, 0) vbox3 = gtk_box_new(GTK_ORIENTATION_VERTICAL, 4); #else