From 24d3ed455acf2f494309ed11003d2dcdfe41c692 Mon Sep 17 00:00:00 2001 From: Stephen Boddy Date: Mon, 12 Dec 2016 11:29:19 +0100 Subject: [PATCH] A chunk of work bringing the prefs glade file into the gtk3 world --- terminatorlib/preferences.glade | 2927 ++++++++++++++----------------- terminatorlib/prefseditor.py | 15 +- 2 files changed, 1373 insertions(+), 1569 deletions(-) diff --git a/terminatorlib/preferences.glade b/terminatorlib/preferences.glade index 9ef802de..6a1533ad 100644 --- a/terminatorlib/preferences.glade +++ b/terminatorlib/preferences.glade @@ -1,7 +1,7 @@ + - - + @@ -353,53 +353,60 @@ 0.10000000000000001 0.20000000000000001 - - - - - - - - default - - - False - 5 + 6 Terminator Preferences + 640 + 400 normal - + True False + vertical 2 - + True False - end + True - - gtk-close + + gtk-help True True True + True + + + + False + True + 0 + True + + + + + gtk-close False + True + True + True True - False - False - 0 + True + True + 1 False True - end 0 @@ -408,22 +415,24 @@ True True - + True False - 12 + 18 + vertical 18 - + True False + vertical True False - 0 <b>Behavior</b> True + 0 False @@ -437,35 +446,34 @@ False 12 - + True False 36 True - + True False - 7 - 2 - 12 6 + 12 True False - 0 Window state: + 0 - GTK_FILL - + 0 + 0 True False + True WindowStateListStore 0 @@ -478,122 +486,115 @@ 1 - 2 - + 0 Always on top + False True True False - False + 0.5 True True - 2 + 0 1 - 2 - GTK_FILL - + 2 Show on all workspaces + False True True False - False + 0.5 True True - 2 + 0 2 - 3 - GTK_FILL - + 2 Hide on lose focus + False True True False - False + 0.5 True True - 2 + 0 3 - 4 - GTK_FILL - + 2 Hide from taskbar + False True True False - False + 0.5 True True - 2 + 0 4 - 5 - GTK_FILL - + 2 Window geometry hints + False True True False - False + 0.5 True True - 2 + 0 5 - 6 - GTK_FILL - + 2 DBus server + False True True False - False + 0.5 True True - 2 + 0 6 - 7 - GTK_FILL - + 2 @@ -604,29 +605,28 @@ - + True False - 7 - 2 - 12 6 + 12 True False - 0 Mouse focus: + 0 - GTK_FILL - + 0 + 0 True False + True FocusListStore 0 @@ -639,29 +639,26 @@ 1 - 2 - GTK_FILL - + 0 True False - 0 Broadcast default: + 0 + 0 1 - 2 - GTK_FILL - True False + True BroadcastDefaultListStore 0 @@ -674,88 +671,84 @@ 1 - 2 1 - 2 - PuTTY style paste + False True True False - False + 0.5 True - 2 + 0 2 - 3 + 2 Smart copy + False True True False - False + 0.5 True - 2 + 0 3 - 4 + 2 Re-use profiles for new terminals + False True True False - False 0 True - 2 + 0 4 - 5 - GTK_FILL - + 2 Use custom URL handler + False True True False - False + 0.5 True - 2 + 0 5 - 6 - GTK_FILL - + 2 - + True False 12 - + True False 12 @@ -763,8 +756,8 @@ True False - 0 Custom URL handler: + 0 False @@ -777,15 +770,12 @@ True True • - True False False - True - True - True + False True 1 @@ -794,11 +784,9 @@ - 2 + 0 6 - 7 - GTK_FILL - + 2 @@ -825,16 +813,18 @@ - + True False + vertical True False - 0 + 6 <b>Appearance</b> True + 0 False @@ -848,97 +838,127 @@ False 12 - + True False 36 True - + True False - 3 - 2 - 12 6 + 12 True False - 0 Terminal separator size: + 0 - GTK_FILL - + 0 + 0 - + True - True - adjustment1 - 0 - 0 - left - + False + -1 + right + 5 + 5 + 1 + 1 1 - 2 - + 0 + + + + + 100 + True + True + baseline + True + adjustment1 + 0 + 0 + False + bottom + + + + 2 + 0 True False - 0 Unfocused terminal font brightness: + 0 + 0 1 - 2 - GTK_FILL - - - 100 + True - True - adjustment7 - 2 - 2 - left - + False + 100% + right + 5 + 5 + 1 + 1 1 - 2 1 - 2 - + + + + + 100 + True + True + baseline + True + adjustment7 + 2 + 2 + False + bottom + + + + 2 + 1 Window borders + False True True False - False + 0.5 True True - 2 + 0 2 - 3 - GTK_FILL - + 3 @@ -949,29 +969,63 @@ - + True False - 3 - 2 - 12 6 + 12 True False - 0 Tab position: + 0 - GTK_FILL - + 0 + 0 + + + + + Tabs homogeneous + False + True + True + False + 0.5 + True + True + + + + 0 + 1 + 2 + + + + + Tabs scroll buttons + False + True + True + False + 0.5 + True + + + + 0 + 2 + 2 True False + True TabPositionListStore 0 @@ -984,45 +1038,7 @@ 1 - 2 - - - - - - Tabs homogeneous - True - True - False - False - True - True - - - - 2 - 1 - 2 - GTK_FILL - - - - - - Tabs scroll buttons - True - True - False - False - True - - - - 2 - 2 - 3 - GTK_FILL - + 0 @@ -1049,16 +1065,17 @@ - + True False + vertical True False - 0 <b>Terminal Titlebar</b> True + 0 False @@ -1072,142 +1089,43 @@ False 12 - + True False 36 True - + True False - + True False - 3 - 4 - 12 6 + 12 - - True - True - True - False - #000000000000 - - - - 1 - 2 - 1 - 2 - - - - - - - True - True - True - False - #000000000000 - - - - 2 - 3 - 1 - 2 - - - - - - - True - True - True - False - #000000000000 - - - - 1 - 2 - 2 - 3 - - - - - - - True - True - True - False - #000000000000 - - - - 2 - 3 - 2 - 3 - - - - - - - True - True - True - False - #000000000000 - - - - 3 - 4 - 1 - 2 - - - - - - - True - True - True - False - #000000000000 - - - - 3 - 4 - 2 - 3 - - - - - - + True False - Receiving + Font color: + 0 - 3 - 4 - - + 0 + 1 + + + + + True + False + Background: + 0 + + + 0 + 2 @@ -1218,9 +1136,7 @@ 1 - 2 - - + 0 @@ -1231,37 +1147,102 @@ 2 - 3 - - + 0 - + True False - 0 - Font color: + Receiving + 3 + 0 + + + + + False + True + True + True + center + + + + 1 1 - 2 - GTK_FILL - - + + False True - False - 0 - Background: + True + True + center + + 2 + 1 + + + + + False + True + True + True + center + + + + 3 + 1 + + + + + False + True + True + True + center + + + + 1 + 2 + + + + + False + True + True + True + center + + + + 2 + 2 + + + + + False + True + True + True + center + + + + 3 2 - 3 - GTK_FILL - @@ -1285,56 +1266,52 @@ - + True False - 3 - 2 - 12 6 + 12 Hide size from title + False True True False - False + 0.5 True True - 2 - GTK_FILL - + 0 + 0 _Use the system font + False True True False - False True + 0.5 True - 2 + 0 1 - 2 - GTK_FILL - - + True False 12 - + True False 12 @@ -1342,24 +1319,25 @@ True False - 0 _Font: True font_selector + 0 False - False + True 0 + False True True True - False False + Sans 12 Choose A Titlebar Font True @@ -1374,10 +1352,8 @@ - 2 + 0 2 - 3 - @@ -1416,30 +1392,35 @@ - + True True + 18 150 True - + True False + vertical 6 True True never - automatic + in True True - ProfilesListStore adjustment2 adjustment3 + ProfilesListStore 0 + + + Profile @@ -1465,16 +1446,16 @@ - + True False gtk-add + False True True True - False True @@ -1487,10 +1468,10 @@ gtk-remove + False True True True - False True @@ -1520,26 +1501,28 @@ True True - 5 - + True False - 12 + 18 + vertical 18 - + True False + vertical 6 _Use the system fixed width font + False True True False - False True + 0.5 True @@ -1555,7 +1538,7 @@ False 12 - + True False 12 @@ -1563,10 +1546,10 @@ True False - 0 _Font: True font_selector + 0 False @@ -1576,11 +1559,12 @@ + False True True True - False False + Sans 12 Choose A Terminal Font True @@ -1603,11 +1587,12 @@ _Allow bold text + False True True False - False True + 0.5 True @@ -1620,10 +1605,11 @@ Show titlebar + False True True False - False + 0.5 True @@ -1636,10 +1622,11 @@ Copy on selection + False True True False - False + 0.5 True @@ -1652,10 +1639,11 @@ Rewrap on resize + False True True False - False + 0.5 True @@ -1666,7 +1654,7 @@ - + True False 12 @@ -1674,11 +1662,11 @@ True False - 0 Select-by-_word characters: True center word_chars_entry + 0 False @@ -1690,7 +1678,7 @@ True True - • + â @@ -1714,23 +1702,24 @@ - + True False 36 True - + True False + vertical 6 True False - 0 <b>Cursor</b> True + 0 False @@ -1744,13 +1733,24 @@ False 12 - + True False - 3 - 2 - 12 6 + 12 + + + True + False + _Shape: + True + 0 + + + 0 + 0 + + True @@ -1767,67 +1767,51 @@ 1 - 2 - + 0 True False - 0 Color: - - - 1 - 2 - GTK_FILL - - - - - - True - False 0 - _Shape: - True - cursor_shape_combobox - GTK_FILL - + 0 + 1 Blink + False True True False - False + 0.5 True - 2 + 0 2 - 3 - + 2 - + True False 6 Foreground + False True True False - False + 0.5 True True @@ -1839,15 +1823,16 @@ - + True False + False True True False - False + 0.5 True True cursor_color_foreground_radiobutton @@ -1861,12 +1846,12 @@ + False True True True - False + center 0 - #000000000000 @@ -1875,9 +1860,6 @@ 1 - - - True @@ -1888,10 +1870,7 @@ 1 - 2 1 - 2 - @@ -1911,17 +1890,18 @@ - + True False + vertical 6 True False - 0 <b>Terminal bell</b> True + 0 False @@ -1935,17 +1915,19 @@ False 12 - + True False + vertical 6 Titlebar icon + False True True False - False + 0.5 True @@ -1958,11 +1940,12 @@ Visual flash + False True True False - False True + 0.5 True @@ -1975,11 +1958,12 @@ Audible beep + False True True False - False True + 0.5 True @@ -1992,11 +1976,12 @@ Window list flash + False True True False - False True + 0.5 True @@ -2044,133 +2029,109 @@ - + True False - 12 + 18 + 6 + 12 - + + _Run command as a login shell + False + True + True + False + True + 0 + True + + + + 0 + 0 + 2 + + + + + Ru_n a custom command instead of my shell + False + True + True + False + True + 0 + True + + + + 0 + 1 + 2 + + + + True False - 4 - 2 - 12 - 6 + Custom co_mmand: + True + center + 1 + + + 0 + 2 + + + + + True + False + When command _exits: + True + center + 1 + + + 0 + 3 + + + + + True + True + True + • + False + False + + + + 1 + 2 + + + + + True + False + start + ChildExitedListStore + 0 + - - _Run command as a login shell - True - True - False - False - True - True - - - - 2 - - - - - - Ru_n a custom command instead of my shell - True - True - False - False - True - True - - - - 2 - 1 - 2 - - - - - - True - False - 1 - Custom co_mmand: - True - center - custom_command_entry - - - 2 - 3 - GTK_FILL - - - - - - True - False - 1 - When command _exits: - True - center - exit_action_combobox - - - 3 - 4 - GTK_FILL - - - - - - True - True - • - True - False - False - True - True - - - - 1 - 2 - 2 - 3 - - - - - - True - False - ChildExitedListStore - 0 - - - - - 0 - - - - - 1 - 2 - 3 - 4 - - + + + 0 + - False - True - 0 + 1 + 3 @@ -2192,23 +2153,25 @@ - + True False - 12 + 18 + vertical 18 - + True False + vertical 6 True False - 0 <b>Foreground and Background</b> True + 0 False @@ -2222,91 +2185,104 @@ False 12 - + True False - 4 - 2 - 12 6 - - - True - False - 0 - _Text color: - True - center - foreground_colorpicker - - - 2 - 3 - GTK_FILL - - - + 12 _Use colors from system theme + False True True False - False True + 0.5 True - 2 - GTK_FILL - - - - - - True - False - 0 - _Background color: - True - center - background_colorpicker - - - 3 - 4 - GTK_FILL - + 0 + 0 + 2 True False - 0 Built-in sche_mes: True center - color_scheme_combobox + 0 + 0 1 - 2 - GTK_FILL - - + + True + False + _Text color: + True + center + foreground_colorpicker + 0 + + + 0 + 2 + + + + + True + False + _Background color: + True + center + background_colorpicker + 0 + + + 0 + 3 + + + + + True + False + start + 3 + ColourSchemeListStore + 2 + + + + + 0 + + + + + 1 + 1 + + + + True False + False True True True - False Choose Terminal Text Color #000000000000 @@ -2323,23 +2299,19 @@ 1 - 2 2 - 3 - GTK_FILL - GTK_FILL - + True False + False True True True - False Choose Terminal Background Color #000000000000 @@ -2356,33 +2328,7 @@ 1 - 2 3 - 4 - GTK_FILL - GTK_FILL - - - - - True - False - ColourSchemeListStore - 2 - - - - - 0 - - - - - 1 - 2 - 1 - 2 - GTK_FILL @@ -2402,17 +2348,18 @@ - + True False + vertical 6 True False - 0 <b>Palette</b> True + 0 False @@ -2426,335 +2373,30 @@ False 12 - + True False - 3 - 2 - 12 6 + 12 True False - 0 Built-in _schemes: True center - palette_combobox - - - 1 - 2 - GTK_FILL - - - - - - True - False - 2 - 8 - 6 - 6 - - - True - True - True - False - #000000000000 - - - - - - - - - - True - True - True - False - #000000000000 - - - - 1 - 2 - - - - - - - True - True - True - False - #000000000000 - - - - 2 - 3 - - - - - - - True - True - True - False - #000000000000 - - - - 3 - 4 - - - - - - - True - True - True - False - #000000000000 - - - - 4 - 5 - - - - - - - True - True - True - False - #000000000000 - - - - 5 - 6 - - - - - - - True - True - True - False - #000000000000 - - - - 7 - 8 - - - - - - - True - True - True - False - #000000000000 - - - - 1 - 2 - - - - - - - True - True - True - False - #000000000000 - - - - 1 - 2 - 1 - 2 - - - - - - - True - True - True - False - #000000000000 - - - - 3 - 4 - 1 - 2 - - - - - - - True - True - True - False - #000000000000 - - - - 2 - 3 - 1 - 2 - - - - - - - True - True - True - False - #000000000000 - - - - 4 - 5 - 1 - 2 - - - - - - - True - True - True - False - #000000000000 - - - - 7 - 8 - 1 - 2 - - - - - - - True - True - True - False - #000000000000 - - - - 5 - 6 - 1 - 2 - GTK_FILL - - - - - - True - True - True - False - #000000000000 - - - - 6 - 7 - - - - - - - True - True - True - False - #000000000000 - - - - 6 - 7 - 1 - 2 - GTK_FILL - - - - - - 1 - 2 - 2 - 3 - GTK_FILL - GTK_FILL - - - - - True - False 0 - <small><i><b>Note:</b> Terminal applications have these colors available to them.</i></small> - True - center - 2 - GTK_FILL - + 0 + 0 True False + start PaletteListStore 0 @@ -2767,28 +2409,261 @@ 1 - 2 - 1 - 2 - GTK_FILL + 0 True False - 0 - 0 Color p_alette: True center - palette_colorpicker_1 + 0 + 0 - 2 - 3 - GTK_FILL - GTK_FILL + 0 + 1 + + + + + True + False + start + 6 + 6 + True + True + + + False + True + True + True + #000000000000 + + + + 0 + 0 + + + + + False + True + True + True + #000000000000 + + + + 1 + 0 + + + + + False + True + True + True + #000000000000 + + + + 2 + 0 + + + + + False + True + True + True + #000000000000 + + + + 3 + 0 + + + + + False + True + True + True + #000000000000 + + + + 4 + 0 + + + + + False + True + True + True + #000000000000 + + + + 5 + 0 + + + + + False + True + True + True + #000000000000 + + + + 6 + 0 + + + + + False + True + True + True + #000000000000 + + + + 7 + 0 + + + + + False + True + True + True + #000000000000 + + + + 0 + 1 + + + + + False + True + True + True + #000000000000 + + + + 1 + 1 + + + + + False + True + True + True + #000000000000 + + + + 2 + 1 + + + + + False + True + True + True + #000000000000 + + + + 3 + 1 + + + + + False + True + True + True + #000000000000 + + + + 4 + 1 + + + + + False + True + True + True + #000000000000 + + + + 5 + 1 + + + + + False + True + True + True + #000000000000 + + + + 6 + 1 + + + + + False + True + True + True + #000000000000 + + + + 7 + 1 + + + + + 1 + 1 @@ -2826,19 +2701,21 @@ - + True False - 12 + 18 + vertical 6 _Solid color + False True True False - False True + 0.5 True True @@ -2852,11 +2729,12 @@ _Transparent background + False True True False - False True + 0.5 True solid_radiobutton @@ -2868,18 +2746,19 @@ - + True False + vertical 6 True False - 0 S_hade transparent background: True darken_background_scale + 0 False @@ -2889,18 +2768,18 @@ - + True False True False - 0 - 0.15000000596046448 6 <small><i>None</i></small> True + 0 + 0.15000000596046448 False @@ -2909,7 +2788,7 @@ - + True True background_darkness_scale @@ -2928,11 +2807,11 @@ True False - 1 - 0.15000000596046448 6 <small><i>Maximum</i></small> True + 1 + 0.15000000596046448 False @@ -2964,9 +2843,9 @@ True False - 0 Background True + 0 3 @@ -2974,205 +2853,179 @@ - + True False - 12 + 18 + 6 + 12 - + True False - 5 - 2 - 12 - 6 + center + _Scrollbar is: + True + center + 1 + + + 0 + 0 + + + + + True + False + start + True + ScrollbarPositionListStore + 0 + - - Scroll on _keystroke - True - True - False - False - True - True - - - - 2 - 4 - 5 - - + + + 0 + + + + 1 + 0 + + + + + Scroll on _output + False + True + True + False + True + 0 + True + + + + 0 + 1 + 2 + + + + + Scroll on _keystroke + False + True + True + False + True + 0 + True + + + + 0 + 2 + 2 + + + + + Infinite Scrollback + False + True + True + False + 0 + True + + + + 0 + 3 + 2 + + + + + True + False + 12 - - Scroll on _output - True - True - False - False - True - True - - - - 2 - 3 - 4 - - - - - + True False + 12 - + True False - ScrollbarPositionListStore - 0 - - - - - 0 - - - - - False - True - 0 - - - - - 1 - 2 - GTK_FILL - - - - - True - False - 6 - - - True - True - • - True - False - False - True - True - ScrollbackAdjustmend - 1 - True - - - - False - True - 0 - - - - - True - False - 0 - lines - True + Scroll_back: + True center scrollback_lines_spinbutton + 1 False - False - 1 + True + 0 - - 1 - 2 - 1 - 2 - GTK_FILL - GTK_FILL - + + + 0 + 4 + + + + + True + False + 6 - - True - False - 1 - _Scrollbar is: - True - center - scrollbar_position_combobox - - - GTK_FILL - GTK_FILL - - - - - True - False - 1 - Scroll_back: - True - center - scrollback_lines_spinbutton - - - 1 - 2 - GTK_FILL - GTK_FILL - - - - - Infinite Scrollback + True True - False - False - True - + • + 0 + False + False + ScrollbackAdjustmend + 1 + True + - 1 - 2 - 2 - 3 - GTK_FILL - + False + True + 0 - + True False + lines + True + center + scrollback_lines_spinbutton + 0 - 2 - 3 - GTK_FILL - + False + False + 1 - False - True - 0 + 1 + 4 @@ -3193,237 +3046,153 @@ - + True False - 12 - 18 + 18 + 6 + 12 - + True False - 12 - - - True - False - 0 - 7.4505801528346183e-09 - <small><i><b>Note:</b> These options may cause some applications to behave incorrectly. They are only here to allow you to work around certain applications and operating systems that expect different terminal behavior.</i></small> - True - True - - - False - True - 0 - - - - - True - False - 2 - 3 - 12 - 6 - - - True - False - 1 - _Delete key generates: - True - center - delete_binding_combobox - - - 1 - 2 - GTK_FILL - - - - - - True - False - 1 - _Backspace key generates: - True - center - backspace_binding_combobox - - - GTK_FILL - - - - - - True - False - BackspaceKeyListStore - 1 - - - - - 0 - - - - - 1 - 3 - GTK_FILL - GTK_FILL - - - - - True - False - DeleteKeyListStore - 2 - - - - - 0 - - - - - 1 - 3 - 1 - 2 - GTK_FILL - GTK_FILL - - - - - False - True - 1 - - - - - True - False - start - - - _Reset Compatibility Options to Defaults - True - True - True - False - True - - - - False - False - 0 - - - - - False - False - 2 - - + 6 + <small><i><b>Note:</b> These options may cause some applications to behave incorrectly. They are only here to allow you to work around certain applications and operating systems that expect different terminal behavior.</i></small> + True + True + 0 + 7.4505801528346183e-09 - False - True - 0 + 0 + 0 + 2 - + True False - 6 + end + _Backspace key generates: + True + center + 1 + + + 0 + 1 + + + + + True + False + end + _Delete key generates: + True + center + 1 + + + 0 + 2 + + + + + True + False + start + True + BackspaceKeyListStore + 1 + - - True - False - 0 - <b>Encoding</b> - True - - - False - False - 0 - - - - - True - False - 12 - - - True - False - 2 - 12 - 6 - - - True - False - 0 - Default: - True - center - color_scheme_combobox - - - GTK_FILL - - - - - - True - False - EncodingListStore - - - - - 0 - - - - - 1 - 2 - GTK_FILL - - - - - - - False - True - 1 - + + + 0 + - False - True - 1 + 1 + 1 + + + + + True + False + start + True + DeleteKeyListStore + 2 + + + + + 0 + + + + + 1 + 2 + + + + + True + False + end + Encoding: + True + center + end + 0 + + + 0 + 3 + + + + + True + False + start + True + EncodingListStore + + + + + 0 + + + + + 1 + 3 + + + + + _Reset Compatibility Options to Defaults + False + True + True + True + start + 6 + True + + + + 0 + 4 + 2 @@ -3467,30 +3236,35 @@ - + True True + 18 150 True - + True False + vertical 6 True True never - automatic + in True True - LayoutListStore adjustment5 adjustment6 + LayoutListStore 0 + + + Layout @@ -3516,16 +3290,16 @@ - + True False gtk-add + False True True True - False True @@ -3538,10 +3312,10 @@ gtk-remove + False True True True - False True @@ -3554,10 +3328,10 @@ gtk-save + False True True True - False True @@ -3581,7 +3355,7 @@ - + True True 150 @@ -3592,7 +3366,7 @@ True True never - automatic + in True @@ -3600,6 +3374,9 @@ LayoutTreeStore False 0 + + + Type @@ -3631,112 +3408,92 @@ - + True False - 12 - 3 - 2 - 12 + 6 6 + 12 True False - 1 Profile: + 1 - GTK_FILL - + 0 + 0 True False - 1 Custom command: + 1 + 0 1 - 2 - GTK_FILL - - - - - - True - True - • - True - False - False - True - True - - - - 1 - 2 - 1 - 2 - - - - - - True - False - layoutprofilelist - 0 - - - - - 0 - - - - - 1 - 2 - True False - 1 Working directory: + 1 + 0 2 - 3 - GTK_FILL - + + + + + True + False + True + 0 + + + + + + + 1 + 0 + + + + + True + True + True + • + False + False + + + + 1 + 1 True True + True • - True False False - True - True 1 - 2 2 - 3 - @@ -3773,6 +3530,7 @@ True adjustment4 never + in True @@ -3780,6 +3538,9 @@ KeybindingsListStore False 0 + + + Name @@ -3838,7 +3599,7 @@ - + True True 200 @@ -3849,15 +3610,18 @@ True True never - automatic + in True True - PluginListStore adjustment2 adjustment3 + PluginListStore 0 + + + Plugin @@ -3914,185 +3678,159 @@ - + True False + center + False + 18 + 12 + 12 - + + True + False + 1 + 1 + 128 + terminator + + + 0 + 0 + + + + True False - - - - + True False - 12 - 2 - 2 - 12 - 12 + vertical - + True False - 1 - 1 - 128 - terminator - GTK_FILL + True + True + 0 - + True False + Terminator + + + + + + False + False + 1 + + + + + True + False + 10 - + True False - - - True - False - - - True - True - 0 - - - - - True - False - Terminator - - - - - - False - False - 1 - - - - - True - False - 10 - - - True - False - The robot future of terminals - - - - - False - False - 2 - - + The robot future of terminals - - False - True - 0 - - 1 - 2 - GTK_FILL - - - - - True - False - 0 - 0 - The goal of this project is to produce a useful tool for arranging terminals. It is inspired by programs such as gnome-multi-term, quadkonsole, etc. in that the main focus is arranging terminals in grids (tabs is the most common default method, which Terminator also supports). - -Much of the behavior of Terminator is based on GNOME Terminal, and we are adding more features from that as time goes by, but we also want to extend out in different directions with useful features for sysadmins and other users. If you have any suggestions, please file wishlist bugs! (see left for the Development link) - True - 55 - - - 1 - 2 - 1 - 2 - - GTK_FILL - - - - - True - False - 12 - - - The Manual - True - True - True - False - - - - False - True - 0 - - - - - True - True - 0 - <a href="http://gnometerminator.blogspot.com/p/introduction.html">Homepage</a> -<a href="http://gnometerminator.blogspot.com/">Blog / News</a> -<a href="https://launchpad.net/terminator">Development</a> - True - center - - - True - True - 1 - - - - - 1 - 2 - + False + False + 2 False - False - 1 + True + 0 - - - - True - True - 0 + 1 + 0 + + + + + True + False + The goal of this project is to produce a useful tool for arranging terminals. It is inspired by programs such as gnome-multi-term, quadkonsole, etc. in that the main focus is arranging terminals in grids (tabs is the most common default method, which Terminator also supports). + +Much of the behavior of Terminator is based on GNOME Terminal, and we are adding more features from that as time goes by, but we also want to extend out in different directions with useful features for sysadmins and other users. If you have any suggestions, please file wishlist bugs! (see left for the Development link) + True + 55 + 55 + 0 + 0 + + + 1 + 1 + + + + + True + False + vertical + 12 + + + The Manual + False + True + True + True + center + False + + + + False + True + 0 + + + + + True + True + <a href="http://gnometerminator.blogspot.com/p/introduction.html">Homepage</a> +<a href="http://gnometerminator.blogspot.com/">Blog / News</a> +<a href="https://launchpad.net/terminator">Development</a> +<a href="https://bugs.launchpad.net/terminator">Bugs / Enhancements</a> +<a href="https://translations.launchpad.net/terminator">Translations</a> + True + center + 0 + + + True + True + 1 + + + + + 0 + 1 @@ -4124,4 +3862,63 @@ Much of the behavior of Terminator is based on GNOME Terminal, and we are adding okbutton + + + + + + + + + + + + + + + + + both + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + both + + + + + + diff --git a/terminatorlib/prefseditor.py b/terminatorlib/prefseditor.py index 03a11d64..736b17e7 100755 --- a/terminatorlib/prefseditor.py +++ b/terminatorlib/prefseditor.py @@ -233,6 +233,8 @@ class PrefsEditor: termsepsize = self.config['handle_size'] widget = guiget('handlesize') widget.set_value(float(termsepsize)) + widget = guiget('handlesize_value_label') + widget.set_text(str(termsepsize)) # Window geometry hints geomhint = self.config['geometry_hinting'] widget = guiget('wingeomcheck') @@ -569,6 +571,8 @@ class PrefsEditor: # Inactive terminal shading widget = guiget('inactive_color_offset') widget.set_value(float(self.config['inactive_color_offset'])) + widget = guiget('inactive_color_offset_value_label') + widget.set_text('%d%%' % (int(float(self.config['inactive_color_offset'])*100))) # Use custom URL handler widget = guiget('use_custom_url_handler_checkbox') widget.set_active(self.config['use_custom_url_handler']) @@ -1043,6 +1047,9 @@ class PrefsEditor: value = 1.0 self.config['inactive_color_offset'] = value self.config.save() + guiget = self.builder.get_object + label_widget = guiget('inactive_color_offset_value_label') + label_widget.set_text('%d%%' % (int(value * 100))) def on_handlesize_change_value(self, widget, scroll, _value_not_rounded): """Handle size changed""" @@ -1052,6 +1059,9 @@ class PrefsEditor: value = 20 self.config['handle_size'] = value self.config.save() + guiget = self.builder.get_object + label_widget = guiget('handlesize_value_label') + label_widget.set_text(str(value)) def on_focuscombo_changed(self, widget): """Focus type changed""" @@ -1568,9 +1578,6 @@ class LayoutEditor: self.profile_ids_to_profile = {} self.profile_profile_to_ids= {} chooser = self.builder.get_object('layout_profile_chooser') - model = chooser.get_model() - - model.clear() profiles = self.config.list_profiles() profiles.sort() @@ -1578,7 +1585,7 @@ class LayoutEditor: for profile in profiles: self.profile_ids_to_profile[i] = profile self.profile_profile_to_ids[profile] = i - model.append([profile]) + chooser.append_text(profile) i = i + 1 def on_layout_selection_changed(self, selection):