« back to all changes in this revision
Viewing changes to geany.glade
- browse files at revision 28
- compare with another revision
- download diff
- download tarball
- view history from revision 28
- Committer: Package Import Robot
- Author(s): Chow Loong Jin
- Date: 2011-12-10 07:43:26 UTC
- mfrom: (3.3.7 sid)
- Revision ID: package-import@ubuntu.com-20111210074326-s8yqbew5i20h33tf
Tags: 0.21-1ubuntu1
* Merge from Debian Unstable, remaining changes:
- debian/patches/20_use_evince_viewer.patch:
+ use evince as viewer for pdf and dvi files
- debian/patches/20_use_x_terminal_emulator.patch:
+ use x-terminal-emulator as terminal
- debian/control
+ Add breaks on geany-plugins-common << 0.20
* Also fixes bugs:
- Filter for MATLAB/Octave files filters everythign (LP: 885505)
- debian/patches/20_use_evince_viewer.patch:
+ use evince as viewer for pdf and dvi files
- debian/patches/20_use_x_terminal_emulator.patch:
+ use x-terminal-emulator as terminal
- debian/control
+ Add breaks on geany-plugins-common << 0.20
* Also fixes bugs:
- Filter for MATLAB/Octave files filters everythign (LP: 885505)
- files added:
- .pc
- .pc/20_add_debian_specific_filetypes.patch
- .pc/20_add_debian_specific_filetypes.patch/data
- .pc/20_change_gpl_location.patch
- .pc/20_change_gpl_location.patch/src
- .pc/20_debian_control_tags.patch
- .pc/20_debian_control_tags.patch/tagmanager
- .pc/20_load_plugins_from_all_paths.patch
- .pc/20_load_plugins_from_all_paths.patch/src
- .pc/20_use_evince_viewer.patch
- .pc/20_use_evince_viewer.patch/data
- .pc/20_use_sensible_browser.patch
- .pc/20_use_sensible_browser.patch/src
- .pc/20_use_x_terminal_emulator.patch
- .pc/20_use_x_terminal_emulator.patch/src
- data/templates/files/.svn
- data/templates/files/.svn/prop-base
- data/templates/files/.svn/props
- data/templates/files/.svn/text-base
- data/templates/files/.svn/tmp
- data/templates/files/.svn/tmp/prop-base
- data/templates/files/.svn/tmp/props
- data/templates/files/.svn/tmp/text-base
- debian/source
- scintilla/gtk
- scintilla/lexers
- scintilla/lexlib
- scintilla/src
- tagmanager/mio
- files removed:
- debian/README.source
- files modified:
- AUTHORS
added
removed
geany.glade
67
67
<property name="use_underline">True</property>
68
68
69
69
<child internal-child="image">
70
<widget class="GtkImage" id="image4011">
70
<widget class="GtkImage" id="image4056">
71
71
<property name="visible">True</property>
72
72
<property name="stock">gtk-new</property>
73
73
<property name="icon_size">1</property>
144
144
<signal name="activate" handler="on_save_all1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
145
145
146
146
<child internal-child="image">
147
<widget class="GtkImage" id="image4012">
147
<widget class="GtkImage" id="image4057">
148
148
<property name="visible">True</property>
149
149
<property name="stock">gtk-save</property>
150
150
<property name="icon_size">1</property>
165
165
<signal name="activate" handler="on_toolbutton_reload_clicked" last_modification_time="Mon, 01 Sep 2008 16:57:06 GMT"/>
166
166
167
167
<child internal-child="image">
168
<widget class="GtkImage" id="image4013">
168
<widget class="GtkImage" id="image4058">
169
169
<property name="visible">True</property>
170
170
<property name="stock">gtk-revert-to-saved</property>
171
171
<property name="icon_size">1</property>
185
185
<property name="use_underline">True</property>
186
186
187
187
<child internal-child="image">
188
<widget class="GtkImage" id="image4014">
188
<widget class="GtkImage" id="image4059">
189
189
<property name="visible">True</property>
190
190
<property name="stock">gtk-revert-to-saved</property>
191
191
<property name="icon_size">1</property>
272
272
<signal name="activate" handler="on_close_other_documents1_activate" last_modification_time="Fri, 27 Jun 2008 15:19:28 GMT"/>
273
273
274
274
<child internal-child="image">
275
<widget class="GtkImage" id="image4015">
275
<widget class="GtkImage" id="image4060">
276
276
<property name="visible">True</property>
277
277
<property name="stock">gtk-close</property>
278
278
<property name="icon_size">1</property>
293
293
<signal name="activate" handler="on_close_all1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
294
294
295
295
<child internal-child="image">
296
<widget class="GtkImage" id="image4016">
296
<widget class="GtkImage" id="image4061">
297
297
<property name="visible">True</property>
298
298
<property name="stock">gtk-close</property>
299
299
<property name="icon_size">1</property>
433
433
<signal name="activate" handler="on_cut_current_line(s)1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
434
434
435
435
<child internal-child="image">
436
<widget class="GtkImage" id="image4017">
436
<widget class="GtkImage" id="image4062">
437
437
<property name="visible">True</property>
438
438
<property name="stock">gtk-cut</property>
439
439
<property name="icon_size">1</property>
454
454
<signal name="activate" handler="on_copy_current_line(s)1_activate" last_modification_time="Mon, 26 Oct 2009 17:34:30 GMT"/>
455
455
456
456
<child internal-child="image">
457
<widget class="GtkImage" id="image4018">
457
<widget class="GtkImage" id="image4063">
458
458
<property name="visible">True</property>
459
459
<property name="stock">gtk-copy</property>
460
460
<property name="icon_size">1</property>
611
611
<signal name="activate" handler="on_menu_increase_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
612
612
613
613
<child internal-child="image">
614
<widget class="GtkImage" id="image4019">
614
<widget class="GtkImage" id="image4064">
615
615
<property name="visible">True</property>
616
616
<property name="stock">gtk-indent</property>
617
617
<property name="icon_size">1</property>
632
632
<signal name="activate" handler="on_menu_decrease_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
633
633
634
634
<child internal-child="image">
635
<widget class="GtkImage" id="image4020">
635
<widget class="GtkImage" id="image4065">
636
636
<property name="visible">True</property>
637
637
<property name="stock">gtk-unindent</property>
638
638
<property name="icon_size">1</property>
697
697
<property name="use_underline">True</property>
698
698
699
699
<child internal-child="image">
700
<widget class="GtkImage" id="image4021">
700
<widget class="GtkImage" id="image4066">
701
701
<property name="visible">True</property>
702
702
<property name="stock">gtk-add</property>
703
703
<property name="icon_size">1</property>
782
782
<property name="use_underline">True</property>
783
783
784
784
<child internal-child="image">
785
<widget class="GtkImage" id="image4022">
785
<widget class="GtkImage" id="image4067">
786
786
<property name="visible">True</property>
787
787
<property name="stock">gtk-add</property>
788
788
<property name="icon_size">1</property>
814
814
<property name="use_underline">True</property>
815
815
816
816
<child internal-child="image">
817
<widget class="GtkImage" id="image4023">
817
<widget class="GtkImage" id="image4068">
818
818
<property name="visible">True</property>
819
819
<property name="stock">gtk-add</property>
820
820
<property name="icon_size">1</property>
862
862
<signal name="activate" handler="on_preferences1_activate" last_modification_time="Wed, 08 Jun 2005 11:35:19 GMT"/>
863
863
864
864
<child internal-child="image">
865
<widget class="GtkImage" id="image4024">
865
<widget class="GtkImage" id="image4069">
866
866
<property name="visible">True</property>
867
867
<property name="stock">gtk-preferences</property>
868
868
<property name="icon_size">1</property>
883
883
<signal name="activate" handler="on_plugin_preferences1_activate" last_modification_time="Wed, 28 Oct 2009 17:17:31 GMT"/>
884
884
885
885
<child internal-child="image">
886
<widget class="GtkImage" id="image4025">
886
<widget class="GtkImage" id="image4070">
887
887
<property name="visible">True</property>
888
888
<property name="stock">gtk-preferences</property>
889
889
<property name="icon_size">1</property>
951
951
<signal name="activate" handler="on_find_in_files1_activate" last_modification_time="Thu, 06 Jul 2006 11:31:09 GMT"/>
952
952
953
953
<child internal-child="image">
954
<widget class="GtkImage" id="image4026">
954
<widget class="GtkImage" id="image4071">
955
955
<property name="visible">True</property>
956
956
<property name="stock">gtk-find</property>
957
957
<property name="icon_size">1</property>
972
972
<signal name="activate" handler="on_replace1_activate" last_modification_time="Sun, 23 Oct 2005 13:22:36 GMT"/>
973
973
974
974
<child internal-child="image">
975
<widget class="GtkImage" id="image4027">
975
<widget class="GtkImage" id="image4072">
976
976
<property name="visible">True</property>
977
977
<property name="stock">gtk-find-and-replace</property>
978
978
<property name="icon_size">1</property>
999
999
<signal name="activate" handler="on_next_message1_activate" last_modification_time="Tue, 05 Dec 2006 11:15:02 GMT"/>
1000
1000
1001
1001
<child internal-child="image">
1002
<widget class="GtkImage" id="image4028">
1002
<widget class="GtkImage" id="image4073">
1003
1003
<property name="visible">True</property>
1004
1004
<property name="stock">gtk-go-down</property>
1005
1005
<property name="icon_size">1</property>
1020
1020
<signal name="activate" handler="on_previous_message1_activate" last_modification_time="Wed, 25 Jun 2008 12:10:04 GMT"/>
1021
1021
1022
1022
<child internal-child="image">
1023
<widget class="GtkImage" id="image4029">
1023
<widget class="GtkImage" id="image4074">
1024
1024
<property name="visible">True</property>
1025
1025
<property name="stock">gtk-go-up</property>
1026
1026
<property name="icon_size">1</property>
1071
1071
<signal name="activate" handler="on_go_to_line_activate" last_modification_time="Sat, 06 Dec 2008 17:41:21 GMT"/>
1072
1072
1073
1073
<child internal-child="image">
1074
<widget class="GtkImage" id="image4030">
1074
<widget class="GtkImage" id="image4075">
1075
1075
<property name="visible">True</property>
1076
1076
<property name="stock">gtk-jump-to</property>
1077
1077
<property name="icon_size">1</property>
1199
1199
<signal name="activate" handler="on_change_font1_activate" last_modification_time="Fri, 22 Apr 2005 18:58:45 GMT"/>
1200
1200
1201
1201
<child internal-child="image">
1202
<widget class="GtkImage" id="image4031">
1202
<widget class="GtkImage" id="image4076">
1203
1203
<property name="visible">True</property>
1204
1204
<property name="stock">gtk-select-font</property>
1205
1205
<property name="icon_size">1</property>
1416
1416
<widget class="GtkMenu" id="indent_type1_menu">
1417
1417
1418
1418
<child>
1419
<widget class="GtkMenuItem" id="detect_type_from_file">
1420
<property name="visible">True</property>
1421
<property name="label" translatable="yes">_Detect from Content</property>
1422
<property name="use_underline">True</property>
1423
<signal name="activate" handler="on_detect_type_from_file_activate" last_modification_time="Thu, 25 Aug 2011 15:36:43 GMT"/>
1424
</widget>
1425
</child>
1426
1427
<child>
1428
<widget class="GtkSeparatorMenuItem" id="separator61">
1429
<property name="visible">True</property>
1430
</widget>
1431
</child>
1432
1433
<child>
1419
1434
<widget class="GtkRadioMenuItem" id="tabs1">
1420
1435
<property name="visible">True</property>
1421
1436
<property name="label" translatable="yes">_Tabs</property>
1461
1476
<widget class="GtkMenu" id="indent_width1_menu">
1462
1477
1463
1478
<child>
1479
<widget class="GtkMenuItem" id="detect_width_from_file">
1480
<property name="visible">True</property>
1481
<property name="label" translatable="yes">_Detect from Content</property>
1482
<property name="use_underline">True</property>
1483
<signal name="activate" handler="on_detect_width_from_file_activate" last_modification_time="Thu, 25 Aug 2011 15:36:43 GMT"/>
1484
</widget>
1485
</child>
1486
1487
<child>
1488
<widget class="GtkSeparatorMenuItem" id="separator62">
1489
<property name="visible">True</property>
1490
</widget>
1491
</child>
1492
1493
<child>
1464
1494
<widget class="GtkRadioMenuItem" id="indent_width_1">
1465
1495
<property name="visible">True</property>
1466
1496
<property name="label" translatable="yes">_1</property>
1771
1801
<signal name="activate" handler="on_project_new1_activate" last_modification_time="Thu, 18 Jan 2007 22:16:24 GMT"/>
1772
1802
1773
1803
<child internal-child="image">
1774
<widget class="GtkImage" id="image4032">
1804
<widget class="GtkImage" id="image4077">
1775
1805
<property name="visible">True</property>
1776
1806
<property name="stock">gtk-new</property>
1777
1807
<property name="icon_size">1</property>
1792
1822
<signal name="activate" handler="on_project_open1_activate" last_modification_time="Mon, 15 Jan 2007 17:34:17 GMT"/>
1793
1823
1794
1824
<child internal-child="image">
1795
<widget class="GtkImage" id="image4033">
1825
<widget class="GtkImage" id="image4078">
1796
1826
<property name="visible">True</property>
1797
1827
<property name="stock">gtk-open</property>
1798
1828
<property name="icon_size">1</property>
1821
1851
<signal name="activate" handler="on_project_close1_activate" last_modification_time="Mon, 15 Jan 2007 17:34:17 GMT"/>
1822
1852
1823
1853
<child internal-child="image">
1824
<widget class="GtkImage" id="image4034">
1854
<widget class="GtkImage" id="image4079">
1825
1855
<property name="visible">True</property>
1826
1856
<property name="stock">gtk-close</property>
1827
1857
<property name="icon_size">1</property>
1841
1871
</child>
1842
1872
1843
1873
<child>
1844
<widget class="GtkImageMenuItem" id="project_properties1">
1845
<property name="visible">True</property>
1846
<property name="label">gtk-properties</property>
1847
<property name="use_stock">True</property>
1848
<signal name="activate" handler="on_project_properties1_activate" last_modification_time="Mon, 15 Jan 2007 17:34:17 GMT"/>
1849
</widget>
1850
</child>
1851
1852
<child>
1853
<widget class="GtkSeparatorMenuItem" id="separator59">
1854
<property name="visible">True</property>
1855
</widget>
1856
</child>
1857
1858
<child>
1859
1874
<widget class="GtkMenuItem" id="reset_indentation1">
1860
1875
<property name="visible">True</property>
1861
1876
<property name="tooltip" translatable="yes">Apply the default indentation settings to all documents</property>
1864
1879
<signal name="activate" handler="on_reset_indentation1_activate" last_modification_time="Mon, 08 Nov 2010 15:30:43 GMT"/>
1865
1880
</widget>
1866
1881
</child>
1882
1883
<child>
1884
<widget class="GtkSeparatorMenuItem" id="separator59">
1885
<property name="visible">True</property>
1886
</widget>
1887
</child>
1888
1889
<child>
1890
<widget class="GtkImageMenuItem" id="project_properties1">
1891
<property name="visible">True</property>
1892
<property name="label">gtk-properties</property>
1893
<property name="use_stock">True</property>
1894
<signal name="activate" handler="on_project_properties1_activate" last_modification_time="Mon, 15 Jan 2007 17:34:17 GMT"/>
1895
</widget>
1896
</child>
1867
1897
</widget>
1868
1898
</child>
1869
1899
</widget>
1894
1924
<signal name="activate" handler="on_menu_reload_configuration1_activate" last_modification_time="Mon, 30 Jun 2008 16:19:40 GMT"/>
1895
1925
1896
1926
<child internal-child="image">
1897
<widget class="GtkImage" id="image4035">
1927
<widget class="GtkImage" id="image4080">
1898
1928
<property name="visible">True</property>
1899
1929
<property name="stock">gtk-refresh</property>
1900
1930
<property name="icon_size">1</property>
1914
1944
<property name="use_underline">True</property>
1915
1945
1916
1946
<child internal-child="image">
1917
<widget class="GtkImage" id="image4036">
1947
<widget class="GtkImage" id="image4081">
1918
1948
<property name="visible">True</property>
1919
1949
<property name="stock">gtk-file</property>
1920
1950
<property name="icon_size">1</property>
1941
1971
<signal name="activate" handler="on_show_color_chooser1_activate" last_modification_time="Wed, 22 Jun 2005 18:10:21 GMT"/>
1942
1972
1943
1973
<child internal-child="image">
1944
<widget class="GtkImage" id="image4037">
1974
<widget class="GtkImage" id="image4082">
1945
1975
<property name="visible">True</property>
1946
1976
<property name="stock">gtk-select-color</property>
1947
1977
<property name="icon_size">1</property>
1993
2023
<signal name="activate" handler="on_help1_activate" last_modification_time="Sun, 24 Jul 2005 15:23:11 GMT"/>
1994
2024
1995
2025
<child internal-child="image">
1996
<widget class="GtkImage" id="image4038">
2026
<widget class="GtkImage" id="image4083">
1997
2027
<property name="visible">True</property>
1998
2028
<property name="stock">gtk-help</property>
1999
2029
<property name="icon_size">1</property>
5091
5121
<child>
5092
5122
<widget class="GtkLabel" id="label249">
5093
5123
<property name="visible">True</property>
5094
<property name="label" translatable="yes">_More</property>
5124
<property name="label" translatable="yes">Notebook tabs</property>
5095
5125
<property name="use_underline">True</property>
5096
5126
<property name="use_markup">False</property>
5097
5127
<property name="justify">GTK_JUSTIFY_LEFT</property>
5110
5140
<property name="type">tab</property>
5111
5141
</packing>
5112
5142
</child>
5143
5144
<child>
5145
<widget class="GtkVBox" id="vbox15">
5146
<property name="border_width">5</property>
5147
<property name="visible">True</property>
5148
<property name="homogeneous">False</property>
5149
<property name="spacing">10</property>
5150
5151
<child>
5152
<widget class="GtkFrame" id="frame28">
5153
<property name="visible">True</property>
5154
<property name="label_xalign">0</property>
5155
<property name="label_yalign">0.5</property>
5156
<property name="shadow_type">GTK_SHADOW_NONE</property>
5157
5158
<child>
5159
<widget class="GtkAlignment" id="alignment31">
5160
<property name="visible">True</property>
5161
<property name="xalign">0.5</property>
5162
<property name="yalign">0.5</property>
5163
<property name="xscale">1</property>
5164
<property name="yscale">1</property>
5165
<property name="top_padding">0</property>
5166
<property name="bottom_padding">0</property>
5167
<property name="left_padding">12</property>
5168
<property name="right_padding">0</property>
5169
5170
<child>
5171
<widget class="GtkVBox" id="vbox42">
5172
<property name="visible">True</property>
5173
<property name="homogeneous">False</property>
5174
<property name="spacing">5</property>
5175
5176
<child>
5177
<widget class="GtkHBox" id="hbox18">
5178
<property name="visible">True</property>
5179
<property name="homogeneous">False</property>
5180
<property name="spacing">0</property>
5181
5182
<child>
5183
<widget class="GtkVBox" id="vbox52">
5184
<property name="visible">True</property>
5185
<property name="homogeneous">False</property>
5186
<property name="spacing">0</property>
5187
5188
<child>
5189
<widget class="GtkCheckButton" id="check_toolbar_show">
5190
<property name="visible">True</property>
5191
<property name="can_focus">True</property>
5192
<property name="label" translatable="yes">Show t_oolbar</property>
5193
<property name="use_underline">True</property>
5194
<property name="relief">GTK_RELIEF_NORMAL</property>
5195
<property name="focus_on_click">True</property>
5196
<property name="active">False</property>
5197
<property name="inconsistent">False</property>
5198
<property name="draw_indicator">True</property>
5199
</widget>
5200
<packing>
5201
<property name="padding">0</property>
5202
<property name="expand">False</property>
5203
<property name="fill">False</property>
5204
</packing>
5205
</child>
5206
5207
<child>
5208
<widget class="GtkCheckButton" id="check_toolbar_in_menu">
5209
<property name="visible">True</property>
5210
<property name="tooltip" translatable="yes">Pack the toolbar to the main menu to save vertical space</property>
5211
<property name="can_focus">True</property>
5212
<property name="label" translatable="yes">_Append toolbar to the menu</property>
5213
<property name="use_underline">True</property>
5214
<property name="relief">GTK_RELIEF_NORMAL</property>
5215
<property name="focus_on_click">True</property>
5216
<property name="active">False</property>
5217
<property name="inconsistent">False</property>
5218
<property name="draw_indicator">True</property>
5219
</widget>
5220
<packing>
5221
<property name="padding">0</property>
5222
<property name="expand">False</property>
5223
<property name="fill">False</property>
5224
</packing>
5225
</child>
5226
</widget>
5227
<packing>
5228
<property name="padding">0</property>
5229
<property name="expand">True</property>
5230
<property name="fill">True</property>
5231
</packing>
5232
</child>
5233
5234
<child>
5235
<widget class="GtkVBox" id="vbox53">
5236
<property name="visible">True</property>
5237
<property name="homogeneous">False</property>
5238
<property name="spacing">0</property>
5239
5240
<child>
5241
<widget class="GtkButton" id="button_customize_toolbar">
5242
<property name="visible">True</property>
5243
<property name="can_focus">True</property>
5244
<property name="relief">GTK_RELIEF_NORMAL</property>
5245
<property name="focus_on_click">True</property>
5246
<signal name="clicked" handler="on_button_customize_toolbar_clicked" last_modification_time="Thu, 25 Jun 2009 17:09:43 GMT"/>
5247
5248
<child>
5249
<widget class="GtkAlignment" id="alignment45">
5250
<property name="visible">True</property>
5251
<property name="xalign">0.5</property>
5252
<property name="yalign">0.5</property>
5253
<property name="xscale">0</property>
5254
<property name="yscale">0</property>
5255
<property name="top_padding">0</property>
5256
<property name="bottom_padding">0</property>
5257
<property name="left_padding">0</property>
5258
<property name="right_padding">0</property>
5259
5260
<child>
5261
<widget class="GtkHBox" id="hbox16">
5262
<property name="visible">True</property>
5263
<property name="homogeneous">False</property>
5264
<property name="spacing">2</property>
5265
5266
<child>
5267
<widget class="GtkImage" id="image2877">
5268
<property name="visible">True</property>
5269
<property name="stock">gtk-properties</property>
5270
<property name="icon_size">4</property>
5271
<property name="xalign">0.5</property>
5272
<property name="yalign">0.5</property>
5273
<property name="xpad">0</property>
5274
<property name="ypad">0</property>
5275
</widget>
5276
<packing>
5277
<property name="padding">0</property>
5278
<property name="expand">False</property>
5279
<property name="fill">False</property>
5280
</packing>
5281
</child>
5282
5283
<child>
5284
<widget class="GtkLabel" id="label236">
5285
<property name="visible">True</property>
5286
<property name="label" translatable="yes">Customize Toolbar</property>
5287
<property name="use_underline">True</property>
5288
<property name="use_markup">False</property>
5289
<property name="justify">GTK_JUSTIFY_LEFT</property>
5290
<property name="wrap">False</property>
5291
<property name="selectable">False</property>
5292
<property name="xalign">0.5</property>
5293
<property name="yalign">0.5</property>
5294
<property name="xpad">0</property>
5295
<property name="ypad">0</property>
5296
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5297
<property name="width_chars">-1</property>
5298
<property name="single_line_mode">False</property>
5299
<property name="angle">0</property>
5300
</widget>
5301
<packing>
5302
<property name="padding">0</property>
5303
<property name="expand">False</property>
5304
<property name="fill">False</property>
5305
</packing>
5306
</child>
5307
</widget>
5308
</child>
5309
</widget>
5310
</child>
5311
</widget>
5312
<packing>
5313
<property name="padding">0</property>
5314
<property name="expand">False</property>
5315
<property name="fill">False</property>
5316
</packing>
5317
</child>
5318
</widget>
5319
<packing>
5320
<property name="padding">0</property>
5321
<property name="expand">False</property>
5322
<property name="fill">False</property>
5323
</packing>
5324
</child>
5325
</widget>
5326
<packing>
5327
<property name="padding">0</property>
5328
<property name="expand">False</property>
5329
<property name="fill">False</property>
5330
</packing>
5331
</child>
5332
5333
<child>
5334
<placeholder/>
5335
</child>
5336
5337
<child>
5338
<widget class="GtkFrame" id="frame_toolbar_style">
5339
<property name="visible">True</property>
5340
<property name="label_xalign">0</property>
5341
<property name="label_yalign">0.5</property>
5342
<property name="shadow_type">GTK_SHADOW_NONE</property>
5343
5344
<child>
5345
<widget class="GtkAlignment" id="alignment50">
5346
<property name="visible">True</property>
5347
<property name="xalign">0.5</property>
5348
<property name="yalign">0.5</property>
5349
<property name="xscale">1</property>
5350
<property name="yscale">1</property>
5351
<property name="top_padding">0</property>
5352
<property name="bottom_padding">0</property>
5353
<property name="left_padding">12</property>
5354
<property name="right_padding">0</property>
5355
5356
<child>
5357
<widget class="GtkTable" id="table19">
5358
<property name="visible">True</property>
5359
<property name="n_rows">2</property>
5360
<property name="n_columns">2</property>
5361
<property name="homogeneous">False</property>
5362
<property name="row_spacing">3</property>
5363
<property name="column_spacing">20</property>
5364
5365
<child>
5366
<widget class="GtkRadioButton" id="radio_toolbar_style_default">
5367
<property name="visible">True</property>
5368
<property name="can_focus">True</property>
5369
<property name="label" translatable="yes">System _default</property>
5370
<property name="use_underline">True</property>
5371
<property name="relief">GTK_RELIEF_NORMAL</property>
5372
<property name="focus_on_click">True</property>
5373
<property name="active">False</property>
5374
<property name="inconsistent">False</property>
5375
<property name="draw_indicator">True</property>
5376
</widget>
5377
<packing>
5378
<property name="left_attach">0</property>
5379
<property name="right_attach">1</property>
5380
<property name="top_attach">0</property>
5381
<property name="bottom_attach">1</property>
5382
<property name="x_options">fill</property>
5383
<property name="y_options"></property>
5384
</packing>
5385
</child>
5386
5387
<child>
5388
<widget class="GtkRadioButton" id="radio_toolbar_imagetext">
5389
<property name="visible">True</property>
5390
<property name="can_focus">True</property>
5391
<property name="label" translatable="yes">Images _and text</property>
5392
<property name="use_underline">True</property>
5393
<property name="relief">GTK_RELIEF_NORMAL</property>
5394
<property name="focus_on_click">True</property>
5395
<property name="active">False</property>
5396
<property name="inconsistent">False</property>
5397
<property name="draw_indicator">True</property>
5398
<property name="group">radio_toolbar_style_default</property>
5399
</widget>
5400
<packing>
5401
<property name="left_attach">0</property>
5402
<property name="right_attach">1</property>
5403
<property name="top_attach">1</property>
5404
<property name="bottom_attach">2</property>
5405
<property name="x_options">fill</property>
5406
<property name="y_options"></property>
5407
</packing>
5408
</child>
5409
5410
<child>
5411
<widget class="GtkRadioButton" id="radio_toolbar_image">
5412
<property name="visible">True</property>
5413
<property name="can_focus">True</property>
5414
<property name="label" translatable="yes">_Images only</property>
5415
<property name="use_underline">True</property>
5416
<property name="relief">GTK_RELIEF_NORMAL</property>
5417
<property name="focus_on_click">True</property>
5418
<property name="active">False</property>
5419
<property name="inconsistent">False</property>
5420
<property name="draw_indicator">True</property>
5421
<property name="group">radio_toolbar_style_default</property>
5422
</widget>
5423
<packing>
5424
<property name="left_attach">1</property>
5425
<property name="right_attach">2</property>
5426
<property name="top_attach">0</property>
5427
<property name="bottom_attach">1</property>
5428
<property name="x_options">fill</property>
5429
<property name="y_options"></property>
5430
</packing>
5431
</child>
5432
5433
<child>
5434
<widget class="GtkRadioButton" id="radio_toolbar_text">
5435
<property name="visible">True</property>
5436
<property name="can_focus">True</property>
5437
<property name="label" translatable="yes">_Text only</property>
5438
<property name="use_underline">True</property>
5439
<property name="relief">GTK_RELIEF_NORMAL</property>
5440
<property name="focus_on_click">True</property>
5441
<property name="active">False</property>
5442
<property name="inconsistent">False</property>
5443
<property name="draw_indicator">True</property>
5444
<property name="group">radio_toolbar_style_default</property>
5445
</widget>
5446
<packing>
5447
<property name="left_attach">1</property>
5448
<property name="right_attach">2</property>
5449
<property name="top_attach">1</property>
5450
<property name="bottom_attach">2</property>
5451
<property name="x_options">fill</property>
5452
<property name="y_options"></property>
5453
</packing>
5454
</child>
5455
</widget>
5456
</child>
5457
</widget>
5458
</child>
5459
5460
<child>
5461
<widget class="GtkLabel" id="label244">
5462
<property name="visible">True</property>
5463
<property name="label" translatable="yes"><b>Icon style</b></property>
5464
<property name="use_underline">False</property>
5465
<property name="use_markup">True</property>
5466
<property name="justify">GTK_JUSTIFY_LEFT</property>
5467
<property name="wrap">False</property>
5468
<property name="selectable">False</property>
5469
<property name="xalign">0.5</property>
5470
<property name="yalign">0.5</property>
5471
<property name="xpad">0</property>
5472
<property name="ypad">0</property>
5473
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5474
<property name="width_chars">-1</property>
5475
<property name="single_line_mode">False</property>
5476
<property name="angle">0</property>
5477
</widget>
5478
<packing>
5479
<property name="type">label_item</property>
5480
</packing>
5481
</child>
5482
</widget>
5483
<packing>
5484
<property name="padding">0</property>
5485
<property name="expand">True</property>
5486
<property name="fill">True</property>
5487
</packing>
5488
</child>
5489
5490
<child>
5491
<widget class="GtkFrame" id="frame_toolbar_icon">
5492
<property name="visible">True</property>
5493
<property name="label_xalign">0</property>
5494
<property name="label_yalign">0.5</property>
5495
<property name="shadow_type">GTK_SHADOW_NONE</property>
5496
5497
<child>
5498
<widget class="GtkAlignment" id="alignment51">
5499
<property name="visible">True</property>
5500
<property name="xalign">0.5</property>
5501
<property name="yalign">0.5</property>
5502
<property name="xscale">1</property>
5503
<property name="yscale">1</property>
5504
<property name="top_padding">0</property>
5505
<property name="bottom_padding">0</property>
5506
<property name="left_padding">12</property>
5507
<property name="right_padding">0</property>
5508
5509
<child>
5510
<widget class="GtkTable" id="table20">
5511
<property name="visible">True</property>
5512
<property name="n_rows">2</property>
5513
<property name="n_columns">2</property>
5514
<property name="homogeneous">True</property>
5515
<property name="row_spacing">3</property>
5516
<property name="column_spacing">20</property>
5517
5518
<child>
5519
<widget class="GtkRadioButton" id="radio_toolbar_icon_default">
5520
<property name="visible">True</property>
5521
<property name="can_focus">True</property>
5522
<property name="label" translatable="yes">S_ystem default</property>
5523
<property name="use_underline">True</property>
5524
<property name="relief">GTK_RELIEF_NORMAL</property>
5525
<property name="focus_on_click">True</property>
5526
<property name="active">False</property>
5527
<property name="inconsistent">False</property>
5528
<property name="draw_indicator">True</property>
5529
</widget>
5530
<packing>
5531
<property name="left_attach">0</property>
5532
<property name="right_attach">1</property>
5533
<property name="top_attach">0</property>
5534
<property name="bottom_attach">1</property>
5535
<property name="x_options">fill</property>
5536
<property name="y_options"></property>
5537
</packing>
5538
</child>
5539
5540
<child>
5541
<widget class="GtkRadioButton" id="radio_toolbar_small">
5542
<property name="visible">True</property>
5543
<property name="can_focus">True</property>
5544
<property name="label" translatable="yes">_Small icons</property>
5545
<property name="use_underline">True</property>
5546
<property name="relief">GTK_RELIEF_NORMAL</property>
5547
<property name="focus_on_click">True</property>
5548
<property name="active">False</property>
5549
<property name="inconsistent">False</property>
5550
<property name="draw_indicator">True</property>
5551
<property name="group">radio_toolbar_icon_default</property>
5552
</widget>
5553
<packing>
5554
<property name="left_attach">0</property>
5555
<property name="right_attach">1</property>
5556
<property name="top_attach">1</property>
5557
<property name="bottom_attach">2</property>
5558
<property name="x_options">fill</property>
5559
<property name="y_options"></property>
5560
</packing>
5561
</child>
5562
5563
<child>
5564
<widget class="GtkRadioButton" id="radio_toolbar_verysmall">
5565
<property name="visible">True</property>
5566
<property name="can_focus">True</property>
5567
<property name="label" translatable="yes">_Very small icons</property>
5568
<property name="use_underline">True</property>
5569
<property name="relief">GTK_RELIEF_NORMAL</property>
5570
<property name="focus_on_click">True</property>
5571
<property name="active">False</property>
5572
<property name="inconsistent">False</property>
5573
<property name="draw_indicator">True</property>
5574
<property name="group">radio_toolbar_icon_default</property>
5575
</widget>
5576
<packing>
5577
<property name="left_attach">1</property>
5578
<property name="right_attach">2</property>
5579
<property name="top_attach">0</property>
5580
<property name="bottom_attach">1</property>
5581
<property name="x_options">fill</property>
5582
<property name="y_options"></property>
5583
</packing>
5584
</child>
5585
5586
<child>
5587
<widget class="GtkRadioButton" id="radio_toolbar_large">
5588
<property name="visible">True</property>
5589
<property name="can_focus">True</property>
5590
<property name="label" translatable="yes">_Large icons</property>
5591
<property name="use_underline">True</property>
5592
<property name="relief">GTK_RELIEF_NORMAL</property>
5593
<property name="focus_on_click">True</property>
5594
<property name="active">False</property>
5595
<property name="inconsistent">False</property>
5596
<property name="draw_indicator">True</property>
5597
<property name="group">radio_toolbar_icon_default</property>
5598
</widget>
5599
<packing>
5600
<property name="left_attach">1</property>
5601
<property name="right_attach">2</property>
5602
<property name="top_attach">1</property>
5603
<property name="bottom_attach">2</property>
5604
<property name="x_options">fill</property>
5605
<property name="y_options"></property>
5606
</packing>
5607
</child>
5608
</widget>
5609
</child>
5610
</widget>
5611
</child>
5612
5613
<child>
5614
<widget class="GtkLabel" id="label245">
5615
<property name="visible">True</property>
5616
<property name="label" translatable="yes"><b>Icon size</b></property>
5617
<property name="use_underline">False</property>
5618
<property name="use_markup">True</property>
5619
<property name="justify">GTK_JUSTIFY_LEFT</property>
5620
<property name="wrap">False</property>
5621
<property name="selectable">False</property>
5622
<property name="xalign">0.5</property>
5623
<property name="yalign">0.5</property>
5624
<property name="xpad">0</property>
5625
<property name="ypad">0</property>
5626
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5627
<property name="width_chars">-1</property>
5628
<property name="single_line_mode">False</property>
5629
<property name="angle">0</property>
5630
</widget>
5631
<packing>
5632
<property name="type">label_item</property>
5633
</packing>
5634
</child>
5635
</widget>
5636
<packing>
5637
<property name="padding">0</property>
5638
<property name="expand">True</property>
5639
<property name="fill">True</property>
5640
</packing>
5641
</child>
5642
</widget>
5643
</child>
5644
</widget>
5645
</child>
5646
5647
<child>
5648
<widget class="GtkLabel" id="label246">
5649
<property name="visible">True</property>
5650
<property name="label" translatable="yes"><b>Toolbar</b></property>
5651
<property name="use_underline">False</property>
5652
<property name="use_markup">True</property>
5653
<property name="justify">GTK_JUSTIFY_LEFT</property>
5654
<property name="wrap">False</property>
5655
<property name="selectable">False</property>
5656
<property name="xalign">0.5</property>
5657
<property name="yalign">0.5</property>
5658
<property name="xpad">0</property>
5659
<property name="ypad">0</property>
5660
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5661
<property name="width_chars">-1</property>
5662
<property name="single_line_mode">False</property>
5663
<property name="angle">0</property>
5664
</widget>
5665
<packing>
5666
<property name="type">label_item</property>
5667
</packing>
5668
</child>
5669
</widget>
5670
<packing>
5671
<property name="padding">0</property>
5672
<property name="expand">False</property>
5673
<property name="fill">True</property>
5674
</packing>
5675
</child>
5676
</widget>
5677
<packing>
5678
<property name="tab_expand">False</property>
5679
<property name="tab_fill">True</property>
5680
</packing>
5681
</child>
5682
5683
<child>
5684
<widget class="GtkLabel" id="label164">
5685
<property name="visible">True</property>
5686
<property name="label" translatable="yes">Toolbar</property>
5687
<property name="use_underline">False</property>
5688
<property name="use_markup">False</property>
5689
<property name="justify">GTK_JUSTIFY_LEFT</property>
5690
<property name="wrap">False</property>
5691
<property name="selectable">False</property>
5692
<property name="xalign">0.5</property>
5693
<property name="yalign">0.5</property>
5694
<property name="xpad">0</property>
5695
<property name="ypad">0</property>
5696
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5697
<property name="width_chars">-1</property>
5698
<property name="single_line_mode">False</property>
5699
<property name="angle">0</property>
5700
</widget>
5701
<packing>
5702
<property name="type">tab</property>
5703
</packing>
5704
</child>
5113
5705
</widget>
5114
5706
<packing>
5115
5707
<property name="tab_expand">False</property>
5141
5733
</child>
5142
5734
5143
5735
<child>
5144
<widget class="GtkVBox" id="vbox15">
5145
<property name="border_width">5</property>
5146
<property name="visible">True</property>
5147
<property name="homogeneous">False</property>
5148
<property name="spacing">10</property>
5149
5150
<child>
5151
<widget class="GtkFrame" id="frame28">
5152
<property name="visible">True</property>
5153
<property name="label_xalign">0</property>
5154
<property name="label_yalign">0.5</property>
5155
<property name="shadow_type">GTK_SHADOW_NONE</property>
5156
5157
<child>
5158
<widget class="GtkAlignment" id="alignment31">
5159
<property name="visible">True</property>
5160
<property name="xalign">0.5</property>
5161
<property name="yalign">0.5</property>
5162
<property name="xscale">1</property>
5163
<property name="yscale">1</property>
5164
<property name="top_padding">0</property>
5165
<property name="bottom_padding">0</property>
5166
<property name="left_padding">12</property>
5167
<property name="right_padding">0</property>
5168
5169
<child>
5170
<widget class="GtkVBox" id="vbox42">
5171
<property name="visible">True</property>
5172
<property name="homogeneous">False</property>
5173
<property name="spacing">5</property>
5174
5175
<child>
5176
<widget class="GtkHBox" id="hbox18">
5177
<property name="visible">True</property>
5178
<property name="homogeneous">False</property>
5179
<property name="spacing">0</property>
5180
5181
<child>
5182
<widget class="GtkVBox" id="vbox52">
5183
<property name="visible">True</property>
5184
<property name="homogeneous">False</property>
5185
<property name="spacing">0</property>
5186
5187
<child>
5188
<widget class="GtkCheckButton" id="check_toolbar_show">
5189
<property name="visible">True</property>
5190
<property name="can_focus">True</property>
5191
<property name="label" translatable="yes">Show T_oolbar</property>
5192
<property name="use_underline">True</property>
5193
<property name="relief">GTK_RELIEF_NORMAL</property>
5194
<property name="focus_on_click">True</property>
5195
<property name="active">False</property>
5196
<property name="inconsistent">False</property>
5197
<property name="draw_indicator">True</property>
5198
</widget>
5199
<packing>
5200
<property name="padding">0</property>
5201
<property name="expand">False</property>
5202
<property name="fill">False</property>
5203
</packing>
5204
</child>
5205
5206
<child>
5207
<widget class="GtkCheckButton" id="check_toolbar_in_menu">
5208
<property name="visible">True</property>
5209
<property name="tooltip" translatable="yes">Pack the toolbar to the main menu to save vertical space</property>
5210
<property name="can_focus">True</property>
5211
<property name="label" translatable="yes">_Append Toolbar to the Menu</property>
5212
<property name="use_underline">True</property>
5213
<property name="relief">GTK_RELIEF_NORMAL</property>
5214
<property name="focus_on_click">True</property>
5215
<property name="active">False</property>
5216
<property name="inconsistent">False</property>
5217
<property name="draw_indicator">True</property>
5218
</widget>
5219
<packing>
5220
<property name="padding">0</property>
5221
<property name="expand">False</property>
5222
<property name="fill">False</property>
5223
</packing>
5224
</child>
5225
</widget>
5226
<packing>
5227
<property name="padding">0</property>
5228
<property name="expand">True</property>
5229
<property name="fill">True</property>
5230
</packing>
5231
</child>
5232
5233
<child>
5234
<widget class="GtkVBox" id="vbox53">
5235
<property name="visible">True</property>
5236
<property name="homogeneous">False</property>
5237
<property name="spacing">0</property>
5238
5239
<child>
5240
<widget class="GtkButton" id="button_customize_toolbar">
5241
<property name="visible">True</property>
5242
<property name="can_focus">True</property>
5243
<property name="relief">GTK_RELIEF_NORMAL</property>
5244
<property name="focus_on_click">True</property>
5245
<signal name="clicked" handler="on_button_customize_toolbar_clicked" last_modification_time="Thu, 25 Jun 2009 17:09:43 GMT"/>
5246
5247
<child>
5248
<widget class="GtkAlignment" id="alignment45">
5249
<property name="visible">True</property>
5250
<property name="xalign">0.5</property>
5251
<property name="yalign">0.5</property>
5252
<property name="xscale">0</property>
5253
<property name="yscale">0</property>
5254
<property name="top_padding">0</property>
5255
<property name="bottom_padding">0</property>
5256
<property name="left_padding">0</property>
5257
<property name="right_padding">0</property>
5258
5259
<child>
5260
<widget class="GtkHBox" id="hbox16">
5261
<property name="visible">True</property>
5262
<property name="homogeneous">False</property>
5263
<property name="spacing">2</property>
5264
5265
<child>
5266
<widget class="GtkImage" id="image2877">
5267
<property name="visible">True</property>
5268
<property name="stock">gtk-properties</property>
5269
<property name="icon_size">4</property>
5270
<property name="xalign">0.5</property>
5271
<property name="yalign">0.5</property>
5272
<property name="xpad">0</property>
5273
<property name="ypad">0</property>
5274
</widget>
5275
<packing>
5276
<property name="padding">0</property>
5277
<property name="expand">False</property>
5278
<property name="fill">False</property>
5279
</packing>
5280
</child>
5281
5282
<child>
5283
<widget class="GtkLabel" id="label236">
5284
<property name="visible">True</property>
5285
<property name="label" translatable="yes">Customize Toolbar</property>
5286
<property name="use_underline">True</property>
5287
<property name="use_markup">False</property>
5288
<property name="justify">GTK_JUSTIFY_LEFT</property>
5289
<property name="wrap">False</property>
5290
<property name="selectable">False</property>
5291
<property name="xalign">0.5</property>
5292
<property name="yalign">0.5</property>
5293
<property name="xpad">0</property>
5294
<property name="ypad">0</property>
5295
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5296
<property name="width_chars">-1</property>
5297
<property name="single_line_mode">False</property>
5298
<property name="angle">0</property>
5299
</widget>
5300
<packing>
5301
<property name="padding">0</property>
5302
<property name="expand">False</property>
5303
<property name="fill">False</property>
5304
</packing>
5305
</child>
5306
</widget>
5307
</child>
5308
</widget>
5309
</child>
5310
</widget>
5311
<packing>
5312
<property name="padding">0</property>
5313
<property name="expand">False</property>
5314
<property name="fill">False</property>
5315
</packing>
5316
</child>
5317
</widget>
5318
<packing>
5319
<property name="padding">0</property>
5320
<property name="expand">False</property>
5321
<property name="fill">False</property>
5322
</packing>
5323
</child>
5324
</widget>
5325
<packing>
5326
<property name="padding">0</property>
5327
<property name="expand">False</property>
5328
<property name="fill">False</property>
5329
</packing>
5330
</child>
5331
5332
<child>
5333
<placeholder/>
5334
</child>
5335
5336
<child>
5337
<widget class="GtkFrame" id="frame_toolbar_style">
5338
<property name="visible">True</property>
5339
<property name="label_xalign">0</property>
5340
<property name="label_yalign">0.5</property>
5341
<property name="shadow_type">GTK_SHADOW_NONE</property>
5342
5343
<child>
5344
<widget class="GtkAlignment" id="alignment50">
5345
<property name="visible">True</property>
5346
<property name="xalign">0.5</property>
5347
<property name="yalign">0.5</property>
5348
<property name="xscale">1</property>
5349
<property name="yscale">1</property>
5350
<property name="top_padding">0</property>
5351
<property name="bottom_padding">0</property>
5352
<property name="left_padding">12</property>
5353
<property name="right_padding">0</property>
5354
5355
<child>
5356
<widget class="GtkTable" id="table19">
5357
<property name="visible">True</property>
5358
<property name="n_rows">2</property>
5359
<property name="n_columns">2</property>
5360
<property name="homogeneous">False</property>
5361
<property name="row_spacing">3</property>
5362
<property name="column_spacing">20</property>
5363
5364
<child>
5365
<widget class="GtkRadioButton" id="radio_toolbar_style_default">
5366
<property name="visible">True</property>
5367
<property name="can_focus">True</property>
5368
<property name="label" translatable="yes">System _Default</property>
5369
<property name="use_underline">True</property>
5370
<property name="relief">GTK_RELIEF_NORMAL</property>
5371
<property name="focus_on_click">True</property>
5372
<property name="active">False</property>
5373
<property name="inconsistent">False</property>
5374
<property name="draw_indicator">True</property>
5375
</widget>
5376
<packing>
5377
<property name="left_attach">0</property>
5378
<property name="right_attach">1</property>
5379
<property name="top_attach">0</property>
5380
<property name="bottom_attach">1</property>
5381
<property name="x_options">fill</property>
5382
<property name="y_options"></property>
5383
</packing>
5384
</child>
5385
5386
<child>
5387
<widget class="GtkRadioButton" id="radio_toolbar_imagetext">
5388
<property name="visible">True</property>
5389
<property name="can_focus">True</property>
5390
<property name="label" translatable="yes">Images _and Text</property>
5391
<property name="use_underline">True</property>
5392
<property name="relief">GTK_RELIEF_NORMAL</property>
5393
<property name="focus_on_click">True</property>
5394
<property name="active">False</property>
5395
<property name="inconsistent">False</property>
5396
<property name="draw_indicator">True</property>
5397
<property name="group">radio_toolbar_style_default</property>
5398
</widget>
5399
<packing>
5400
<property name="left_attach">0</property>
5401
<property name="right_attach">1</property>
5402
<property name="top_attach">1</property>
5403
<property name="bottom_attach">2</property>
5404
<property name="x_options">fill</property>
5405
<property name="y_options"></property>
5406
</packing>
5407
</child>
5408
5409
<child>
5410
<widget class="GtkRadioButton" id="radio_toolbar_image">
5411
<property name="visible">True</property>
5412
<property name="can_focus">True</property>
5413
<property name="label" translatable="yes">_Images Only</property>
5414
<property name="use_underline">True</property>
5415
<property name="relief">GTK_RELIEF_NORMAL</property>
5416
<property name="focus_on_click">True</property>
5417
<property name="active">False</property>
5418
<property name="inconsistent">False</property>
5419
<property name="draw_indicator">True</property>
5420
<property name="group">radio_toolbar_style_default</property>
5421
</widget>
5422
<packing>
5423
<property name="left_attach">1</property>
5424
<property name="right_attach">2</property>
5425
<property name="top_attach">0</property>
5426
<property name="bottom_attach">1</property>
5427
<property name="x_options">fill</property>
5428
<property name="y_options"></property>
5429
</packing>
5430
</child>
5431
5432
<child>
5433
<widget class="GtkRadioButton" id="radio_toolbar_text">
5434
<property name="visible">True</property>
5435
<property name="can_focus">True</property>
5436
<property name="label" translatable="yes">_Text Only</property>
5437
<property name="use_underline">True</property>
5438
<property name="relief">GTK_RELIEF_NORMAL</property>
5439
<property name="focus_on_click">True</property>
5440
<property name="active">False</property>
5441
<property name="inconsistent">False</property>
5442
<property name="draw_indicator">True</property>
5443
<property name="group">radio_toolbar_style_default</property>
5444
</widget>
5445
<packing>
5446
<property name="left_attach">1</property>
5447
<property name="right_attach">2</property>
5448
<property name="top_attach">1</property>
5449
<property name="bottom_attach">2</property>
5450
<property name="x_options">fill</property>
5451
<property name="y_options"></property>
5452
</packing>
5453
</child>
5454
</widget>
5455
</child>
5456
</widget>
5457
</child>
5458
5459
<child>
5460
<widget class="GtkLabel" id="label244">
5461
<property name="visible">True</property>
5462
<property name="label" translatable="yes"><b>Icon Style</b></property>
5463
<property name="use_underline">False</property>
5464
<property name="use_markup">True</property>
5465
<property name="justify">GTK_JUSTIFY_LEFT</property>
5466
<property name="wrap">False</property>
5467
<property name="selectable">False</property>
5468
<property name="xalign">0.5</property>
5469
<property name="yalign">0.5</property>
5470
<property name="xpad">0</property>
5471
<property name="ypad">0</property>
5472
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5473
<property name="width_chars">-1</property>
5474
<property name="single_line_mode">False</property>
5475
<property name="angle">0</property>
5476
</widget>
5477
<packing>
5478
<property name="type">label_item</property>
5479
</packing>
5480
</child>
5481
</widget>
5482
<packing>
5483
<property name="padding">0</property>
5484
<property name="expand">True</property>
5485
<property name="fill">True</property>
5486
</packing>
5487
</child>
5488
5489
<child>
5490
<widget class="GtkFrame" id="frame_toolbar_icon">
5491
<property name="visible">True</property>
5492
<property name="label_xalign">0</property>
5493
<property name="label_yalign">0.5</property>
5494
<property name="shadow_type">GTK_SHADOW_NONE</property>
5495
5496
<child>
5497
<widget class="GtkAlignment" id="alignment51">
5498
<property name="visible">True</property>
5499
<property name="xalign">0.5</property>
5500
<property name="yalign">0.5</property>
5501
<property name="xscale">1</property>
5502
<property name="yscale">1</property>
5503
<property name="top_padding">0</property>
5504
<property name="bottom_padding">0</property>
5505
<property name="left_padding">12</property>
5506
<property name="right_padding">0</property>
5507
5508
<child>
5509
<widget class="GtkTable" id="table20">
5510
<property name="visible">True</property>
5511
<property name="n_rows">2</property>
5512
<property name="n_columns">2</property>
5513
<property name="homogeneous">True</property>
5514
<property name="row_spacing">3</property>
5515
<property name="column_spacing">20</property>
5516
5517
<child>
5518
<widget class="GtkRadioButton" id="radio_toolbar_icon_default">
5519
<property name="visible">True</property>
5520
<property name="can_focus">True</property>
5521
<property name="label" translatable="yes">S_ystem Default</property>
5522
<property name="use_underline">True</property>
5523
<property name="relief">GTK_RELIEF_NORMAL</property>
5524
<property name="focus_on_click">True</property>
5525
<property name="active">False</property>
5526
<property name="inconsistent">False</property>
5527
<property name="draw_indicator">True</property>
5528
</widget>
5529
<packing>
5530
<property name="left_attach">0</property>
5531
<property name="right_attach">1</property>
5532
<property name="top_attach">0</property>
5533
<property name="bottom_attach">1</property>
5534
<property name="x_options">fill</property>
5535
<property name="y_options"></property>
5536
</packing>
5537
</child>
5538
5539
<child>
5540
<widget class="GtkRadioButton" id="radio_toolbar_small">
5541
<property name="visible">True</property>
5542
<property name="can_focus">True</property>
5543
<property name="label" translatable="yes">_Small Icons</property>
5544
<property name="use_underline">True</property>
5545
<property name="relief">GTK_RELIEF_NORMAL</property>
5546
<property name="focus_on_click">True</property>
5547
<property name="active">False</property>
5548
<property name="inconsistent">False</property>
5549
<property name="draw_indicator">True</property>
5550
<property name="group">radio_toolbar_icon_default</property>
5551
</widget>
5552
<packing>
5553
<property name="left_attach">0</property>
5554
<property name="right_attach">1</property>
5555
<property name="top_attach">1</property>
5556
<property name="bottom_attach">2</property>
5557
<property name="x_options">fill</property>
5558
<property name="y_options"></property>
5559
</packing>
5560
</child>
5561
5562
<child>
5563
<widget class="GtkRadioButton" id="radio_toolbar_verysmall">
5564
<property name="visible">True</property>
5565
<property name="can_focus">True</property>
5566
<property name="label" translatable="yes">_Very Small Icons</property>
5567
<property name="use_underline">True</property>
5568
<property name="relief">GTK_RELIEF_NORMAL</property>
5569
<property name="focus_on_click">True</property>
5570
<property name="active">False</property>
5571
<property name="inconsistent">False</property>
5572
<property name="draw_indicator">True</property>
5573
<property name="group">radio_toolbar_icon_default</property>
5574
</widget>
5575
<packing>
5576
<property name="left_attach">1</property>
5577
<property name="right_attach">2</property>
5578
<property name="top_attach">0</property>
5579
<property name="bottom_attach">1</property>
5580
<property name="x_options">fill</property>
5581
<property name="y_options"></property>
5582
</packing>
5583
</child>
5584
5585
<child>
5586
<widget class="GtkRadioButton" id="radio_toolbar_large">
5587
<property name="visible">True</property>
5588
<property name="can_focus">True</property>
5589
<property name="label" translatable="yes">_Large Icons</property>
5590
<property name="use_underline">True</property>
5591
<property name="relief">GTK_RELIEF_NORMAL</property>
5592
<property name="focus_on_click">True</property>
5593
<property name="active">False</property>
5594
<property name="inconsistent">False</property>
5595
<property name="draw_indicator">True</property>
5596
<property name="group">radio_toolbar_icon_default</property>
5597
</widget>
5598
<packing>
5599
<property name="left_attach">1</property>
5600
<property name="right_attach">2</property>
5601
<property name="top_attach">1</property>
5602
<property name="bottom_attach">2</property>
5603
<property name="x_options">fill</property>
5604
<property name="y_options"></property>
5605
</packing>
5606
</child>
5607
</widget>
5608
</child>
5609
</widget>
5610
</child>
5611
5612
<child>
5613
<widget class="GtkLabel" id="label245">
5614
<property name="visible">True</property>
5615
<property name="label" translatable="yes"><b>Icon Size</b></property>
5616
<property name="use_underline">False</property>
5617
<property name="use_markup">True</property>
5618
<property name="justify">GTK_JUSTIFY_LEFT</property>
5619
<property name="wrap">False</property>
5620
<property name="selectable">False</property>
5621
<property name="xalign">0.5</property>
5622
<property name="yalign">0.5</property>
5623
<property name="xpad">0</property>
5624
<property name="ypad">0</property>
5625
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5626
<property name="width_chars">-1</property>
5627
<property name="single_line_mode">False</property>
5628
<property name="angle">0</property>
5629
</widget>
5630
<packing>
5631
<property name="type">label_item</property>
5632
</packing>
5633
</child>
5634
</widget>
5635
<packing>
5636
<property name="padding">0</property>
5637
<property name="expand">True</property>
5638
<property name="fill">True</property>
5639
</packing>
5640
</child>
5641
</widget>
5642
</child>
5643
</widget>
5644
</child>
5645
5646
<child>
5647
<widget class="GtkLabel" id="label246">
5648
<property name="visible">True</property>
5649
<property name="label" translatable="yes"><b>Toolbar</b></property>
5650
<property name="use_underline">False</property>
5651
<property name="use_markup">True</property>
5652
<property name="justify">GTK_JUSTIFY_LEFT</property>
5653
<property name="wrap">False</property>
5654
<property name="selectable">False</property>
5655
<property name="xalign">0.5</property>
5656
<property name="yalign">0.5</property>
5657
<property name="xpad">0</property>
5658
<property name="ypad">0</property>
5659
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5660
<property name="width_chars">-1</property>
5661
<property name="single_line_mode">False</property>
5662
<property name="angle">0</property>
5663
</widget>
5664
<packing>
5665
<property name="type">label_item</property>
5666
</packing>
5667
</child>
5668
</widget>
5669
<packing>
5670
<property name="padding">0</property>
5671
<property name="expand">False</property>
5672
<property name="fill">True</property>
5673
</packing>
5674
</child>
5675
</widget>
5676
<packing>
5677
<property name="tab_expand">False</property>
5678
<property name="tab_fill">True</property>
5679
</packing>
5680
</child>
5681
5682
<child>
5683
<widget class="GtkLabel" id="label164">
5684
<property name="visible">True</property>
5685
<property name="label" translatable="yes">Toolbar</property>
5686
<property name="use_underline">False</property>
5687
<property name="use_markup">False</property>
5688
<property name="justify">GTK_JUSTIFY_LEFT</property>
5689
<property name="wrap">False</property>
5690
<property name="selectable">False</property>
5691
<property name="xalign">0.5</property>
5692
<property name="yalign">0.5</property>
5693
<property name="xpad">0</property>
5694
<property name="ypad">0</property>
5695
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5696
<property name="width_chars">-1</property>
5697
<property name="single_line_mode">False</property>
5698
<property name="angle">0</property>
5699
</widget>
5700
<packing>
5701
<property name="type">tab</property>
5702
</packing>
5703
</child>
5704
5705
<child>
5706
5736
<widget class="GtkNotebook" id="notebook4">
5707
5737
<property name="visible">True</property>
5708
5738
<property name="can_focus">True</property>
6138
6168
<child>
6139
6169
<widget class="GtkTable" id="table13">
6140
6170
<property name="visible">True</property>
6141
<property name="n_rows">6</property>
6171
<property name="n_rows">7</property>
6142
6172
<property name="n_columns">2</property>
6143
6173
<property name="homogeneous">False</property>
6144
6174
<property name="row_spacing">3</property>
6145
6175
<property name="column_spacing">24</property>
6146
6176
6147
6177
<child>
6148
<widget class="GtkLabel" id="label183">
6149
<property name="visible">True</property>
6150
<property name="label" translatable="yes">Auto-indent mode:</property>
6151
<property name="use_underline">False</property>
6152
<property name="use_markup">False</property>
6153
<property name="justify">GTK_JUSTIFY_LEFT</property>
6154
<property name="wrap">False</property>
6155
<property name="selectable">False</property>
6156
<property name="xalign">0</property>
6157
<property name="yalign">0.5</property>
6158
<property name="xpad">0</property>
6159
<property name="ypad">0</property>
6160
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6161
<property name="width_chars">-1</property>
6162
<property name="single_line_mode">False</property>
6163
<property name="angle">0</property>
6164
</widget>
6165
<packing>
6166
<property name="left_attach">0</property>
6167
<property name="right_attach">1</property>
6168
<property name="top_attach">5</property>
6169
<property name="bottom_attach">6</property>
6170
<property name="x_options">fill</property>
6171
<property name="y_options"></property>
6172
</packing>
6173
</child>
6174
6175
<child>
6176
<widget class="GtkComboBox" id="combo_auto_indent_mode">
6177
<property name="visible">True</property>
6178
<property name="items" translatable="yes">None
6179
Basic
6180
Current chars
6181
Match braces</property>
6182
<property name="add_tearoffs">False</property>
6183
<property name="focus_on_click">True</property>
6184
</widget>
6185
<packing>
6186
<property name="left_attach">1</property>
6187
<property name="right_attach">2</property>
6188
<property name="top_attach">5</property>
6189
<property name="bottom_attach">6</property>
6190
<property name="x_options">fill</property>
6191
<property name="y_options">fill</property>
6192
</packing>
6193
</child>
6194
6195
<child>
6196
<widget class="GtkLabel" id="label200">
6197
<property name="visible">True</property>
6198
<property name="label" translatable="yes">Type:</property>
6199
<property name="use_underline">False</property>
6200
<property name="use_markup">False</property>
6201
<property name="justify">GTK_JUSTIFY_LEFT</property>
6202
<property name="wrap">False</property>
6203
<property name="selectable">False</property>
6204
<property name="xalign">0</property>
6205
<property name="yalign">0.5</property>
6206
<property name="xpad">0</property>
6207
<property name="ypad">0</property>
6208
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6209
<property name="width_chars">-1</property>
6210
<property name="single_line_mode">False</property>
6211
<property name="angle">0</property>
6212
</widget>
6213
<packing>
6214
<property name="left_attach">0</property>
6215
<property name="right_attach">1</property>
6216
<property name="top_attach">1</property>
6217
<property name="bottom_attach">2</property>
6218
<property name="x_options">fill</property>
6219
<property name="y_options"></property>
6220
</packing>
6221
</child>
6222
6223
<child>
6224
6178
<widget class="GtkLabel" id="label222">
6225
6179
<property name="visible">True</property>
6226
6180
<property name="label" translatable="yes">Width:</property>
6271
6225
</child>
6272
6226
6273
6227
<child>
6228
<widget class="GtkLabel" id="label183">
6229
<property name="visible">True</property>
6230
<property name="label" translatable="yes">Auto-indent mode:</property>
6231
<property name="use_underline">False</property>
6232
<property name="use_markup">False</property>
6233
<property name="justify">GTK_JUSTIFY_LEFT</property>
6234
<property name="wrap">False</property>
6235
<property name="selectable">False</property>
6236
<property name="xalign">0</property>
6237
<property name="yalign">0.5</property>
6238
<property name="xpad">0</property>
6239
<property name="ypad">0</property>
6240
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6241
<property name="width_chars">-1</property>
6242
<property name="single_line_mode">False</property>
6243
<property name="angle">0</property>
6244
</widget>
6245
<packing>
6246
<property name="left_attach">0</property>
6247
<property name="right_attach">1</property>
6248
<property name="top_attach">6</property>
6249
<property name="bottom_attach">7</property>
6250
<property name="x_options">fill</property>
6251
<property name="y_options"></property>
6252
</packing>
6253
</child>
6254
6255
<child>
6256
<widget class="GtkComboBox" id="combo_auto_indent_mode">
6257
<property name="visible">True</property>
6258
<property name="items" translatable="yes">None
6259
Basic
6260
Current chars
6261
Match braces</property>
6262
<property name="add_tearoffs">False</property>
6263
<property name="focus_on_click">True</property>
6264
</widget>
6265
<packing>
6266
<property name="left_attach">1</property>
6267
<property name="right_attach">2</property>
6268
<property name="top_attach">6</property>
6269
<property name="bottom_attach">7</property>
6270
<property name="x_options">fill</property>
6271
<property name="y_options">fill</property>
6272
</packing>
6273
</child>
6274
6275
<child>
6276
<widget class="GtkCheckButton" id="check_detect_indent_type">
6277
<property name="visible">True</property>
6278
<property name="tooltip" translatable="yes">Whether to detect the indentation type from file contents when a file is opened</property>
6279
<property name="can_focus">True</property>
6280
<property name="label" translatable="yes">Detect type from file</property>
6281
<property name="use_underline">True</property>
6282
<property name="relief">GTK_RELIEF_NORMAL</property>
6283
<property name="focus_on_click">True</property>
6284
<property name="active">False</property>
6285
<property name="inconsistent">False</property>
6286
<property name="draw_indicator">True</property>
6287
</widget>
6288
<packing>
6289
<property name="left_attach">1</property>
6290
<property name="right_attach">2</property>
6291
<property name="top_attach">5</property>
6292
<property name="bottom_attach">6</property>
6293
<property name="x_options">fill</property>
6294
<property name="y_options"></property>
6295
</packing>
6296
</child>
6297
6298
<child>
6299
<widget class="GtkRadioButton" id="radio_indent_both">
6300
<property name="visible">True</property>
6301
<property name="tooltip" translatable="yes">Use spaces if the total indent is less than the tab width, otherwise use both</property>
6302
<property name="can_focus">True</property>
6303
<property name="label" translatable="yes">T_abs and spaces</property>
6304
<property name="use_underline">True</property>
6305
<property name="relief">GTK_RELIEF_NORMAL</property>
6306
<property name="focus_on_click">True</property>
6307
<property name="active">False</property>
6308
<property name="inconsistent">False</property>
6309
<property name="draw_indicator">True</property>
6310
</widget>
6311
<packing>
6312
<property name="left_attach">1</property>
6313
<property name="right_attach">2</property>
6314
<property name="top_attach">4</property>
6315
<property name="bottom_attach">5</property>
6316
<property name="x_options">fill</property>
6317
<property name="y_options"></property>
6318
</packing>
6319
</child>
6320
6321
<child>
6274
6322
<widget class="GtkRadioButton" id="radio_indent_spaces">
6275
6323
<property name="visible">True</property>
6276
6324
<property name="tooltip" translatable="yes">Use spaces when inserting indentation</property>
6282
6330
<property name="active">False</property>
6283
6331
<property name="inconsistent">False</property>
6284
6332
<property name="draw_indicator">True</property>
6333
<property name="group">radio_indent_both</property>
6285
6334
</widget>
6286
6335
<packing>
6287
6336
<property name="left_attach">1</property>
6288
6337
<property name="right_attach">2</property>
6289
<property name="top_attach">2</property>
6290
<property name="bottom_attach">3</property>
6338
<property name="top_attach">3</property>
6339
<property name="bottom_attach">4</property>
6291
6340
<property name="x_options">fill</property>
6292
6341
<property name="y_options"></property>
6293
6342
</packing>
6305
6354
<property name="active">False</property>
6306
6355
<property name="inconsistent">False</property>
6307
6356
<property name="draw_indicator">True</property>
6308
<property name="group">radio_indent_spaces</property>
6357
<property name="group">radio_indent_both</property>
6358
</widget>
6359
<packing>
6360
<property name="left_attach">1</property>
6361
<property name="right_attach">2</property>
6362
<property name="top_attach">2</property>
6363
<property name="bottom_attach">3</property>
6364
<property name="x_options">fill</property>
6365
<property name="y_options"></property>
6366
</packing>
6367
</child>
6368
6369
<child>
6370
<widget class="GtkCheckButton" id="check_detect_indent_width">
6371
<property name="visible">True</property>
6372
<property name="tooltip" translatable="yes">Whether to detect the indentation width from file contents when a file is opened</property>
6373
<property name="can_focus">True</property>
6374
<property name="label" translatable="yes">Detect width from file</property>
6375
<property name="use_underline">True</property>
6376
<property name="relief">GTK_RELIEF_NORMAL</property>
6377
<property name="focus_on_click">True</property>
6378
<property name="active">False</property>
6379
<property name="inconsistent">False</property>
6380
<property name="draw_indicator">True</property>
6309
6381
</widget>
6310
6382
<packing>
6311
6383
<property name="left_attach">1</property>
6318
6390
</child>
6319
6391
6320
6392
<child>
6321
<widget class="GtkRadioButton" id="radio_indent_both">
6322
<property name="visible">True</property>
6323
<property name="tooltip" translatable="yes">Use spaces if the total indent is less than the tab width, otherwise use both</property>
6324
<property name="can_focus">True</property>
6325
<property name="label" translatable="yes">T_abs and Spaces</property>
6326
<property name="use_underline">True</property>
6327
<property name="relief">GTK_RELIEF_NORMAL</property>
6328
<property name="focus_on_click">True</property>
6329
<property name="active">False</property>
6330
<property name="inconsistent">False</property>
6331
<property name="draw_indicator">True</property>
6332
<property name="group">radio_indent_spaces</property>
6333
</widget>
6334
<packing>
6335
<property name="left_attach">1</property>
6336
<property name="right_attach">2</property>
6337
<property name="top_attach">3</property>
6338
<property name="bottom_attach">4</property>
6339
<property name="x_options">fill</property>
6340
<property name="y_options"></property>
6341
</packing>
6342
</child>
6343
6344
<child>
6345
<widget class="GtkCheckButton" id="check_detect_indent">
6346
<property name="visible">True</property>
6347
<property name="tooltip" translatable="yes">Whether to detect the indentation type from file contents when a file is opened</property>
6348
<property name="can_focus">True</property>
6349
<property name="label" translatable="yes">Detect from file</property>
6350
<property name="use_underline">True</property>
6351
<property name="relief">GTK_RELIEF_NORMAL</property>
6352
<property name="focus_on_click">True</property>
6353
<property name="active">False</property>
6354
<property name="inconsistent">False</property>
6355
<property name="draw_indicator">True</property>
6356
</widget>
6357
<packing>
6358
<property name="left_attach">1</property>
6359
<property name="right_attach">2</property>
6360
<property name="top_attach">4</property>
6361
<property name="bottom_attach">5</property>
6393
<widget class="GtkLabel" id="label200">
6394
<property name="visible">True</property>
6395
<property name="label" translatable="yes">Type:</property>
6396
<property name="use_underline">False</property>
6397
<property name="use_markup">False</property>
6398
<property name="justify">GTK_JUSTIFY_LEFT</property>
6399
<property name="wrap">False</property>
6400
<property name="selectable">False</property>
6401
<property name="xalign">0</property>
6402
<property name="yalign">0.5</property>
6403
<property name="xpad">0</property>
6404
<property name="ypad">0</property>
6405
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6406
<property name="width_chars">-1</property>
6407
<property name="single_line_mode">False</property>
6408
<property name="angle">0</property>
6409
</widget>
6410
<packing>
6411
<property name="left_attach">0</property>
6412
<property name="right_attach">1</property>
6413
<property name="top_attach">2</property>
6414
<property name="bottom_attach">3</property>
6362
6415
<property name="x_options">fill</property>
6363
6416
<property name="y_options"></property>
6364
6417
</packing>
6607
6660
<child>
6608
6661
<widget class="GtkTable" id="table14">
6609
6662
<property name="visible">True</property>
6610
<property name="n_rows">3</property>
6663
<property name="n_rows">4</property>
6611
6664
<property name="n_columns">2</property>
6612
6665
<property name="homogeneous">False</property>
6613
6666
<property name="row_spacing">3</property>
6762
6815
<property name="y_options"></property>
6763
6816
</packing>
6764
6817
</child>
6818
6819
<child>
6820
<widget class="GtkLabel" id="label250">
6821
<property name="visible">True</property>
6822
<property name="label" translatable="yes">Symbol list update frequency:</property>
6823
<property name="use_underline">False</property>
6824
<property name="use_markup">False</property>
6825
<property name="justify">GTK_JUSTIFY_LEFT</property>
6826
<property name="wrap">False</property>
6827
<property name="selectable">False</property>
6828
<property name="xalign">0</property>
6829
<property name="yalign">0.5</property>
6830
<property name="xpad">0</property>
6831
<property name="ypad">0</property>
6832
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6833
<property name="width_chars">-1</property>
6834
<property name="single_line_mode">False</property>
6835
<property name="angle">0</property>
6836
</widget>
6837
<packing>
6838
<property name="left_attach">0</property>
6839
<property name="right_attach">1</property>
6840
<property name="top_attach">3</property>
6841
<property name="bottom_attach">4</property>
6842
<property name="x_options">fill</property>
6843
<property name="y_options"></property>
6844
</packing>
6845
</child>
6846
6847
<child>
6848
<widget class="GtkSpinButton" id="spin_symbol_update_freq">
6849
<property name="visible">True</property>
6850
<property name="tooltip" translatable="yes">Minimal delay (in milliseconds) between two automatic updates of the symbol list. Note that a too short delay may have performance impact, especially with large files. A delay of 0 disables real-time updates.</property>
6851
<property name="can_focus">True</property>
6852
<property name="climb_rate">1</property>
6853
<property name="digits">0</property>
6854
<property name="numeric">True</property>
6855
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
6856
<property name="snap_to_ticks">False</property>
6857
<property name="wrap">False</property>
6858
<property name="adjustment">250 0 10000 10 100 0</property>
6859
</widget>
6860
<packing>
6861
<property name="left_attach">1</property>
6862
<property name="right_attach">2</property>
6863
<property name="top_attach">3</property>
6864
<property name="bottom_attach">4</property>
6865
<property name="y_options"></property>
6866
</packing>
6867
</child>
6765
6868
</widget>
6766
6869
<packing>
6767
6870
<property name="padding">0</property>
9237
9340
<child>
9238
9341
<widget class="GtkLabel" id="label218">
9239
9342
<property name="visible">True</property>
9240
<property name="label" translatable="yes">Date & Time:</property>
9343
<property name="label" translatable="yes">Date & time:</property>
9241
9344
<property name="use_underline">False</property>
9242
9345
<property name="use_markup">False</property>
9243
9346
<property name="justify">GTK_JUSTIFY_LEFT</property>
9579
9682
9580
9683
<child>
9581
9684
<widget class="GtkVBox" id="vbox27">
9582
<property name="border_width">5</property>
9583
9685
<property name="visible">True</property>
9584
9686
<property name="homogeneous">False</property>
9585
9687
<property name="spacing">10</property>
9991
10093
<property name="type">tab</property>
9992
10094
</packing>
9993
10095
</child>
10096
10097
<child>
10098
<widget class="GtkFrame" id="frame24">
10099
<property name="border_width">5</property>
10100
<property name="visible">True</property>
10101
<property name="label_xalign">0</property>
10102
<property name="label_yalign">0.5</property>
10103
<property name="shadow_type">GTK_SHADOW_NONE</property>
10104
10105
<child>
10106
<widget class="GtkAlignment" id="alignment14">
10107
<property name="visible">True</property>
10108
<property name="xalign">0.5</property>
10109
<property name="yalign">0.5</property>
10110
<property name="xscale">1</property>
10111
<property name="yscale">1</property>
10112
<property name="top_padding">0</property>
10113
<property name="bottom_padding">0</property>
10114
<property name="left_padding">12</property>
10115
<property name="right_padding">0</property>
10116
10117
<child>
10118
<widget class="GtkVBox" id="vbox50">
10119
<property name="visible">True</property>
10120
<property name="homogeneous">False</property>
10121
<property name="spacing">5</property>
10122
10123
<child>
10124
<widget class="GtkVBox" id="vbox51">
10125
<property name="visible">True</property>
10126
<property name="homogeneous">False</property>
10127
<property name="spacing">0</property>
10128
10129
<child>
10130
<placeholder/>
10131
</child>
10132
</widget>
10133
<packing>
10134
<property name="padding">0</property>
10135
<property name="expand">False</property>
10136
<property name="fill">True</property>
10137
</packing>
10138
</child>
10139
10140
<child>
10141
<widget class="GtkScrolledWindow" id="scrolledwindow9">
10142
<property name="visible">True</property>
10143
<property name="can_focus">True</property>
10144
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
10145
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
10146
<property name="shadow_type">GTK_SHADOW_IN</property>
10147
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
10148
10149
<child>
10150
<widget class="GtkTreeView" id="various_treeview">
10151
<property name="visible">True</property>
10152
<property name="can_focus">True</property>
10153
<property name="headers_visible">True</property>
10154
<property name="rules_hint">True</property>
10155
<property name="reorderable">False</property>
10156
<property name="enable_search">True</property>
10157
<property name="fixed_height_mode">False</property>
10158
<property name="hover_selection">False</property>
10159
<property name="hover_expand">False</property>
10160
</widget>
10161
</child>
10162
</widget>
10163
<packing>
10164
<property name="padding">0</property>
10165
<property name="expand">True</property>
10166
<property name="fill">True</property>
10167
</packing>
10168
</child>
10169
10170
<child>
10171
<widget class="GtkVBox" id="vbox28">
10172
<property name="visible">True</property>
10173
<property name="homogeneous">False</property>
10174
<property name="spacing">0</property>
10175
10176
<child>
10177
<placeholder/>
10178
</child>
10179
</widget>
10180
<packing>
10181
<property name="padding">0</property>
10182
<property name="expand">False</property>
10183
<property name="fill">True</property>
10184
</packing>
10185
</child>
10186
10187
<child>
10188
<widget class="GtkAlignment" id="alignment16">
10189
<property name="visible">True</property>
10190
<property name="xalign">0</property>
10191
<property name="yalign">0.5</property>
10192
<property name="xscale">1</property>
10193
<property name="yscale">1</property>
10194
<property name="top_padding">0</property>
10195
<property name="bottom_padding">5</property>
10196
<property name="left_padding">0</property>
10197
<property name="right_padding">0</property>
10198
10199
<child>
10200
<widget class="GtkHBox" id="hbox15">
10201
<property name="visible">True</property>
10202
<property name="homogeneous">False</property>
10203
<property name="spacing">5</property>
10204
10205
<child>
10206
<widget class="GtkLabel" id="label140">
10207
<property name="visible">True</property>
10208
<property name="label" translatable="yes"><i>Warning: read the manual before changing these preferences.</i></property>
10209
<property name="use_underline">False</property>
10210
<property name="use_markup">True</property>
10211
<property name="justify">GTK_JUSTIFY_LEFT</property>
10212
<property name="wrap">False</property>
10213
<property name="selectable">False</property>
10214
<property name="xalign">0.5</property>
10215
<property name="yalign">0.5</property>
10216
<property name="xpad">0</property>
10217
<property name="ypad">0</property>
10218
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
10219
<property name="width_chars">-1</property>
10220
<property name="single_line_mode">False</property>
10221
<property name="angle">0</property>
10222
</widget>
10223
<packing>
10224
<property name="padding">0</property>
10225
<property name="expand">False</property>
10226
<property name="fill">False</property>
10227
</packing>
10228
</child>
10229
</widget>
10230
</child>
10231
</widget>
10232
<packing>
10233
<property name="padding">0</property>
10234
<property name="expand">False</property>
10235
<property name="fill">False</property>
10236
</packing>
10237
</child>
10238
</widget>
10239
</child>
10240
</widget>
10241
</child>
10242
10243
<child>
10244
<widget class="GtkLabel" id="label139">
10245
<property name="visible">True</property>
10246
<property name="label" translatable="yes"><b>Various preferences</b></property>
10247
<property name="use_underline">False</property>
10248
<property name="use_markup">True</property>
10249
<property name="justify">GTK_JUSTIFY_LEFT</property>
10250
<property name="wrap">False</property>
10251
<property name="selectable">False</property>
10252
<property name="xalign">0.5</property>
10253
<property name="yalign">0.5</property>
10254
<property name="xpad">0</property>
10255
<property name="ypad">0</property>
10256
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
10257
<property name="width_chars">-1</property>
10258
<property name="single_line_mode">False</property>
10259
<property name="angle">0</property>
10260
</widget>
10261
<packing>
10262
<property name="type">label_item</property>
10263
</packing>
10264
</child>
10265
</widget>
10266
<packing>
10267
<property name="tab_expand">False</property>
10268
<property name="tab_fill">True</property>
10269
</packing>
10270
</child>
10271
10272
<child>
10273
<widget class="GtkLabel" id="label138">
10274
<property name="visible">True</property>
10275
<property name="label" translatable="yes">Various</property>
10276
<property name="use_underline">False</property>
10277
<property name="use_markup">False</property>
10278
<property name="justify">GTK_JUSTIFY_LEFT</property>
10279
<property name="wrap">False</property>
10280
<property name="selectable">False</property>
10281
<property name="xalign">0.5</property>
10282
<property name="yalign">0.5</property>
10283
<property name="xpad">0</property>
10284
<property name="ypad">0</property>
10285
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
10286
<property name="width_chars">-1</property>
10287
<property name="single_line_mode">False</property>
10288
<property name="angle">0</property>
10289
</widget>
10290
<packing>
10291
<property name="type">tab</property>
10292
</packing>
10293
</child>
9994
10294
</widget>
9995
10295
<packing>
9996
10296
<property name="padding">6</property>
10078
10378
<widget class="GtkTable" id="table17">
10079
10379
<property name="border_width">6</property>
10080
10380
<property name="visible">True</property>
10081
<property name="n_rows">6</property>
10381
<property name="n_rows">7</property>
10082
10382
<property name="n_columns">2</property>
10083
10383
<property name="homogeneous">False</property>
10084
10384
<property name="row_spacing">3</property>
10085
10385
<property name="column_spacing">24</property>
10086
10386
10087
10387
<child>
10088
<widget class="GtkLabel" id="label228">
10089
<property name="visible">True</property>
10090
<property name="label" translatable="yes">Auto-indent mode:</property>
10091
<property name="use_underline">False</property>
10092
<property name="use_markup">False</property>
10093
<property name="justify">GTK_JUSTIFY_LEFT</property>
10094
<property name="wrap">False</property>
10095
<property name="selectable">False</property>
10096
<property name="xalign">0</property>
10097
<property name="yalign">0.5</property>
10098
<property name="xpad">0</property>
10099
<property name="ypad">0</property>
10100
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
10101
<property name="width_chars">-1</property>
10102
<property name="single_line_mode">False</property>
10103
<property name="angle">0</property>
10104
</widget>
10105
<packing>
10106
<property name="left_attach">0</property>
10107
<property name="right_attach">1</property>
10108
<property name="top_attach">5</property>
10109
<property name="bottom_attach">6</property>
10110
<property name="x_options">fill</property>
10111
<property name="y_options"></property>
10112
</packing>
10113
</child>
10114
10115
<child>
10116
<widget class="GtkComboBox" id="combo_auto_indent_mode">
10117
<property name="visible">True</property>
10118
<property name="items" translatable="yes">None
10119
Basic
10120
Current chars
10121
Match braces</property>
10122
<property name="add_tearoffs">False</property>
10123
<property name="focus_on_click">True</property>
10124
</widget>
10125
<packing>
10126
<property name="left_attach">1</property>
10127
<property name="right_attach">2</property>
10128
<property name="top_attach">5</property>
10129
<property name="bottom_attach">6</property>
10130
<property name="x_options">fill</property>
10131
<property name="y_options">fill</property>
10132
</packing>
10133
</child>
10134
10135
<child>
10136
<widget class="GtkLabel" id="label229">
10137
<property name="visible">True</property>
10138
<property name="label" translatable="yes">Type:</property>
10139
<property name="use_underline">False</property>
10140
<property name="use_markup">False</property>
10141
<property name="justify">GTK_JUSTIFY_LEFT</property>
10142
<property name="wrap">False</property>
10143
<property name="selectable">False</property>
10144
<property name="xalign">0</property>
10145
<property name="yalign">0.5</property>
10146
<property name="xpad">0</property>
10147
<property name="ypad">0</property>
10148
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
10149
<property name="width_chars">-1</property>
10150
<property name="single_line_mode">False</property>
10151
<property name="angle">0</property>
10152
</widget>
10153
<packing>
10154
<property name="left_attach">0</property>
10155
<property name="right_attach">1</property>
10156
<property name="top_attach">1</property>
10157
<property name="bottom_attach">2</property>
10158
<property name="x_options">fill</property>
10159
<property name="y_options"></property>
10160
</packing>
10161
</child>
10162
10163
<child>
10164
10388
<widget class="GtkLabel" id="label230">
10165
10389
<property name="visible">True</property>
10166
10390
<property name="label" translatable="yes">Width:</property>
10211
10435
</child>
10212
10436
10213
10437
<child>
10438
<widget class="GtkLabel" id="label228">
10439
<property name="visible">True</property>
10440
<property name="label" translatable="yes">Auto-indent mode:</property>
10441
<property name="use_underline">False</property>
10442
<property name="use_markup">False</property>
10443
<property name="justify">GTK_JUSTIFY_LEFT</property>
10444
<property name="wrap">False</property>
10445
<property name="selectable">False</property>
10446
<property name="xalign">0</property>
10447
<property name="yalign">0.5</property>
10448
<property name="xpad">0</property>
10449
<property name="ypad">0</property>
10450
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
10451
<property name="width_chars">-1</property>
10452
<property name="single_line_mode">False</property>
10453
<property name="angle">0</property>
10454
</widget>
10455
<packing>
10456
<property name="left_attach">0</property>
10457
<property name="right_attach">1</property>
10458
<property name="top_attach">6</property>
10459
<property name="bottom_attach">7</property>
10460
<property name="x_options">fill</property>
10461
<property name="y_options"></property>
10462
</packing>
10463
</child>
10464
10465
<child>
10466
<widget class="GtkComboBox" id="combo_auto_indent_mode">
10467
<property name="visible">True</property>
10468
<property name="items" translatable="yes">None
10469
Basic
10470
Current chars
10471
Match braces</property>
10472
<property name="add_tearoffs">False</property>
10473
<property name="focus_on_click">True</property>
10474
</widget>
10475
<packing>
10476
<property name="left_attach">1</property>
10477
<property name="right_attach">2</property>
10478
<property name="top_attach">6</property>
10479
<property name="bottom_attach">7</property>
10480
<property name="x_options">fill</property>
10481
<property name="y_options">fill</property>
10482
</packing>
10483
</child>
10484
10485
<child>
10486
<widget class="GtkCheckButton" id="check_detect_indent_type">
10487
<property name="visible">True</property>
10488
<property name="tooltip" translatable="yes">Whether to detect the indentation type from file contents when a file is opened</property>
10489
<property name="can_focus">True</property>
10490
<property name="label" translatable="yes">Detect type from file</property>
10491
<property name="use_underline">True</property>
10492
<property name="relief">GTK_RELIEF_NORMAL</property>
10493
<property name="focus_on_click">True</property>
10494
<property name="active">False</property>
10495
<property name="inconsistent">False</property>
10496
<property name="draw_indicator">True</property>
10497
</widget>
10498
<packing>
10499
<property name="left_attach">1</property>
10500
<property name="right_attach">2</property>
10501
<property name="top_attach">5</property>
10502
<property name="bottom_attach">6</property>
10503
<property name="x_options">fill</property>
10504
<property name="y_options"></property>
10505
</packing>
10506
</child>
10507
10508
<child>
10509
<widget class="GtkRadioButton" id="radio_indent_both">
10510
<property name="visible">True</property>
10511
<property name="tooltip" translatable="yes">Use spaces if the total indent is less than the tab width, otherwise use both</property>
10512
<property name="can_focus">True</property>
10513
<property name="label" translatable="yes">T_abs and spaces</property>
10514
<property name="use_underline">True</property>
10515
<property name="relief">GTK_RELIEF_NORMAL</property>
10516
<property name="focus_on_click">True</property>
10517
<property name="active">False</property>
10518
<property name="inconsistent">False</property>
10519
<property name="draw_indicator">True</property>
10520
</widget>
10521
<packing>
10522
<property name="left_attach">1</property>
10523
<property name="right_attach">2</property>
10524
<property name="top_attach">4</property>
10525
<property name="bottom_attach">5</property>
10526
<property name="x_options">fill</property>
10527
<property name="y_options"></property>
10528
</packing>
10529
</child>
10530
10531
<child>
10214
10532
<widget class="GtkRadioButton" id="radio_indent_spaces">
10215
10533
<property name="visible">True</property>
10216
10534
<property name="tooltip" translatable="yes">Use spaces when inserting indentation</property>
10222
10540
<property name="active">False</property>
10223
10541
<property name="inconsistent">False</property>
10224
10542
<property name="draw_indicator">True</property>
10543
<property name="group">radio_indent_both</property>
10225
10544
</widget>
10226
10545
<packing>
10227
10546
<property name="left_attach">1</property>
10228
10547
<property name="right_attach">2</property>
10229
<property name="top_attach">2</property>
10230
<property name="bottom_attach">3</property>
10548
<property name="top_attach">3</property>
10549
<property name="bottom_attach">4</property>
10231
10550
<property name="x_options">fill</property>
10232
10551
<property name="y_options"></property>
10233
10552
</packing>
10245
10564
<property name="active">False</property>
10246
10565
<property name="inconsistent">False</property>
10247
10566
<property name="draw_indicator">True</property>
10248
<property name="group">radio_indent_spaces</property>
10567
<property name="group">radio_indent_both</property>
10568
</widget>
10569
<packing>
10570
<property name="left_attach">1</property>
10571
<property name="right_attach">2</property>
10572
<property name="top_attach">2</property>
10573
<property name="bottom_attach">3</property>
10574
<property name="x_options">fill</property>
10575
<property name="y_options"></property>
10576
</packing>
10577
</child>
10578
10579
<child>
10580
<widget class="GtkLabel" id="label229">
10581
<property name="visible">True</property>
10582
<property name="label" translatable="yes">Type:</property>
10583
<property name="use_underline">False</property>
10584
<property name="use_markup">False</property>
10585
<property name="justify">GTK_JUSTIFY_LEFT</property>
10586
<property name="wrap">False</property>
10587
<property name="selectable">False</property>
10588
<property name="xalign">0</property>
10589
<property name="yalign">0.5</property>
10590
<property name="xpad">0</property>
10591
<property name="ypad">0</property>
10592
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
10593
<property name="width_chars">-1</property>
10594
<property name="single_line_mode">False</property>
10595
<property name="angle">0</property>
10596
</widget>
10597
<packing>
10598
<property name="left_attach">0</property>
10599
<property name="right_attach">1</property>
10600
<property name="top_attach">2</property>
10601
<property name="bottom_attach">3</property>
10602
<property name="x_options">fill</property>
10603
<property name="y_options"></property>
10604
</packing>
10605
</child>
10606
10607
<child>
10608
<widget class="GtkCheckButton" id="check_detect_indent_width">
10609
<property name="visible">True</property>
10610
<property name="tooltip" translatable="yes">Whether to detect the indentation width from file contents when a file is opened</property>
10611
<property name="can_focus">True</property>
10612
<property name="label" translatable="yes">Detect width from file</property>
10613
<property name="use_underline">True</property>
10614
<property name="relief">GTK_RELIEF_NORMAL</property>
10615
<property name="focus_on_click">True</property>
10616
<property name="active">False</property>
10617
<property name="inconsistent">False</property>
10618
<property name="draw_indicator">True</property>
10249
10619
</widget>
10250
10620
<packing>
10251
10621
<property name="left_attach">1</property>
10256
10626
<property name="y_options"></property>
10257
10627
</packing>
10258
10628
</child>
10259
10260
<child>
10261
<widget class="GtkRadioButton" id="radio_indent_both">
10262
<property name="visible">True</property>
10263
<property name="tooltip" translatable="yes">Use spaces if the total indent is less than the tab width, otherwise use both</property>
10264
<property name="can_focus">True</property>
10265
<property name="label" translatable="yes">T_abs and Spaces</property>
10266
<property name="use_underline">True</property>
10267
<property name="relief">GTK_RELIEF_NORMAL</property>
10268
<property name="focus_on_click">True</property>
10269
<property name="active">False</property>
10270
<property name="inconsistent">False</property>
10271
<property name="draw_indicator">True</property>
10272
<property name="group">radio_indent_spaces</property>
10273
</widget>
10274
<packing>
10275
<property name="left_attach">1</property>
10276
<property name="right_attach">2</property>
10277
<property name="top_attach">3</property>
10278
<property name="bottom_attach">4</property>
10279
<property name="x_options">fill</property>
10280
<property name="y_options"></property>
10281
</packing>
10282
</child>
10283
10284
<child>
10285
<widget class="GtkCheckButton" id="check_detect_indent">
10286
<property name="visible">True</property>
10287
<property name="tooltip" translatable="yes">Whether to detect the indentation type from file contents when a file is opened</property>
10288
<property name="can_focus">True</property>
10289
<property name="label" translatable="yes">Detect from file</property>
10290
<property name="use_underline">True</property>
10291
<property name="relief">GTK_RELIEF_NORMAL</property>
10292
<property name="focus_on_click">True</property>
10293
<property name="active">False</property>
10294
<property name="inconsistent">False</property>
10295
<property name="draw_indicator">True</property>
10296
</widget>
10297
<packing>
10298
<property name="left_attach">1</property>
10299
<property name="right_attach">2</property>
10300
<property name="top_attach">4</property>
10301
<property name="bottom_attach">5</property>
10302
<property name="x_options">fill</property>
10303
<property name="y_options"></property>
10304
</packing>
10305
</child>
10306
10629
</widget>
10307
10630
<packing>
10308
10631
<property name="tab_expand">False</property>
Loggerhead is a web-based interface for Breezy
Version: 2.0.1