From 3688c58fa38bc0541b221a1ce5e0982653522810 Mon Sep 17 00:00:00 2001 From: Vitaly Lipatov Date: Thu, 17 May 2012 12:44:34 +0400 Subject: [PATCH] add misc-tab-position to dialog --- Terminal.glade | 84 ++++++++++++++++++++++++++++++++ terminal/terminal-preferences-dialog.c | 2 +- 2 files changed, 85 insertions(+), 1 deletion(-) diff --git a/Terminal.glade b/Terminal.glade index 5da4a6f..794c453 100644 --- a/Terminal.glade +++ b/Terminal.glade @@ -441,6 +441,70 @@ 2 + + + True + 0 + none + + + True + 12 + + + True + 6 + 2 + 12 + 6 + + + True + 0 + _Tab panel position + True + title-mode + + + GTK_FILL + + + + + True + liststore7 + + + + 0 + + + + + 1 + 2 + + + + + + + + + True + Tabs + True + + + + + + + + False + 3 + + @@ -2010,4 +2074,24 @@ when double clicking: + + + + + + + + Left + + + Right + + + Top + + + Bottom + + + diff --git a/terminal/terminal-preferences-dialog.c b/terminal/terminal-preferences-dialog.c index 31a9c0c..272a56b 100644 --- a/terminal/terminal-preferences-dialog.c +++ b/terminal/terminal-preferences-dialog.c @@ -88,7 +88,7 @@ terminal_preferences_dialog_init (TerminalPreferencesDialog *dialog) GtkFileFilter *filter; gchar *file; ExoMutualBinding *binding; - const gchar *props_active[] = { "title-mode", "command-login-shell", + const gchar *props_active[] = { "title-mode", "misc-tab-position", "command-login-shell", "command-update-records", "scrolling-single-line", "scrolling-on-output", "scrolling-on-keystroke", "scrolling-bar", "font-allow-bold", -- 1.7.9.7