Fixed the title of the frames for each panel position in the preferences

This commit is contained in:
Pierre Pronchery 2014-06-29 17:08:22 +02:00
parent 9e3f185123
commit bba4c70609

View File

@ -908,13 +908,16 @@ static GtkWidget * _preferences_window_general(Panel * panel)
static GtkWidget * _preferences_window_panel(Panel * panel, static GtkWidget * _preferences_window_panel(Panel * panel,
PanelPosition position) PanelPosition position)
{ {
const char * titles[PANEL_POSITION_COUNT] = {
N_("Bottom panel:"), N_("Top panel:"),
N_("Left panel:"), N_("Right panel:")
};
GtkWidget * frame; GtkWidget * frame;
GtkWidget * vbox3; GtkWidget * vbox3;
GtkWidget * widget; GtkWidget * widget;
size_t i; size_t i;
/* FIXME wrong */ frame = gtk_frame_new(_(titles[position]));
frame = gtk_frame_new(_("Bottom panel:"));
#if GTK_CHECK_VERSION(3, 0, 0) #if GTK_CHECK_VERSION(3, 0, 0)
vbox3 = gtk_box_new(GTK_ORIENTATION_VERTICAL, 4); vbox3 = gtk_box_new(GTK_ORIENTATION_VERTICAL, 4);
#else #else