« back to all changes in this revision
Viewing changes to geany.glade
- browse files at revision 1.2.2
- compare with another revision
- download diff
- download tarball
- view history from revision 1.2.2
- Committer: Bazaar Package Importer
- Author(s): Damián Viano
- Date: 2008-10-26 19:44:46 UTC
- mto: (1.3.1 upstream) (3.1.2 experimental)
- mto: This revision was merged to the branch mainline in revision 13.
- Revision ID: james.westby@ubuntu.com-20081026194446-kytjyn3a831y1oc8
Import upstream version 0.15
- files added:
- data/filetypes.f77
- files removed:
- doc/images/pref_dialog_display.png
- files modified:
- COPYING
added
removed
geany.glade
58
58
<property name="use_underline">True</property>
59
59
60
60
<child internal-child="image">
61
<widget class="GtkImage" id="image2333">
61
<widget class="GtkImage" id="image2633">
62
62
<property name="visible">True</property>
63
63
<property name="stock">gtk-new</property>
64
64
<property name="icon_size">1</property>
148
148
<signal name="activate" handler="on_save_all1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
149
149
150
150
<child internal-child="image">
151
<widget class="GtkImage" id="image2334">
151
<widget class="GtkImage" id="image2634">
152
152
<property name="visible">True</property>
153
153
<property name="stock">gtk-save</property>
154
154
<property name="icon_size">1</property>
166
166
<property name="visible">True</property>
167
167
<property name="label" translatable="yes">_Reload</property>
168
168
<property name="use_underline">True</property>
169
<signal name="activate" handler="on_toolbutton23_clicked" last_modification_time="Mon, 24 Jul 2006 19:26:04 GMT"/>
169
<signal name="activate" handler="on_toolbutton_reload_clicked" last_modification_time="Mon, 01 Sep 2008 16:57:06 GMT"/>
170
170
171
171
<child internal-child="image">
172
<widget class="GtkImage" id="image2335">
172
<widget class="GtkImage" id="image2635">
173
173
<property name="visible">True</property>
174
174
<property name="stock">gtk-revert-to-saved</property>
175
175
<property name="icon_size">1</property>
189
189
<property name="use_underline">True</property>
190
190
191
191
<child internal-child="image">
192
<widget class="GtkImage" id="image2336">
192
<widget class="GtkImage" id="image2636">
193
193
<property name="visible">True</property>
194
194
<property name="stock">gtk-revert-to-saved</property>
195
195
<property name="icon_size">1</property>
270
270
</child>
271
271
272
272
<child>
273
<widget class="GtkImageMenuItem" id="close_other_documents1">
274
<property name="visible">True</property>
275
<property name="label" translatable="yes">Close Ot_her Documents</property>
276
<property name="use_underline">True</property>
277
<signal name="activate" handler="on_close_other_documents1_activate" last_modification_time="Fri, 27 Jun 2008 15:19:28 GMT"/>
278
279
<child internal-child="image">
280
<widget class="GtkImage" id="image2637">
281
<property name="visible">True</property>
282
<property name="stock">gtk-close</property>
283
<property name="icon_size">1</property>
284
<property name="xalign">0.5</property>
285
<property name="yalign">0.5</property>
286
<property name="xpad">0</property>
287
<property name="ypad">0</property>
288
</widget>
289
</child>
290
</widget>
291
</child>
292
293
<child>
273
294
<widget class="GtkImageMenuItem" id="menu_close_all1">
274
295
<property name="visible">True</property>
275
296
<property name="tooltip" translatable="yes">Closes all open files</property>
278
299
<signal name="activate" handler="on_close_all1_activate" last_modification_time="Thu, 02 Jun 2005 14:15:30 GMT"/>
279
300
280
301
<child internal-child="image">
281
<widget class="GtkImage" id="image2337">
302
<widget class="GtkImage" id="image2638">
282
303
<property name="visible">True</property>
283
304
<property name="stock">gtk-close</property>
284
305
<property name="icon_size">1</property>
477
498
<signal name="activate" handler="on_menu_increase_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
478
499
479
500
<child internal-child="image">
480
<widget class="GtkImage" id="image2338">
501
<widget class="GtkImage" id="image2639">
481
502
<property name="visible">True</property>
482
503
<property name="stock">gtk-indent</property>
483
504
<property name="icon_size">1</property>
498
519
<signal name="activate" handler="on_menu_decrease_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:28:54 GMT"/>
499
520
500
521
<child internal-child="image">
501
<widget class="GtkImage" id="image2339">
522
<widget class="GtkImage" id="image2640">
502
523
<property name="visible">True</property>
503
524
<property name="stock">gtk-unindent</property>
504
525
<property name="icon_size">1</property>
554
575
<property name="use_underline">True</property>
555
576
556
577
<child internal-child="image">
557
<widget class="GtkImage" id="image2340">
578
<widget class="GtkImage" id="image2641">
558
579
<property name="visible">True</property>
559
580
<property name="stock">gtk-add</property>
560
581
<property name="icon_size">1</property>
621
642
<child>
622
643
<widget class="GtkMenuItem" id="insert_bsd_license_notice2">
623
644
<property name="visible">True</property>
624
<property name="tooltip" translatable="yes">Inserts a BSD licence notice (should be done at the beginning of the file)</property>
645
<property name="tooltip" translatable="yes">Inserts a BSD license notice (should be done at the beginning of the file)</property>
625
646
<property name="label" translatable="yes">Insert _BSD License Notice</property>
626
647
<property name="use_underline">True</property>
627
648
<signal name="activate" handler="on_menu_comments_bsd_activate" last_modification_time="Fri, 05 Jan 2007 13:29:27 GMT"/>
639
660
<property name="use_underline">True</property>
640
661
641
662
<child internal-child="image">
642
<widget class="GtkImage" id="image2341">
663
<widget class="GtkImage" id="image2642">
643
664
<property name="visible">True</property>
644
665
<property name="stock">gtk-add</property>
645
666
<property name="icon_size">1</property>
671
692
<property name="use_underline">True</property>
672
693
673
694
<child internal-child="image">
674
<widget class="GtkImage" id="image2342">
695
<widget class="GtkImage" id="image2643">
675
696
<property name="visible">True</property>
676
697
<property name="stock">gtk-add</property>
677
698
<property name="icon_size">1</property>
720
741
<property name="visible">True</property>
721
742
<property name="label" translatable="yes">_Search</property>
722
743
<property name="use_underline">True</property>
744
<signal name="activate" handler="on_search1_activate" last_modification_time="Wed, 25 Jun 2008 17:08:05 GMT"/>
723
745
724
746
<child>
725
747
<widget class="GtkMenu" id="search1_menu">
768
790
<signal name="activate" handler="on_replace1_activate" last_modification_time="Sun, 23 Oct 2005 13:22:36 GMT"/>
769
791
770
792
<child internal-child="image">
771
<widget class="GtkImage" id="image2343">
793
<widget class="GtkImage" id="image2644">
772
794
<property name="visible">True</property>
773
795
<property name="stock">gtk-find-and-replace</property>
774
796
<property name="icon_size">1</property>
799
821
<child>
800
822
<widget class="GtkMenuItem" id="find_prevsel1">
801
823
<property name="visible">True</property>
802
<property name="label" translatable="yes">Find Pre_v Selected</property>
824
<property name="label" translatable="yes">Find Pre_vious Selected</property>
803
825
<property name="use_underline">True</property>
804
826
<signal name="activate" handler="on_find_prevsel1_activate" last_modification_time="Tue, 23 Jan 2007 17:22:40 GMT"/>
805
827
</widget>
821
843
</child>
822
844
823
845
<child>
846
<widget class="GtkMenuItem" id="previous_message1">
847
<property name="visible">True</property>
848
<property name="label" translatable="yes">Pr_evious Message</property>
849
<property name="use_underline">True</property>
850
<signal name="activate" handler="on_previous_message1_activate" last_modification_time="Wed, 25 Jun 2008 12:10:04 GMT"/>
851
</widget>
852
</child>
853
854
<child>
824
855
<widget class="GtkSeparatorMenuItem" id="separator32">
825
856
<property name="visible">True</property>
826
857
</widget>
834
865
<signal name="activate" handler="on_go_to_line1_activate" last_modification_time="Tue, 23 May 2006 17:10:49 GMT"/>
835
866
836
867
<child internal-child="image">
837
<widget class="GtkImage" id="image2344">
868
<widget class="GtkImage" id="image2645">
838
869
<property name="visible">True</property>
839
870
<property name="stock">gtk-jump-to</property>
840
871
<property name="icon_size">1</property>
869
900
<signal name="activate" handler="on_change_font1_activate" last_modification_time="Fri, 22 Apr 2005 18:58:45 GMT"/>
870
901
871
902
<child internal-child="image">
872
<widget class="GtkImage" id="image2345">
903
<widget class="GtkImage" id="image2646">
873
904
<property name="visible">True</property>
874
905
<property name="stock">gtk-select-font</property>
875
906
<property name="icon_size">1</property>
1008
1039
<widget class="GtkMenu" id="menu_document1_menu">
1009
1040
1010
1041
<child>
1011
<widget class="GtkCheckMenuItem" id="menu_line_breaking1">
1042
<widget class="GtkCheckMenuItem" id="menu_line_wrapping1">
1012
1043
<property name="visible">True</property>
1013
1044
<property name="tooltip" translatable="yes">Wrap the line at the window border and continue it on the next line. Note: line wrapping has a high performance cost for large documents so should be disabled on slow machines.</property>
1014
1045
<property name="label" translatable="yes">_Line Wrapping</property>
1015
1046
<property name="use_underline">True</property>
1016
1047
<property name="active">True</property>
1017
<signal name="toggled" handler="on_line_breaking1_toggled" last_modification_time="Sun, 04 Sep 2005 11:12:08 GMT"/>
1048
<signal name="toggled" handler="on_line_wrapping1_toggled" last_modification_time="Sun, 04 Sep 2005 11:12:08 GMT"/>
1049
</widget>
1050
</child>
1051
1052
<child>
1053
<widget class="GtkCheckMenuItem" id="line_breaking1">
1054
<property name="visible">True</property>
1055
<property name="label" translatable="yes">Line _Breaking</property>
1056
<property name="use_underline">True</property>
1057
<property name="active">False</property>
1058
<signal name="toggled" handler="on_line_breaking1_activate" last_modification_time="Thu, 08 May 2008 16:46:17 GMT"/>
1018
1059
</widget>
1019
1060
</child>
1020
1061
1057
1098
<signal name="activate" handler="on_spaces1_activate" last_modification_time="Thu, 04 Oct 2007 16:07:51 GMT"/>
1058
1099
</widget>
1059
1100
</child>
1101
1102
<child>
1103
<widget class="GtkRadioMenuItem" id="tabs_and_spaces1">
1104
<property name="visible">True</property>
1105
<property name="label" translatable="yes">T_abs and Spaces</property>
1106
<property name="use_underline">True</property>
1107
<property name="active">True</property>
1108
<property name="group">tabs1</property>
1109
<signal name="activate" handler="on_tabs_and_spaces1_activate" last_modification_time="Thu, 31 Jul 2008 14:23:06 GMT"/>
1110
</widget>
1111
</child>
1060
1112
</widget>
1061
1113
</child>
1062
1114
</widget>
1206
1258
</child>
1207
1259
1208
1260
<child>
1261
<widget class="GtkMenuItem" id="menu_replace_spaces">
1262
<property name="visible">True</property>
1263
<property name="tooltip" translatable="yes">Replaces all spaces in the document by tab characters.</property>
1264
<property name="label" translatable="yes">Replace Spaces b_y Tabs</property>
1265
<property name="use_underline">True</property>
1266
<signal name="activate" handler="on_replace_spaces_activate" last_modification_time="Wed, 18 Jun 2008 18:56:33 GMT"/>
1267
</widget>
1268
</child>
1269
1270
<child>
1209
1271
<widget class="GtkSeparatorMenuItem" id="separator22">
1210
1272
<property name="visible">True</property>
1211
1273
</widget>
1278
1340
<signal name="activate" handler="on_project_new1_activate" last_modification_time="Thu, 18 Jan 2007 22:16:24 GMT"/>
1279
1341
1280
1342
<child internal-child="image">
1281
<widget class="GtkImage" id="image2346">
1343
<widget class="GtkImage" id="image2647">
1282
1344
<property name="visible">True</property>
1283
1345
<property name="stock">gtk-new</property>
1284
1346
<property name="icon_size">1</property>
1299
1361
<signal name="activate" handler="on_project_open1_activate" last_modification_time="Mon, 15 Jan 2007 17:34:17 GMT"/>
1300
1362
1301
1363
<child internal-child="image">
1302
<widget class="GtkImage" id="image2347">
1364
<widget class="GtkImage" id="image2648">
1303
1365
<property name="visible">True</property>
1304
1366
<property name="stock">gtk-open</property>
1305
1367
<property name="icon_size">1</property>
1320
1382
<signal name="activate" handler="on_project_close1_activate" last_modification_time="Mon, 15 Jan 2007 17:34:17 GMT"/>
1321
1383
1322
1384
<child internal-child="image">
1323
<widget class="GtkImage" id="image2348">
1385
<widget class="GtkImage" id="image2649">
1324
1386
<property name="visible">True</property>
1325
1387
<property name="stock">gtk-close</property>
1326
1388
<property name="icon_size">1</property>
1365
1427
<property name="visible">True</property>
1366
1428
<property name="label" translatable="yes">_Tools</property>
1367
1429
<property name="use_underline">True</property>
1368
<signal name="activate" handler="on_tools1_activate" last_modification_time="Tue, 20 Nov 2007 16:31:10 GMT"/>
1369
1430
1370
1431
<child>
1371
1432
<widget class="GtkMenu" id="tools1_menu">
1379
1440
<signal name="activate" handler="on_show_color_chooser1_activate" last_modification_time="Wed, 22 Jun 2005 18:10:21 GMT"/>
1380
1441
1381
1442
<child internal-child="image">
1382
<widget class="GtkImage" id="image2349">
1443
<widget class="GtkImage" id="image2650">
1383
1444
<property name="visible">True</property>
1384
1445
<property name="stock">gtk-select-color</property>
1385
1446
<property name="icon_size">1</property>
1411
1472
<signal name="activate" handler="on_load_tags1_activate" last_modification_time="Sun, 15 Apr 2007 15:24:55 GMT"/>
1412
1473
</widget>
1413
1474
</child>
1475
1476
<child>
1477
<widget class="GtkImageMenuItem" id="menu_reload_configuration1">
1478
<property name="visible">True</property>
1479
<property name="tooltip" translatable="yes">Reload configuration data like snippets, templates and filetype extensions.</property>
1480
<property name="label" translatable="yes">_Reload Configuration</property>
1481
<property name="use_underline">True</property>
1482
<signal name="activate" handler="on_menu_reload_configuration1_activate" last_modification_time="Mon, 30 Jun 2008 16:19:40 GMT"/>
1483
1484
<child internal-child="image">
1485
<widget class="GtkImage" id="image2651">
1486
<property name="visible">True</property>
1487
<property name="stock">gtk-refresh</property>
1488
<property name="icon_size">1</property>
1489
<property name="xalign">0.5</property>
1490
<property name="yalign">0.5</property>
1491
<property name="xpad">0</property>
1492
<property name="ypad">0</property>
1493
</widget>
1494
</child>
1495
</widget>
1496
</child>
1414
1497
</widget>
1415
1498
</child>
1416
1499
</widget>
1433
1516
<signal name="activate" handler="on_help1_activate" last_modification_time="Sun, 24 Jul 2005 15:23:11 GMT"/>
1434
1517
1435
1518
<child internal-child="image">
1436
<widget class="GtkImage" id="image2350">
1519
<widget class="GtkImage" id="image2652">
1437
1520
<property name="visible">True</property>
1438
1521
<property name="stock">gtk-help</property>
1439
1522
<property name="icon_size">1</property>
1447
1530
</child>
1448
1531
1449
1532
<child>
1533
<widget class="GtkMenuItem" id="website1">
1534
<property name="visible">True</property>
1535
<property name="label" translatable="yes">_Website</property>
1536
<property name="use_underline">True</property>
1537
<signal name="activate" handler="on_website1_activate" last_modification_time="Mon, 22 Aug 2005 17:57:15 GMT"/>
1538
</widget>
1539
</child>
1540
1541
<child>
1450
1542
<widget class="GtkMenuItem" id="keyboard_shortcuts1">
1451
1543
<property name="visible">True</property>
1452
1544
<property name="tooltip" translatable="yes">Shows a list of all keyboard shortcuts for Geany.</property>
1457
1549
</child>
1458
1550
1459
1551
<child>
1460
<widget class="GtkMenuItem" id="website1">
1552
<widget class="GtkMenuItem" id="debug_messages1">
1461
1553
<property name="visible">True</property>
1462
<property name="label" translatable="yes">_Website</property>
1554
<property name="label" translatable="yes">_Debug Messages</property>
1463
1555
<property name="use_underline">True</property>
1464
<signal name="activate" handler="on_website1_activate" last_modification_time="Mon, 22 Aug 2005 17:57:15 GMT"/>
1556
<signal name="activate" handler="on_debug_messages1_activate" last_modification_time="Mon, 11 Aug 2008 16:04:45 GMT"/>
1465
1557
</widget>
1466
1558
</child>
1467
1559
1501
1593
<signal name="key_press_event" handler="on_escape_key_press_event" last_modification_time="Thu, 03 Apr 2008 16:47:57 GMT"/>
1502
1594
1503
1595
<child>
1504
<widget class="GtkMenuToolButton" id="menutoolbutton1">
1596
<widget class="GtkMenuToolButton" id="toolbutton_new">
1505
1597
<property name="visible">True</property>
1506
1598
<property name="tooltip" translatable="yes">Create a new file</property>
1507
1599
<property name="stock_id">gtk-new</property>
1517
1609
</child>
1518
1610
1519
1611
<child>
1520
<widget class="GtkMenuToolButton" id="toolbutton9">
1612
<widget class="GtkMenuToolButton" id="toolbutton_open">
1521
1613
<property name="visible">True</property>
1522
1614
<property name="tooltip" translatable="yes">Open an existing file</property>
1523
1615
<property name="stock_id">gtk-open</property>
1524
1616
<property name="visible_horizontal">True</property>
1525
1617
<property name="visible_vertical">True</property>
1526
1618
<property name="is_important">False</property>
1527
<signal name="clicked" handler="on_toolbutton9_clicked" last_modification_time="Wed, 20 Sep 2006 14:17:34 GMT"/>
1619
<signal name="clicked" handler="on_toolbutton_open_clicked" last_modification_time="Mon, 01 Sep 2008 15:51:20 GMT"/>
1528
1620
</widget>
1529
1621
<packing>
1530
1622
<property name="expand">False</property>
1533
1625
</child>
1534
1626
1535
1627
<child>
1536
<widget class="GtkToolButton" id="toolbutton10">
1628
<widget class="GtkToolButton" id="toolbutton_save">
1537
1629
<property name="visible">True</property>
1538
1630
<property name="tooltip" translatable="yes">Save the current file</property>
1539
1631
<property name="stock_id">gtk-save</property>
1540
1632
<property name="visible_horizontal">True</property>
1541
1633
<property name="visible_vertical">True</property>
1542
1634
<property name="is_important">False</property>
1543
<signal name="clicked" handler="on_toolbutton10_clicked" last_modification_time="Fri, 22 Apr 2005 21:27:45 GMT"/>
1635
<signal name="clicked" handler="on_toolbutton_save_clicked" last_modification_time="Mon, 01 Sep 2008 15:54:10 GMT"/>
1544
1636
</widget>
1545
1637
<packing>
1546
1638
<property name="expand">False</property>
1549
1641
</child>
1550
1642
1551
1643
<child>
1552
<widget class="GtkToolButton" id="toolbutton22">
1644
<widget class="GtkToolButton" id="toolbutton_saveall">
1553
1645
<property name="visible">True</property>
1554
1646
<property name="tooltip" translatable="yes">Save all open files</property>
1555
1647
<property name="label" translatable="yes">Save all</property>
1579
1671
</child>
1580
1672
1581
1673
<child>
1582
<widget class="GtkToolButton" id="toolbutton23">
1674
<widget class="GtkToolButton" id="toolbutton_reload">
1583
1675
<property name="visible">True</property>
1584
1676
<property name="tooltip" translatable="yes">Reload the current file from disk</property>
1585
1677
<property name="stock_id">gtk-revert-to-saved</property>
1586
1678
<property name="visible_horizontal">True</property>
1587
1679
<property name="visible_vertical">True</property>
1588
1680
<property name="is_important">False</property>
1589
<signal name="clicked" handler="on_toolbutton23_clicked" last_modification_time="Sun, 05 Jun 2005 19:01:28 GMT"/>
1681
<signal name="clicked" handler="on_toolbutton_reload_clicked" last_modification_time="Mon, 01 Sep 2008 15:56:00 GMT"/>
1590
1682
</widget>
1591
1683
<packing>
1592
1684
<property name="expand">False</property>
1595
1687
</child>
1596
1688
1597
1689
<child>
1598
<widget class="GtkToolButton" id="toolbutton15">
1690
<widget class="GtkToolButton" id="toolbutton_close">
1599
1691
<property name="visible">True</property>
1600
1692
<property name="tooltip" translatable="yes">Close the current file</property>
1601
1693
<property name="stock_id">gtk-close</property>
1602
1694
<property name="visible_horizontal">True</property>
1603
1695
<property name="visible_vertical">True</property>
1604
1696
<property name="is_important">False</property>
1605
<signal name="clicked" handler="on_toolbutton15_clicked" last_modification_time="Sat, 23 Apr 2005 11:34:26 GMT"/>
1697
<signal name="clicked" handler="on_toolbutton_close_clicked" last_modification_time="Mon, 01 Sep 2008 15:56:49 GMT"/>
1606
1698
</widget>
1607
1699
<packing>
1608
1700
<property name="expand">False</property>
1716
1808
</child>
1717
1809
1718
1810
<child>
1719
<widget class="GtkToolButton" id="toolbutton13">
1811
<widget class="GtkToolButton" id="toolbutton_compile">
1720
1812
<property name="visible">True</property>
1721
1813
<property name="tooltip" translatable="yes">Compile the current file</property>
1722
1814
<property name="label" translatable="yes">Compile</property>
1734
1826
</child>
1735
1827
1736
1828
<child>
1737
<widget class="GtkToolButton" id="toolbutton26">
1829
<widget class="GtkToolButton" id="toolbutton_run">
1738
1830
<property name="visible">True</property>
1739
1831
<property name="tooltip" translatable="yes">Run or view the current file</property>
1740
1832
<property name="stock_id">gtk-execute</property>
1763
1855
</child>
1764
1856
1765
1857
<child>
1766
<widget class="GtkToolButton" id="toolbutton24">
1858
<widget class="GtkToolButton" id="toolbutton_colour">
1767
1859
<property name="visible">True</property>
1768
1860
<property name="tooltip" translatable="yes">Open a color chooser dialog, to interactively pick colors from a palette.</property>
1769
1861
<property name="label" translatable="yes">Color</property>
1794
1886
</child>
1795
1887
1796
1888
<child>
1797
<widget class="GtkToolButton" id="toolbutton20">
1889
<widget class="GtkToolButton" id="toolbutton_zoomin">
1798
1890
<property name="visible">True</property>
1799
1891
<property name="tooltip" translatable="yes">Zoom in the text</property>
1800
1892
<property name="stock_id">gtk-zoom-in</property>
1810
1902
</child>
1811
1903
1812
1904
<child>
1813
<widget class="GtkToolButton" id="toolbutton21">
1905
<widget class="GtkToolButton" id="toolbutton_zoomout">
1814
1906
<property name="visible">True</property>
1815
1907
<property name="tooltip" translatable="yes">Zoom out the text</property>
1816
1908
<property name="stock_id">gtk-zoom-out</property>
1884
1976
</child>
1885
1977
1886
1978
<child>
1887
<widget class="GtkToolItem" id="toolitem19">
1979
<widget class="GtkToolItem" id="toolbutton_search_item">
1888
1980
<property name="visible">True</property>
1889
1981
<property name="visible_horizontal">True</property>
1890
1982
<property name="visible_vertical">True</property>
1891
1983
<property name="is_important">False</property>
1892
1984
1893
1985
<child>
1894
<widget class="GtkEntry" id="entry1">
1986
<widget class="GtkEntry" id="toolbutton_search_entry">
1895
1987
<property name="visible">True</property>
1896
1988
<property name="tooltip" translatable="yes">Find the entered text in the current file</property>
1897
1989
<property name="can_focus">True</property>
1902
1994
<property name="has_frame">True</property>
1903
1995
<property name="invisible_char">*</property>
1904
1996
<property name="activates_default">False</property>
1905
<signal name="activate" handler="on_entry1_activate" last_modification_time="Sat, 30 Apr 2005 23:58:03 GMT"/>
1906
<signal name="changed" handler="on_entry1_changed" last_modification_time="Tue, 03 May 2005 09:18:59 GMT"/>
1997
<signal name="activate" handler="on_toolbar_search_entry_activate" last_modification_time="Mon, 01 Sep 2008 16:02:44 GMT"/>
1998
<signal name="changed" handler="on_toolbar_search_entry_changed" last_modification_time="Mon, 01 Sep 2008 16:02:49 GMT"/>
1907
1999
</widget>
1908
2000
</child>
1909
2001
</widget>
1914
2006
</child>
1915
2007
1916
2008
<child>
1917
<widget class="GtkToolButton" id="toolbutton18">
2009
<widget class="GtkToolButton" id="toolbutton_search">
1918
2010
<property name="visible">True</property>
1919
2011
<property name="tooltip" translatable="yes">Find the entered text in the current file</property>
1920
2012
<property name="stock_id">gtk-find</property>
1921
2013
<property name="visible_horizontal">True</property>
1922
2014
<property name="visible_vertical">True</property>
1923
2015
<property name="is_important">False</property>
1924
<signal name="clicked" handler="on_toolbutton18_clicked" last_modification_time="Sat, 30 Apr 2005 18:38:53 GMT"/>
2016
<signal name="clicked" handler="on_toolbutton_search_clicked" last_modification_time="Mon, 01 Sep 2008 16:05:06 GMT"/>
1925
2017
</widget>
1926
2018
<packing>
1927
2019
<property name="expand">False</property>
1943
2035
</child>
1944
2036
1945
2037
<child>
1946
<widget class="GtkToolItem" id="toolitem17">
2038
<widget class="GtkToolItem" id="toolbutton_goto_item">
1947
2039
<property name="visible">True</property>
1948
2040
<property name="visible_horizontal">True</property>
1949
2041
<property name="visible_vertical">True</property>
1950
2042
<property name="is_important">False</property>
1951
2043
1952
2044
<child>
1953
<widget class="GtkEntry" id="entry_goto_line">
2045
<widget class="GtkEntry" id="toolbutton_goto_entry">
1954
2046
<property name="visible">True</property>
1955
2047
<property name="tooltip" translatable="yes">Enter a line number and jump to it.</property>
1956
2048
<property name="can_focus">True</property>
1962
2054
<property name="invisible_char">*</property>
1963
2055
<property name="activates_default">False</property>
1964
2056
<property name="width_chars">8</property>
1965
<signal name="activate" handler="on_entry_goto_line_activate" last_modification_time="Sun, 26 Feb 2006 17:07:52 GMT"/>
2057
<signal name="activate" handler="on_toolbutton_goto_entry_activate" last_modification_time="Mon, 01 Sep 2008 16:06:59 GMT"/>
1966
2058
</widget>
1967
2059
</child>
1968
2060
</widget>
1973
2065
</child>
1974
2066
1975
2067
<child>
1976
<widget class="GtkToolButton" id="toolbutton25">
2068
<widget class="GtkToolButton" id="toolbutton_goto">
1977
2069
<property name="visible">True</property>
1978
2070
<property name="tooltip" translatable="yes">Jump to the entered line number.</property>
1979
2071
<property name="stock_id">gtk-jump-to</property>
2015
2107
</child>
2016
2108
2017
2109
<child>
2018
<widget class="GtkToolButton" id="toolbutton19">
2110
<widget class="GtkToolButton" id="toolbutton_quit">
2019
2111
<property name="visible">True</property>
2020
2112
<property name="tooltip" translatable="yes">Quit Geany</property>
2021
2113
<property name="stock_id">gtk-quit</property>
2022
2114
<property name="visible_horizontal">True</property>
2023
2115
<property name="visible_vertical">True</property>
2024
2116
<property name="is_important">False</property>
2025
<signal name="clicked" handler="on_toolbutton19_clicked" last_modification_time="Sat, 30 Apr 2005 18:42:07 GMT"/>
2117
<signal name="clicked" handler="on_toolbutton_quit_clicked" last_modification_time="Mon, 01 Sep 2008 15:50:30 GMT"/>
2026
2118
</widget>
2027
2119
<packing>
2028
2120
<property name="expand">False</property>
2741
2833
<signal name="activate" handler="on_menu_increase_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
2742
2834
2743
2835
<child internal-child="image">
2744
<widget class="GtkImage" id="image1969">
2836
<widget class="GtkImage" id="image2568">
2745
2837
<property name="visible">True</property>
2746
2838
<property name="stock">gtk-indent</property>
2747
2839
<property name="icon_size">1</property>
2762
2854
<signal name="activate" handler="on_menu_decrease_indent1_activate" last_modification_time="Tue, 01 Aug 2006 10:31:38 GMT"/>
2763
2855
2764
2856
<child internal-child="image">
2765
<widget class="GtkImage" id="image1970">
2857
<widget class="GtkImage" id="image2569">
2766
2858
<property name="visible">True</property>
2767
2859
<property name="stock">gtk-unindent</property>
2768
2860
<property name="icon_size">1</property>
2818
2910
<property name="use_underline">True</property>
2819
2911
2820
2912
<child internal-child="image">
2821
<widget class="GtkImage" id="image1971">
2913
<widget class="GtkImage" id="image2570">
2822
2914
<property name="visible">True</property>
2823
2915
<property name="stock">gtk-add</property>
2824
2916
<property name="icon_size">1</property>
2885
2977
<child>
2886
2978
<widget class="GtkMenuItem" id="insert_bsd_license_notice1">
2887
2979
<property name="visible">True</property>
2888
<property name="tooltip" translatable="yes">Inserts a BSD licence notice (should be done at the beginning of the file)</property>
2980
<property name="tooltip" translatable="yes">Inserts a BSD license notice (should be done at the beginning of the file)</property>
2889
2981
<property name="label" translatable="yes">Insert _BSD License Notice</property>
2890
2982
<property name="use_underline">True</property>
2891
2983
<signal name="activate" handler="on_comments_bsd_activate" last_modification_time="Fri, 05 Jan 2007 13:32:16 GMT"/>
2903
2995
<property name="use_underline">True</property>
2904
2996
2905
2997
<child internal-child="image">
2906
<widget class="GtkImage" id="image1972">
2998
<widget class="GtkImage" id="image2571">
2907
2999
<property name="visible">True</property>
2908
3000
<property name="stock">gtk-add</property>
2909
3001
<property name="icon_size">1</property>
2935
3027
<property name="use_underline">True</property>
2936
3028
2937
3029
<child internal-child="image">
2938
<widget class="GtkImage" id="image1973">
3030
<widget class="GtkImage" id="image2572">
2939
3031
<property name="visible">True</property>
2940
3032
<property name="stock">gtk-add</property>
2941
3033
<property name="icon_size">1</property>
2974
3066
<signal name="activate" handler="on_find_usage1_activate" last_modification_time="Fri, 27 May 2005 21:55:12 GMT"/>
2975
3067
2976
3068
<child internal-child="image">
2977
<widget class="GtkImage" id="image1974">
3069
<widget class="GtkImage" id="image2573">
3070
<property name="visible">True</property>
3071
<property name="stock">gtk-find</property>
3072
<property name="icon_size">1</property>
3073
<property name="xalign">0.5</property>
3074
<property name="yalign">0.5</property>
3075
<property name="xpad">0</property>
3076
<property name="ypad">0</property>
3077
</widget>
3078
</child>
3079
</widget>
3080
</child>
3081
3082
<child>
3083
<widget class="GtkImageMenuItem" id="find_document_usage1">
3084
<property name="visible">True</property>
3085
<property name="label" translatable="yes">Find _Document Usage</property>
3086
<property name="use_underline">True</property>
3087
<signal name="activate" handler="on_find_document_usage1_activate" last_modification_time="Thu, 17 Jul 2008 13:42:25 GMT"/>
3088
3089
<child internal-child="image">
3090
<widget class="GtkImage" id="image2574">
2978
3091
<property name="visible">True</property>
2979
3092
<property name="stock">gtk-find</property>
2980
3093
<property name="icon_size">1</property>
3029
3142
<signal name="activate" handler="on_go_to_line_activate" last_modification_time="Sat, 16 Jul 2005 11:20:32 GMT"/>
3030
3143
3031
3144
<child internal-child="image">
3032
<widget class="GtkImage" id="image1975">
3145
<widget class="GtkImage" id="image2575">
3033
3146
<property name="visible">True</property>
3034
3147
<property name="stock">gtk-jump-to</property>
3035
3148
<property name="icon_size">1</property>
3129
3242
3130
3243
<child>
3131
3244
<widget class="GtkVBox" id="vbox20">
3245
<property name="border_width">5</property>
3132
3246
<property name="visible">True</property>
3133
3247
<property name="homogeneous">False</property>
3134
3248
<property name="spacing">10</property>
3162
3276
<widget class="GtkCheckButton" id="check_load_session">
3163
3277
<property name="visible">True</property>
3164
3278
<property name="tooltip" translatable="yes">Opens at startup the files from the last session</property>
3279
<property name="can_focus">True</property>
3165
3280
<property name="label" translatable="yes">Load files from the last session</property>
3166
3281
<property name="use_underline">True</property>
3167
3282
<property name="relief">GTK_RELIEF_NORMAL</property>
3168
<property name="focus_on_click">False</property>
3283
<property name="focus_on_click">True</property>
3169
3284
<property name="active">False</property>
3170
3285
<property name="inconsistent">False</property>
3171
3286
<property name="draw_indicator">True</property>
3184
3299
<property name="label" translatable="yes">Load virtual terminal support</property>
3185
3300
<property name="use_underline">True</property>
3186
3301
<property name="relief">GTK_RELIEF_NORMAL</property>
3187
<property name="focus_on_click">False</property>
3302
<property name="focus_on_click">True</property>
3188
3303
<property name="active">False</property>
3189
3304
<property name="inconsistent">False</property>
3190
3305
<property name="draw_indicator">True</property>
3278
3393
<widget class="GtkCheckButton" id="check_save_win_pos">
3279
3394
<property name="visible">True</property>
3280
3395
<property name="tooltip" translatable="yes">Saves the window position and geometry and restores it at the start</property>
3396
<property name="can_focus">True</property>
3281
3397
<property name="label" translatable="yes">Save window position and geometry</property>
3282
3398
<property name="use_underline">True</property>
3283
3399
<property name="relief">GTK_RELIEF_NORMAL</property>
3284
<property name="focus_on_click">False</property>
3400
<property name="focus_on_click">True</property>
3285
3401
<property name="active">False</property>
3286
3402
<property name="inconsistent">False</property>
3287
3403
<property name="draw_indicator">True</property>
3297
3413
<widget class="GtkCheckButton" id="check_ask_for_quit">
3298
3414
<property name="visible">True</property>
3299
3415
<property name="tooltip" translatable="yes">Shows a confirmation dialog on exit.</property>
3416
<property name="can_focus">True</property>
3300
3417
<property name="label" translatable="yes">Confirm exit</property>
3301
3418
<property name="use_underline">True</property>
3302
3419
<property name="relief">GTK_RELIEF_NORMAL</property>
3303
<property name="focus_on_click">False</property>
3420
<property name="focus_on_click">True</property>
3304
3421
<property name="active">False</property>
3305
3422
<property name="inconsistent">False</property>
3306
3423
<property name="draw_indicator">True</property>
3375
3492
<widget class="GtkCheckButton" id="check_project_session">
3376
3493
<property name="visible">True</property>
3377
3494
<property name="tooltip" translatable="yes">Whether to store a project's session files and open them when re-opening the project.</property>
3495
<property name="can_focus">True</property>
3378
3496
<property name="label" translatable="yes">Use project-based session files</property>
3379
3497
<property name="use_underline">True</property>
3380
3498
<property name="relief">GTK_RELIEF_NORMAL</property>
3381
<property name="focus_on_click">False</property>
3499
<property name="focus_on_click">True</property>
3500
<property name="active">False</property>
3501
<property name="inconsistent">False</property>
3502
<property name="draw_indicator">True</property>
3503
</widget>
3504
<packing>
3505
<property name="padding">0</property>
3506
<property name="expand">False</property>
3507
<property name="fill">False</property>
3508
</packing>
3509
</child>
3510
3511
<child>
3512
<widget class="GtkCheckButton" id="check_project_file_in_basedir">
3513
<property name="visible">True</property>
3514
<property name="tooltip" translatable="yes">When enabled, a project file is stored by default inside the project base directory when creating new projects instead of one directory above the base directory. You can still change the path of the project file in the New Project dialog.</property>
3515
<property name="can_focus">True</property>
3516
<property name="label" translatable="yes">Store project file inside the project base directory</property>
3517
<property name="use_underline">True</property>
3518
<property name="relief">GTK_RELIEF_NORMAL</property>
3519
<property name="focus_on_click">True</property>
3382
3520
<property name="active">False</property>
3383
3521
<property name="inconsistent">False</property>
3384
3522
<property name="draw_indicator">True</property>
3457
3595
<property name="label" translatable="yes">Beep on errors or when compilation has finished</property>
3458
3596
<property name="use_underline">True</property>
3459
3597
<property name="relief">GTK_RELIEF_NORMAL</property>
3460
<property name="focus_on_click">False</property>
3598
<property name="focus_on_click">True</property>
3461
3599
<property name="active">False</property>
3462
3600
<property name="inconsistent">False</property>
3463
3601
<property name="draw_indicator">True</property>
3477
3615
<property name="label" translatable="yes">Switch to status message list at new message</property>
3478
3616
<property name="use_underline">True</property>
3479
3617
<property name="relief">GTK_RELIEF_NORMAL</property>
3480
<property name="focus_on_click">False</property>
3618
<property name="focus_on_click">True</property>
3481
3619
<property name="active">False</property>
3482
3620
<property name="inconsistent">False</property>
3483
3621
<property name="draw_indicator">True</property>
3497
3635
<property name="label" translatable="yes">Suppress status messages in the status bar</property>
3498
3636
<property name="use_underline">True</property>
3499
3637
<property name="relief">GTK_RELIEF_NORMAL</property>
3500
<property name="focus_on_click">False</property>
3638
<property name="focus_on_click">True</property>
3501
3639
<property name="active">False</property>
3502
3640
<property name="inconsistent">False</property>
3503
3641
<property name="draw_indicator">True</property>
3517
3655
<property name="label" translatable="yes">Auto focus widgets (focus follows mouse)</property>
3518
3656
<property name="use_underline">True</property>
3519
3657
<property name="relief">GTK_RELIEF_NORMAL</property>
3520
<property name="focus_on_click">False</property>
3521
<property name="active">False</property>
3522
<property name="inconsistent">False</property>
3523
<property name="draw_indicator">True</property>
3524
</widget>
3525
<packing>
3526
<property name="padding">0</property>
3527
<property name="expand">False</property>
3528
<property name="fill">False</property>
3529
</packing>
3530
</child>
3531
3532
<child>
3533
<widget class="GtkCheckButton" id="check_ask_suppress_search_dialogs">
3534
<property name="visible">True</property>
3535
<property name="tooltip" translatable="yes">Always wrap search around the document and hide the Find dialog after clicking Find Next/Previous</property>
3536
<property name="label" translatable="yes">Always wrap search and hide the Find dialog</property>
3537
<property name="use_underline">True</property>
3538
<property name="relief">GTK_RELIEF_NORMAL</property>
3539
<property name="focus_on_click">False</property>
3540
<property name="active">False</property>
3541
<property name="inconsistent">False</property>
3542
<property name="draw_indicator">True</property>
3543
</widget>
3544
<packing>
3545
<property name="padding">0</property>
3546
<property name="expand">False</property>
3547
<property name="fill">False</property>
3548
</packing>
3549
</child>
3550
3551
<child>
3552
<widget class="GtkCheckButton" id="check_search_use_current_word">
3553
<property name="visible">True</property>
3554
<property name="tooltip" translatable="yes">Use current word under the cursor when opening the Find, Find in Files or Replace dialog and there is no selection.</property>
3555
<property name="label" translatable="yes">Use the current word under the cursor for Find dialogs</property>
3556
<property name="use_underline">True</property>
3557
<property name="relief">GTK_RELIEF_NORMAL</property>
3558
<property name="focus_on_click">False</property>
3658
<property name="focus_on_click">True</property>
3559
3659
<property name="active">False</property>
3560
3660
<property name="inconsistent">False</property>
3561
3661
<property name="draw_indicator">True</property>
3852
3952
3853
3953
<child>
3854
3954
<widget class="GtkVBox" id="vbox14">
3955
<property name="border_width">5</property>
3855
3956
<property name="visible">True</property>
3856
3957
<property name="homogeneous">False</property>
3857
3958
<property name="spacing">10</property>
3889
3990
<property name="label" translatable="yes">Show symbol list</property>
3890
3991
<property name="use_underline">True</property>
3891
3992
<property name="relief">GTK_RELIEF_NORMAL</property>
3892
<property name="focus_on_click">False</property>
3993
<property name="focus_on_click">True</property>
3893
3994
<property name="active">False</property>
3894
3995
<property name="inconsistent">False</property>
3895
3996
<property name="draw_indicator">True</property>
3909
4010
<property name="label" translatable="yes">Show documents list</property>
3910
4011
<property name="use_underline">True</property>
3911
4012
<property name="relief">GTK_RELIEF_NORMAL</property>
3912
<property name="focus_on_click">False</property>
4013
<property name="focus_on_click">True</property>
3913
4014
<property name="active">False</property>
3914
4015
<property name="inconsistent">False</property>
3915
4016
<property name="draw_indicator">True</property>
3928
4029
<property name="label" translatable="yes">Show full path name in documents list</property>
3929
4030
<property name="use_underline">True</property>
3930
4031
<property name="relief">GTK_RELIEF_NORMAL</property>
3931
<property name="focus_on_click">False</property>
4032
<property name="focus_on_click">True</property>
3932
4033
<property name="active">False</property>
3933
4034
<property name="inconsistent">False</property>
3934
4035
<property name="draw_indicator">True</property>
4230
4331
<widget class="GtkCheckButton" id="check_show_tab_cross">
4231
4332
<property name="visible">True</property>
4232
4333
<property name="tooltip" translatable="yes">Shows a small cross button in the file tabs to easily close files when clicking on it (requires restart of Geany).</property>
4334
<property name="can_focus">True</property>
4233
4335
<property name="label" translatable="yes">Show close buttons</property>
4234
4336
<property name="use_underline">True</property>
4235
4337
<property name="relief">GTK_RELIEF_NORMAL</property>
4236
<property name="focus_on_click">False</property>
4338
<property name="focus_on_click">True</property>
4237
4339
<property name="active">False</property>
4238
4340
<property name="inconsistent">False</property>
4239
4341
<property name="draw_indicator">True</property>
4417
4519
<child>
4418
4520
<widget class="GtkComboBox" id="combo_tab_msgwin">
4419
4521
<property name="visible">True</property>
4522
<property name="can_focus">True</property>
4420
4523
<property name="items" translatable="yes">Left
4421
4524
Right
4422
4525
Top
4466
4569
<child>
4467
4570
<widget class="GtkComboBox" id="combo_tab_sidebar">
4468
4571
<property name="visible">True</property>
4572
<property name="can_focus">True</property>
4469
4573
<property name="items" translatable="yes">Left
4470
4574
Right
4471
4575
Top
4515
4619
<child>
4516
4620
<widget class="GtkComboBox" id="combo_tab_editor">
4517
4621
<property name="visible">True</property>
4622
<property name="can_focus">True</property>
4518
4623
<property name="items" translatable="yes">Left
4519
4624
Right
4520
4625
Top
4677
4782
4678
4783
<child>
4679
4784
<widget class="GtkVBox" id="vbox15">
4785
<property name="border_width">5</property>
4680
4786
<property name="visible">True</property>
4681
4787
<property name="homogeneous">False</property>
4682
4788
<property name="spacing">10</property>
4703
4809
<child>
4704
4810
<widget class="GtkCheckButton" id="check_toolbar_show">
4705
4811
<property name="visible">True</property>
4812
<property name="can_focus">True</property>
4706
4813
<property name="label" translatable="yes">Show Toolbar</property>
4707
4814
<property name="use_underline">True</property>
4708
4815
<property name="relief">GTK_RELIEF_NORMAL</property>
4709
<property name="focus_on_click">False</property>
4816
<property name="focus_on_click">True</property>
4710
4817
<property name="active">False</property>
4711
4818
<property name="inconsistent">False</property>
4712
4819
<property name="draw_indicator">True</property>
4774
4881
<widget class="GtkCheckButton" id="check_toolbar_fileops">
4775
4882
<property name="visible">True</property>
4776
4883
<property name="tooltip" translatable="yes">Display the New, Open, Close, Save and Reload buttons in the toolbar</property>
4884
<property name="can_focus">True</property>
4777
4885
<property name="label" translatable="yes">Show file operation buttons</property>
4778
4886
<property name="use_underline">True</property>
4779
4887
<property name="relief">GTK_RELIEF_NORMAL</property>
4780
<property name="focus_on_click">False</property>
4888
<property name="focus_on_click">True</property>
4781
4889
<property name="active">False</property>
4782
4890
<property name="inconsistent">False</property>
4783
4891
<property name="draw_indicator">True</property>
4793
4901
<widget class="GtkCheckButton" id="check_toolbar_undo">
4794
4902
<property name="visible">True</property>
4795
4903
<property name="tooltip" translatable="yes">Display the Redo and Undo buttons in the toolbar</property>
4904
<property name="can_focus">True</property>
4796
4905
<property name="label" translatable="yes">Show Redo and Undo buttons</property>
4797
4906
<property name="use_underline">True</property>
4798
4907
<property name="relief">GTK_RELIEF_NORMAL</property>
4799
<property name="focus_on_click">False</property>
4908
<property name="focus_on_click">True</property>
4800
4909
<property name="active">False</property>
4801
4910
<property name="inconsistent">False</property>
4802
4911
<property name="draw_indicator">True</property>
4812
4921
<widget class="GtkCheckButton" id="check_toolbar_navigation">
4813
4922
<property name="visible">True</property>
4814
4923
<property name="tooltip" translatable="yes">Display the Back and Forward buttons in the toolbar used for code navigation</property>
4924
<property name="can_focus">True</property>
4815
4925
<property name="label" translatable="yes">Show Back and Forward buttons</property>
4816
4926
<property name="use_underline">True</property>
4817
4927
<property name="relief">GTK_RELIEF_NORMAL</property>
4818
<property name="focus_on_click">False</property>
4928
<property name="focus_on_click">True</property>
4819
4929
<property name="active">False</property>
4820
4930
<property name="inconsistent">False</property>
4821
4931
<property name="draw_indicator">True</property>
4831
4941
<widget class="GtkCheckButton" id="check_toolbar_compile">
4832
4942
<property name="visible">True</property>
4833
4943
<property name="tooltip" translatable="yes">Display the Compile and Run buttons in the toolbar</property>
4944
<property name="can_focus">True</property>
4834
4945
<property name="label" translatable="yes">Show Compile and Run buttons</property>
4835
4946
<property name="use_underline">True</property>
4836
4947
<property name="relief">GTK_RELIEF_NORMAL</property>
4837
<property name="focus_on_click">False</property>
4948
<property name="focus_on_click">True</property>
4838
4949
<property name="active">False</property>
4839
4950
<property name="inconsistent">False</property>
4840
4951
<property name="draw_indicator">True</property>
4850
4961
<widget class="GtkCheckButton" id="check_toolbar_colour">
4851
4962
<property name="visible">True</property>
4852
4963
<property name="tooltip" translatable="yes">Display the Color Chooser button in the toolbar</property>
4964
<property name="can_focus">True</property>
4853
4965
<property name="label" translatable="yes">Show Color Chooser button</property>
4854
4966
<property name="use_underline">True</property>
4855
4967
<property name="relief">GTK_RELIEF_NORMAL</property>
4856
<property name="focus_on_click">False</property>
4968
<property name="focus_on_click">True</property>
4857
4969
<property name="active">False</property>
4858
4970
<property name="inconsistent">False</property>
4859
4971
<property name="draw_indicator">True</property>
4869
4981
<widget class="GtkCheckButton" id="check_toolbar_zoom">
4870
4982
<property name="visible">True</property>
4871
4983
<property name="tooltip" translatable="yes">Display the Zoom In and Zoom Out buttons in the toolbar</property>
4984
<property name="can_focus">True</property>
4872
4985
<property name="label" translatable="yes">Show Zoom In and Zoom Out buttons</property>
4873
4986
<property name="use_underline">True</property>
4874
4987
<property name="relief">GTK_RELIEF_NORMAL</property>
4875
<property name="focus_on_click">False</property>
4988
<property name="focus_on_click">True</property>
4876
4989
<property name="active">False</property>
4877
4990
<property name="inconsistent">False</property>
4878
4991
<property name="draw_indicator">True</property>
4887
5000
<child>
4888
5001
<widget class="GtkCheckButton" id="check_toolbar_indent">
4889
5002
<property name="visible">True</property>
4890
<property name="tooltip" translatable="yes">Display the Zoom In and Zoom Out buttons in the toolbar</property>
5003
<property name="tooltip" translatable="yes">Display the Increase and Decrease Indentation buttons in the toolbar</property>
5004
<property name="can_focus">True</property>
4891
5005
<property name="label" translatable="yes">Show Increase and Decrease Indentation buttons</property>
4892
5006
<property name="use_underline">True</property>
4893
5007
<property name="relief">GTK_RELIEF_NORMAL</property>
4894
<property name="focus_on_click">False</property>
5008
<property name="focus_on_click">True</property>
4895
5009
<property name="active">False</property>
4896
5010
<property name="inconsistent">False</property>
4897
5011
<property name="draw_indicator">True</property>
4907
5021
<widget class="GtkCheckButton" id="check_toolbar_search">
4908
5022
<property name="visible">True</property>
4909
5023
<property name="tooltip" translatable="yes">Display the search field and button in the toolbar</property>
5024
<property name="can_focus">True</property>
4910
5025
<property name="label" translatable="yes">Show Search field</property>
4911
5026
<property name="use_underline">True</property>
4912
5027
<property name="relief">GTK_RELIEF_NORMAL</property>
4913
<property name="focus_on_click">False</property>
5028
<property name="focus_on_click">True</property>
4914
5029
<property name="active">False</property>
4915
5030
<property name="inconsistent">False</property>
4916
5031
<property name="draw_indicator">True</property>
4926
5041
<widget class="GtkCheckButton" id="check_toolbar_goto">
4927
5042
<property name="visible">True</property>
4928
5043
<property name="tooltip" translatable="yes">Display the line number field and button in the toolbar</property>
5044
<property name="can_focus">True</property>
4929
5045
<property name="label" translatable="yes">Show Go to Line field</property>
4930
5046
<property name="use_underline">True</property>
4931
5047
<property name="relief">GTK_RELIEF_NORMAL</property>
4932
<property name="focus_on_click">False</property>
5048
<property name="focus_on_click">True</property>
4933
5049
<property name="active">False</property>
4934
5050
<property name="inconsistent">False</property>
4935
5051
<property name="draw_indicator">True</property>
4945
5061
<widget class="GtkCheckButton" id="check_toolbar_quit">
4946
5062
<property name="visible">True</property>
4947
5063
<property name="tooltip" translatable="yes">Display the quit button in the toolbar</property>
5064
<property name="can_focus">True</property>
4948
5065
<property name="label" translatable="yes">Show Quit button</property>
4949
5066
<property name="use_underline">True</property>
4950
5067
<property name="relief">GTK_RELIEF_NORMAL</property>
4951
<property name="focus_on_click">False</property>
5068
<property name="focus_on_click">True</property>
4952
5069
<property name="active">False</property>
4953
5070
<property name="inconsistent">False</property>
4954
5071
<property name="draw_indicator">True</property>
5255
5372
</child>
5256
5373
5257
5374
<child>
5258
<widget class="GtkVBox" id="vbox24">
5259
<property name="visible">True</property>
5260
<property name="homogeneous">False</property>
5261
<property name="spacing">10</property>
5262
5263
<child>
5264
<widget class="GtkFrame" id="frame5">
5265
<property name="visible">True</property>
5266
<property name="label_xalign">0</property>
5267
<property name="label_yalign">0.5</property>
5268
<property name="shadow_type">GTK_SHADOW_NONE</property>
5269
5270
<child>
5271
<widget class="GtkAlignment" id="alignment6">
5272
<property name="visible">True</property>
5273
<property name="xalign">0.5</property>
5274
<property name="yalign">0.5</property>
5275
<property name="xscale">1</property>
5276
<property name="yscale">1</property>
5277
<property name="top_padding">0</property>
5278
<property name="bottom_padding">5</property>
5279
<property name="left_padding">12</property>
5280
<property name="right_padding">6</property>
5281
5282
<child>
5283
<widget class="GtkVBox" id="vbox12">
5284
<property name="visible">True</property>
5285
<property name="homogeneous">False</property>
5286
<property name="spacing">0</property>
5287
5288
<child>
5289
<widget class="GtkCheckButton" id="checkbutton1">
5290
<property name="tooltip" translatable="yes">Use white text on a black background.</property>
5291
<property name="can_focus">True</property>
5292
<property name="label" translatable="yes">Invert syntax highlighting colors</property>
5293
<property name="use_underline">True</property>
5294
<property name="relief">GTK_RELIEF_NORMAL</property>
5295
<property name="focus_on_click">True</property>
5296
<property name="active">False</property>
5297
<property name="inconsistent">False</property>
5298
<property name="draw_indicator">True</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
5307
<child>
5308
<widget class="GtkCheckButton" id="check_indent">
5309
<property name="visible">True</property>
5310
<property name="tooltip" translatable="yes">Shows small dotted lines to help you to use the right indentation.</property>
5311
<property name="can_focus">True</property>
5312
<property name="label" translatable="yes">Show indentation guides</property>
5313
<property name="use_underline">True</property>
5314
<property name="relief">GTK_RELIEF_NORMAL</property>
5315
<property name="focus_on_click">False</property>
5316
<property name="active">False</property>
5317
<property name="inconsistent">False</property>
5318
<property name="draw_indicator">True</property>
5319
</widget>
5320
<packing>
5321
<property name="padding">0</property>
5322
<property name="expand">False</property>
5323
<property name="fill">False</property>
5324
</packing>
5325
</child>
5326
5327
<child>
5328
<widget class="GtkCheckButton" id="check_white_space">
5329
<property name="visible">True</property>
5330
<property name="tooltip" translatable="yes">Marks spaces with dots and tabs with arrows.</property>
5331
<property name="can_focus">True</property>
5332
<property name="label" translatable="yes">Show white space</property>
5333
<property name="use_underline">True</property>
5334
<property name="relief">GTK_RELIEF_NORMAL</property>
5335
<property name="focus_on_click">False</property>
5336
<property name="active">False</property>
5337
<property name="inconsistent">False</property>
5338
<property name="draw_indicator">True</property>
5339
</widget>
5340
<packing>
5341
<property name="padding">0</property>
5342
<property name="expand">False</property>
5343
<property name="fill">False</property>
5344
</packing>
5345
</child>
5346
5347
<child>
5348
<widget class="GtkCheckButton" id="check_line_end">
5349
<property name="visible">True</property>
5350
<property name="tooltip" translatable="yes">Show the line ending character</property>
5351
<property name="can_focus">True</property>
5352
<property name="label" translatable="yes">Show line endings</property>
5353
<property name="use_underline">True</property>
5354
<property name="relief">GTK_RELIEF_NORMAL</property>
5355
<property name="focus_on_click">False</property>
5356
<property name="active">False</property>
5357
<property name="inconsistent">False</property>
5358
<property name="draw_indicator">True</property>
5359
</widget>
5360
<packing>
5361
<property name="padding">0</property>
5362
<property name="expand">False</property>
5363
<property name="fill">False</property>
5364
</packing>
5365
</child>
5366
</widget>
5367
</child>
5368
</widget>
5369
</child>
5370
5371
<child>
5372
<widget class="GtkLabel" id="label102">
5373
<property name="visible">True</property>
5374
<property name="label" translatable="yes"><b>Display</b></property>
5375
<property name="use_underline">False</property>
5376
<property name="use_markup">True</property>
5377
<property name="justify">GTK_JUSTIFY_LEFT</property>
5378
<property name="wrap">False</property>
5379
<property name="selectable">False</property>
5380
<property name="xalign">0.5</property>
5381
<property name="yalign">0.5</property>
5382
<property name="xpad">0</property>
5383
<property name="ypad">0</property>
5384
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5385
<property name="width_chars">-1</property>
5386
<property name="single_line_mode">False</property>
5387
<property name="angle">0</property>
5388
</widget>
5389
<packing>
5390
<property name="type">label_item</property>
5391
</packing>
5392
</child>
5393
</widget>
5394
<packing>
5395
<property name="padding">0</property>
5396
<property name="expand">False</property>
5397
<property name="fill">True</property>
5398
</packing>
5399
</child>
5400
5401
<child>
5402
<widget class="GtkFrame" id="frame8">
5403
<property name="visible">True</property>
5404
<property name="label_xalign">0</property>
5405
<property name="label_yalign">0.5</property>
5406
<property name="shadow_type">GTK_SHADOW_NONE</property>
5407
5408
<child>
5409
<widget class="GtkAlignment" id="alignment11">
5410
<property name="visible">True</property>
5411
<property name="xalign">0.5</property>
5412
<property name="yalign">0.5</property>
5413
<property name="xscale">1</property>
5414
<property name="yscale">1</property>
5415
<property name="top_padding">0</property>
5416
<property name="bottom_padding">0</property>
5417
<property name="left_padding">12</property>
5418
<property name="right_padding">0</property>
5419
5420
<child>
5421
<widget class="GtkTable" id="table7">
5422
<property name="visible">True</property>
5423
<property name="n_rows">3</property>
5424
<property name="n_columns">2</property>
5425
<property name="homogeneous">False</property>
5426
<property name="row_spacing">3</property>
5427
<property name="column_spacing">24</property>
5428
5429
<child>
5430
<widget class="GtkLabel" id="label133">
5431
<property name="visible">True</property>
5432
<property name="label" translatable="yes">Long line marker:</property>
5433
<property name="use_underline">False</property>
5434
<property name="use_markup">False</property>
5435
<property name="justify">GTK_JUSTIFY_LEFT</property>
5436
<property name="wrap">False</property>
5437
<property name="selectable">False</property>
5438
<property name="xalign">0</property>
5439
<property name="yalign">0.5</property>
5440
<property name="xpad">0</property>
5441
<property name="ypad">0</property>
5442
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5443
<property name="width_chars">-1</property>
5444
<property name="single_line_mode">False</property>
5445
<property name="angle">0</property>
5446
</widget>
5447
<packing>
5448
<property name="left_attach">0</property>
5449
<property name="right_attach">1</property>
5450
<property name="top_attach">1</property>
5451
<property name="bottom_attach">2</property>
5452
<property name="x_options">fill</property>
5453
<property name="y_options"></property>
5454
</packing>
5455
</child>
5456
5457
<child>
5458
<widget class="GtkLabel" id="label134">
5459
<property name="visible">True</property>
5460
<property name="label" translatable="yes">Long line marker color:</property>
5461
<property name="use_underline">False</property>
5462
<property name="use_markup">False</property>
5463
<property name="justify">GTK_JUSTIFY_LEFT</property>
5464
<property name="wrap">False</property>
5465
<property name="selectable">False</property>
5466
<property name="xalign">0</property>
5467
<property name="yalign">0.5</property>
5468
<property name="xpad">0</property>
5469
<property name="ypad">0</property>
5470
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5471
<property name="width_chars">-1</property>
5472
<property name="single_line_mode">False</property>
5473
<property name="angle">0</property>
5474
</widget>
5475
<packing>
5476
<property name="left_attach">0</property>
5477
<property name="right_attach">1</property>
5478
<property name="top_attach">2</property>
5479
<property name="bottom_attach">3</property>
5480
<property name="x_options">fill</property>
5481
<property name="y_options"></property>
5482
</packing>
5483
</child>
5484
5485
<child>
5486
<widget class="GtkLabel" id="label156">
5487
<property name="visible">True</property>
5488
<property name="label" translatable="yes">Type:</property>
5489
<property name="use_underline">False</property>
5490
<property name="use_markup">False</property>
5491
<property name="justify">GTK_JUSTIFY_LEFT</property>
5492
<property name="wrap">False</property>
5493
<property name="selectable">False</property>
5494
<property name="xalign">0</property>
5495
<property name="yalign">0.5</property>
5496
<property name="xpad">0</property>
5497
<property name="ypad">0</property>
5498
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5499
<property name="width_chars">-1</property>
5500
<property name="single_line_mode">False</property>
5501
<property name="angle">0</property>
5502
</widget>
5503
<packing>
5504
<property name="left_attach">0</property>
5505
<property name="right_attach">1</property>
5506
<property name="top_attach">0</property>
5507
<property name="bottom_attach">1</property>
5508
<property name="x_options">fill</property>
5509
<property name="y_options"></property>
5510
</packing>
5511
</child>
5512
5513
<child>
5514
<widget class="GtkColorButton" id="long_line_color">
5515
<property name="visible">True</property>
5516
<property name="tooltip" translatable="yes">Sets the color of the long line marker</property>
5517
<property name="can_focus">True</property>
5518
<property name="use_alpha">False</property>
5519
<property name="title" translatable="yes">Color Chooser</property>
5520
<property name="focus_on_click">True</property>
5521
</widget>
5522
<packing>
5523
<property name="left_attach">1</property>
5524
<property name="right_attach">2</property>
5525
<property name="top_attach">2</property>
5526
<property name="bottom_attach">3</property>
5527
<property name="x_options">fill</property>
5528
<property name="y_options"></property>
5529
</packing>
5530
</child>
5531
5532
<child>
5533
<widget class="GtkSpinButton" id="spin_long_line">
5534
<property name="visible">True</property>
5535
<property name="tooltip" translatable="yes">The long line marker is a thin vertical line in the editor. It helps to mark long lines, or as a hint to break the line. Set this value to a value greater than 0 to specify the column where it should appear.</property>
5536
<property name="can_focus">True</property>
5537
<property name="climb_rate">1</property>
5538
<property name="digits">0</property>
5539
<property name="numeric">True</property>
5540
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
5541
<property name="snap_to_ticks">False</property>
5542
<property name="wrap">True</property>
5543
<property name="adjustment">72 0 1000 1 10 10</property>
5544
</widget>
5545
<packing>
5546
<property name="left_attach">1</property>
5547
<property name="right_attach">2</property>
5548
<property name="top_attach">1</property>
5549
<property name="bottom_attach">2</property>
5550
<property name="x_options">fill</property>
5551
<property name="y_options"></property>
5552
</packing>
5553
</child>
5554
5555
<child>
5556
<widget class="GtkHBox" id="hbox5">
5557
<property name="visible">True</property>
5558
<property name="homogeneous">False</property>
5559
<property name="spacing">12</property>
5560
5561
<child>
5562
<widget class="GtkRadioButton" id="radio_long_line_line">
5563
<property name="visible">True</property>
5564
<property name="tooltip" translatable="yes">Prints a vertical line in the editor window at the given cursor position (see below).</property>
5565
<property name="can_focus">True</property>
5566
<property name="label" translatable="yes">Line</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
</widget>
5574
<packing>
5575
<property name="padding">0</property>
5576
<property name="expand">False</property>
5577
<property name="fill">False</property>
5578
</packing>
5579
</child>
5580
5581
<child>
5582
<widget class="GtkRadioButton" id="radio_long_line_background">
5583
<property name="visible">True</property>
5584
<property name="tooltip" translatable="yes">The background color of characters after the given cursor position (see below) changed to the color set below. (This is recommended if you use proportional fonts)</property>
5585
<property name="can_focus">True</property>
5586
<property name="label" translatable="yes">Background</property>
5587
<property name="use_underline">True</property>
5588
<property name="relief">GTK_RELIEF_NORMAL</property>
5589
<property name="focus_on_click">True</property>
5590
<property name="active">False</property>
5591
<property name="inconsistent">False</property>
5592
<property name="draw_indicator">True</property>
5593
<property name="group">radio_long_line_line</property>
5594
</widget>
5595
<packing>
5596
<property name="padding">0</property>
5597
<property name="expand">False</property>
5598
<property name="fill">False</property>
5599
</packing>
5600
</child>
5601
5602
<child>
5603
<widget class="GtkRadioButton" id="radio_long_line_disabled">
5604
<property name="visible">True</property>
5605
<property name="can_focus">True</property>
5606
<property name="label" translatable="yes">Disabled</property>
5607
<property name="use_underline">True</property>
5608
<property name="relief">GTK_RELIEF_NORMAL</property>
5609
<property name="focus_on_click">True</property>
5610
<property name="active">False</property>
5611
<property name="inconsistent">False</property>
5612
<property name="draw_indicator">True</property>
5613
<property name="group">radio_long_line_line</property>
5614
</widget>
5615
<packing>
5616
<property name="padding">0</property>
5617
<property name="expand">False</property>
5618
<property name="fill">False</property>
5619
</packing>
5620
</child>
5621
</widget>
5622
<packing>
5623
<property name="left_attach">1</property>
5624
<property name="right_attach">2</property>
5625
<property name="top_attach">0</property>
5626
<property name="bottom_attach">1</property>
5627
<property name="x_options">fill</property>
5628
<property name="y_options">fill</property>
5629
</packing>
5630
</child>
5631
</widget>
5632
</child>
5633
</widget>
5634
</child>
5635
5636
<child>
5637
<widget class="GtkLabel" id="label155">
5638
<property name="visible">True</property>
5639
<property name="label" translatable="yes"><b>Long line marker</b></property>
5640
<property name="use_underline">False</property>
5641
<property name="use_markup">True</property>
5642
<property name="justify">GTK_JUSTIFY_LEFT</property>
5643
<property name="wrap">False</property>
5644
<property name="selectable">False</property>
5645
<property name="xalign">0.5</property>
5646
<property name="yalign">0.5</property>
5647
<property name="xpad">0</property>
5648
<property name="ypad">0</property>
5649
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5650
<property name="width_chars">-1</property>
5651
<property name="single_line_mode">False</property>
5652
<property name="angle">0</property>
5653
</widget>
5654
<packing>
5655
<property name="type">label_item</property>
5656
</packing>
5657
</child>
5658
</widget>
5659
<packing>
5660
<property name="padding">0</property>
5661
<property name="expand">True</property>
5662
<property name="fill">True</property>
5663
</packing>
5664
</child>
5665
</widget>
5666
<packing>
5667
<property name="tab_expand">False</property>
5668
<property name="tab_fill">True</property>
5669
</packing>
5670
</child>
5671
5672
<child>
5673
<widget class="GtkLabel" id="label194">
5674
<property name="visible">True</property>
5675
<property name="label" translatable="yes">Display</property>
5676
<property name="use_underline">False</property>
5677
<property name="use_markup">False</property>
5678
<property name="justify">GTK_JUSTIFY_LEFT</property>
5679
<property name="wrap">False</property>
5680
<property name="selectable">False</property>
5681
<property name="xalign">0.5</property>
5682
<property name="yalign">0.5</property>
5683
<property name="xpad">0</property>
5684
<property name="ypad">0</property>
5685
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5686
<property name="width_chars">-1</property>
5687
<property name="single_line_mode">False</property>
5688
<property name="angle">0</property>
5689
</widget>
5690
<packing>
5691
<property name="type">tab</property>
5692
</packing>
5693
</child>
5694
5695
<child>
5696
<widget class="GtkVBox" id="vbox5">
5697
<property name="visible">True</property>
5698
<property name="homogeneous">False</property>
5699
<property name="spacing">10</property>
5700
5701
<child>
5702
<widget class="GtkFrame" id="frame27">
5703
<property name="visible">True</property>
5704
<property name="label_xalign">0</property>
5705
<property name="label_yalign">0.5</property>
5706
<property name="shadow_type">GTK_SHADOW_NONE</property>
5707
5708
<child>
5709
<widget class="GtkAlignment" id="alignment30">
5710
<property name="visible">True</property>
5711
<property name="xalign">0.5</property>
5712
<property name="yalign">0.5</property>
5713
<property name="xscale">1</property>
5714
<property name="yscale">1</property>
5715
<property name="top_padding">0</property>
5716
<property name="bottom_padding">0</property>
5717
<property name="left_padding">12</property>
5718
<property name="right_padding">0</property>
5719
5720
<child>
5721
<widget class="GtkVBox" id="vbox25">
5722
<property name="visible">True</property>
5723
<property name="homogeneous">False</property>
5724
<property name="spacing">0</property>
5725
5726
<child>
5727
<widget class="GtkTable" id="table13">
5728
<property name="visible">True</property>
5729
<property name="n_rows">4</property>
5730
<property name="n_columns">2</property>
5731
<property name="homogeneous">False</property>
5732
<property name="row_spacing">3</property>
5733
<property name="column_spacing">24</property>
5734
5735
<child>
5736
<widget class="GtkLabel" id="label183">
5737
<property name="visible">True</property>
5738
<property name="label" translatable="yes">Auto-indent mode:</property>
5739
<property name="use_underline">False</property>
5740
<property name="use_markup">False</property>
5741
<property name="justify">GTK_JUSTIFY_LEFT</property>
5742
<property name="wrap">False</property>
5743
<property name="selectable">False</property>
5744
<property name="xalign">0.5</property>
5745
<property name="yalign">0.5</property>
5746
<property name="xpad">0</property>
5747
<property name="ypad">0</property>
5748
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5749
<property name="width_chars">-1</property>
5750
<property name="single_line_mode">False</property>
5751
<property name="angle">0</property>
5752
</widget>
5753
<packing>
5754
<property name="left_attach">0</property>
5755
<property name="right_attach">1</property>
5756
<property name="top_attach">3</property>
5757
<property name="bottom_attach">4</property>
5758
<property name="x_options">fill</property>
5759
<property name="y_options"></property>
5760
</packing>
5761
</child>
5762
5763
<child>
5764
<widget class="GtkComboBox" id="combo_auto_indent_mode">
5765
<property name="visible">True</property>
5766
<property name="items" translatable="yes">None
5375
<widget class="GtkNotebook" id="notebook4">
5376
<property name="visible">True</property>
5377
<property name="show_tabs">True</property>
5378
<property name="show_border">True</property>
5379
<property name="tab_pos">GTK_POS_TOP</property>
5380
<property name="scrollable">False</property>
5381
<property name="enable_popup">False</property>
5382
5383
<child>
5384
<widget class="GtkVBox" id="vbox5">
5385
<property name="border_width">5</property>
5386
<property name="visible">True</property>
5387
<property name="homogeneous">False</property>
5388
<property name="spacing">10</property>
5389
5390
<child>
5391
<widget class="GtkFrame" id="frame27">
5392
<property name="visible">True</property>
5393
<property name="label_xalign">0</property>
5394
<property name="label_yalign">0.5</property>
5395
<property name="shadow_type">GTK_SHADOW_NONE</property>
5396
5397
<child>
5398
<widget class="GtkAlignment" id="alignment30">
5399
<property name="visible">True</property>
5400
<property name="xalign">0.5</property>
5401
<property name="yalign">0.5</property>
5402
<property name="xscale">1</property>
5403
<property name="yscale">1</property>
5404
<property name="top_padding">0</property>
5405
<property name="bottom_padding">0</property>
5406
<property name="left_padding">12</property>
5407
<property name="right_padding">0</property>
5408
5409
<child>
5410
<widget class="GtkVBox" id="vbox25">
5411
<property name="visible">True</property>
5412
<property name="homogeneous">False</property>
5413
<property name="spacing">0</property>
5414
5415
<child>
5416
<widget class="GtkTable" id="table13">
5417
<property name="visible">True</property>
5418
<property name="n_rows">7</property>
5419
<property name="n_columns">2</property>
5420
<property name="homogeneous">False</property>
5421
<property name="row_spacing">3</property>
5422
<property name="column_spacing">24</property>
5423
5424
<child>
5425
<widget class="GtkLabel" id="label183">
5426
<property name="visible">True</property>
5427
<property name="label" translatable="yes">Auto-indent mode:</property>
5428
<property name="use_underline">False</property>
5429
<property name="use_markup">False</property>
5430
<property name="justify">GTK_JUSTIFY_LEFT</property>
5431
<property name="wrap">False</property>
5432
<property name="selectable">False</property>
5433
<property name="xalign">0</property>
5434
<property name="yalign">0.5</property>
5435
<property name="xpad">0</property>
5436
<property name="ypad">0</property>
5437
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5438
<property name="width_chars">-1</property>
5439
<property name="single_line_mode">False</property>
5440
<property name="angle">0</property>
5441
</widget>
5442
<packing>
5443
<property name="left_attach">0</property>
5444
<property name="right_attach">1</property>
5445
<property name="top_attach">6</property>
5446
<property name="bottom_attach">7</property>
5447
<property name="x_options">fill</property>
5448
<property name="y_options"></property>
5449
</packing>
5450
</child>
5451
5452
<child>
5453
<widget class="GtkComboBox" id="combo_auto_indent_mode">
5454
<property name="visible">True</property>
5455
<property name="items" translatable="yes">None
5767
5456
Basic
5768
5457
Current chars
5769
5458
Match braces</property>
5770
<property name="add_tearoffs">False</property>
5771
<property name="focus_on_click">True</property>
5772
</widget>
5773
<packing>
5774
<property name="left_attach">1</property>
5775
<property name="right_attach">2</property>
5776
<property name="top_attach">3</property>
5777
<property name="bottom_attach">4</property>
5778
<property name="x_options">fill</property>
5779
<property name="y_options">fill</property>
5780
</packing>
5781
</child>
5782
5783
<child>
5784
<widget class="GtkSpinButton" id="spin_tab_width">
5785
<property name="visible">True</property>
5786
<property name="tooltip" translatable="yes">The width in chars, which one tab character will take</property>
5787
<property name="can_focus">True</property>
5788
<property name="climb_rate">1</property>
5789
<property name="digits">0</property>
5790
<property name="numeric">True</property>
5791
<property name="update_policy">GTK_UPDATE_IF_VALID</property>
5792
<property name="snap_to_ticks">False</property>
5793
<property name="wrap">True</property>
5794
<property name="adjustment">1 1 99 1 10 10</property>
5795
</widget>
5796
<packing>
5797
<property name="left_attach">1</property>
5798
<property name="right_attach">2</property>
5799
<property name="top_attach">2</property>
5800
<property name="bottom_attach">3</property>
5801
<property name="x_options">fill</property>
5802
<property name="y_options"></property>
5803
</packing>
5804
</child>
5805
5806
<child>
5807
<widget class="GtkLabel" id="label116">
5808
<property name="visible">True</property>
5809
<property name="label" translatable="yes">Tab width:</property>
5810
<property name="use_underline">False</property>
5811
<property name="use_markup">False</property>
5812
<property name="justify">GTK_JUSTIFY_LEFT</property>
5813
<property name="wrap">False</property>
5814
<property name="selectable">False</property>
5815
<property name="xalign">0</property>
5816
<property name="yalign">0.5</property>
5817
<property name="xpad">0</property>
5818
<property name="ypad">0</property>
5819
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5820
<property name="width_chars">-1</property>
5821
<property name="single_line_mode">False</property>
5822
<property name="angle">0</property>
5823
</widget>
5824
<packing>
5825
<property name="left_attach">0</property>
5826
<property name="right_attach">1</property>
5827
<property name="top_attach">2</property>
5828
<property name="bottom_attach">3</property>
5829
<property name="x_options">fill</property>
5830
<property name="y_options"></property>
5831
</packing>
5832
</child>
5833
5834
<child>
5835
<widget class="GtkHBox" id="hbox8">
5836
<property name="visible">True</property>
5837
<property name="homogeneous">False</property>
5838
<property name="spacing">12</property>
5459
<property name="add_tearoffs">False</property>
5460
<property name="focus_on_click">True</property>
5461
</widget>
5462
<packing>
5463
<property name="left_attach">1</property>
5464
<property name="right_attach">2</property>
5465
<property name="top_attach">6</property>
5466
<property name="bottom_attach">7</property>
5467
<property name="x_options">fill</property>
5468
<property name="y_options">fill</property>
5469
</packing>
5470
</child>
5471
5472
<child>
5473
<widget class="GtkLabel" id="label200">
5474
<property name="visible">True</property>
5475
<property name="label" translatable="yes">Type:</property>
5476
<property name="use_underline">False</property>
5477
<property name="use_markup">False</property>
5478
<property name="justify">GTK_JUSTIFY_LEFT</property>
5479
<property name="wrap">False</property>
5480
<property name="selectable">False</property>
5481
<property name="xalign">0</property>
5482
<property name="yalign">0.5</property>
5483
<property name="xpad">0</property>
5484
<property name="ypad">0</property>
5485
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5486
<property name="width_chars">-1</property>
5487
<property name="single_line_mode">False</property>
5488
<property name="angle">0</property>
5489
</widget>
5490
<packing>
5491
<property name="left_attach">0</property>
5492
<property name="right_attach">1</property>
5493
<property name="top_attach">1</property>
5494
<property name="bottom_attach">2</property>
5495
<property name="x_options">fill</property>
5496
<property name="y_options"></property>
5497
</packing>
5498
</child>
5499
5500
<child>
5501
<widget class="GtkLabel" id="label222">
5502
<property name="visible">True</property>
5503
<property name="label" translatable="yes">Width:</property>
5504
<property name="use_underline">False</property>
5505
<property name="use_markup">False</property>
5506
<property name="justify">GTK_JUSTIFY_LEFT</property>
5507
<property name="wrap">False</property>
5508
<property name="selectable">False</property>
5509
<property name="xalign">0</property>
5510
<property name="yalign">0.5</property>
5511
<property name="xpad">0</property>
5512
<property name="ypad">0</property>
5513
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5514
<property name="width_chars">-1</property>
5515
<property name="single_line_mode">False</property>
5516
<property name="angle">0</property>
5517
</widget>
5518
<packing>
5519
<property name="left_attach">0</property>
5520
<property name="right_attach">1</property>
5521
<property name="top_attach">0</property>
5522
<property name="bottom_attach">1</property>
5523
<property name="x_options">fill</property>
5524
<property name="y_options"></property>
5525
</packing>
5526
</child>
5527
5528
<child>
5529
<widget class="GtkSpinButton" id="spin_indent_width">
5530
<property name="visible">True</property>
5531
<property name="tooltip" translatable="yes">The width in chars of a single indent</property>
5532
<property name="can_focus">True</property>
5533
<property name="climb_rate">1</property>
5534
<property name="digits">0</property>
5535
<property name="numeric">True</property>
5536
<property name="update_policy">GTK_UPDATE_IF_VALID</property>
5537
<property name="snap_to_ticks">False</property>
5538
<property name="wrap">True</property>
5539
<property name="adjustment">1 1 99 1 10 0</property>
5540
</widget>
5541
<packing>
5542
<property name="left_attach">1</property>
5543
<property name="right_attach">2</property>
5544
<property name="top_attach">0</property>
5545
<property name="bottom_attach">1</property>
5546
<property name="y_options"></property>
5547
</packing>
5548
</child>
5549
5550
<child>
5551
<widget class="GtkRadioButton" id="radio_indent_spaces">
5552
<property name="visible">True</property>
5553
<property name="tooltip" translatable="yes">Use spaces when inserting indentation</property>
5554
<property name="can_focus">True</property>
5555
<property name="label" translatable="yes">_Spaces</property>
5556
<property name="use_underline">True</property>
5557
<property name="relief">GTK_RELIEF_NORMAL</property>
5558
<property name="focus_on_click">True</property>
5559
<property name="active">False</property>
5560
<property name="inconsistent">False</property>
5561
<property name="draw_indicator">True</property>
5562
</widget>
5563
<packing>
5564
<property name="left_attach">1</property>
5565
<property name="right_attach">2</property>
5566
<property name="top_attach">2</property>
5567
<property name="bottom_attach">3</property>
5568
<property name="x_options">fill</property>
5569
<property name="y_options"></property>
5570
</packing>
5571
</child>
5839
5572
5840
5573
<child>
5841
5574
<widget class="GtkRadioButton" id="radio_indent_tabs">
5842
5575
<property name="visible">True</property>
5843
<property name="tooltip" translatable="yes">Whether to use tabs or spaces when indentation is inserted.</property>
5576
<property name="tooltip" translatable="yes">Use one tab per indent</property>
5844
5577
<property name="can_focus">True</property>
5845
5578
<property name="label" translatable="yes">_Tabs</property>
5846
5579
<property name="use_underline">True</property>
5849
5582
<property name="active">False</property>
5850
5583
<property name="inconsistent">False</property>
5851
5584
<property name="draw_indicator">True</property>
5852
</widget>
5853
<packing>
5854
<property name="padding">0</property>
5855
<property name="expand">False</property>
5856
<property name="fill">False</property>
5857
</packing>
5858
</child>
5859
5860
<child>
5861
<widget class="GtkRadioButton" id="radio_indent_spaces">
5862
<property name="visible">True</property>
5863
<property name="tooltip" translatable="yes">Whether to use tabs or spaces when indentation is inserted.</property>
5864
<property name="can_focus">True</property>
5865
<property name="label" translatable="yes">_Spaces</property>
5866
<property name="use_underline">True</property>
5867
<property name="relief">GTK_RELIEF_NORMAL</property>
5868
<property name="focus_on_click">True</property>
5869
<property name="active">False</property>
5870
<property name="inconsistent">False</property>
5871
<property name="draw_indicator">True</property>
5872
<property name="group">radio_indent_tabs</property>
5873
</widget>
5874
<packing>
5875
<property name="padding">0</property>
5876
<property name="expand">False</property>
5877
<property name="fill">False</property>
5878
</packing>
5879
</child>
5880
</widget>
5881
<packing>
5882
<property name="left_attach">1</property>
5883
<property name="right_attach">2</property>
5884
<property name="top_attach">0</property>
5885
<property name="bottom_attach">1</property>
5886
<property name="x_options">fill</property>
5887
</packing>
5888
</child>
5889
5890
<child>
5891
<widget class="GtkLabel" id="label200">
5892
<property name="visible">True</property>
5893
<property name="label" translatable="yes">Type:</property>
5894
<property name="use_underline">False</property>
5895
<property name="use_markup">False</property>
5896
<property name="justify">GTK_JUSTIFY_LEFT</property>
5897
<property name="wrap">False</property>
5898
<property name="selectable">False</property>
5899
<property name="xalign">0</property>
5900
<property name="yalign">0.5</property>
5901
<property name="xpad">0</property>
5902
<property name="ypad">0</property>
5903
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5904
<property name="width_chars">-1</property>
5905
<property name="single_line_mode">False</property>
5906
<property name="angle">0</property>
5907
</widget>
5908
<packing>
5909
<property name="left_attach">0</property>
5910
<property name="right_attach">1</property>
5911
<property name="top_attach">0</property>
5912
<property name="bottom_attach">1</property>
5913
<property name="x_options">fill</property>
5914
<property name="y_options"></property>
5915
</packing>
5916
</child>
5917
5918
<child>
5919
<widget class="GtkCheckButton" id="check_detect_indent">
5920
<property name="visible">True</property>
5921
<property name="tooltip" translatable="yes">Whether to detect the indentation type from file contents when a file is opened.</property>
5585
<property name="group">radio_indent_spaces</property>
5586
</widget>
5587
<packing>
5588
<property name="left_attach">1</property>
5589
<property name="right_attach">2</property>
5590
<property name="top_attach">1</property>
5591
<property name="bottom_attach">2</property>
5592
<property name="x_options">fill</property>
5593
<property name="y_options"></property>
5594
</packing>
5595
</child>
5596
5597
<child>
5598
<widget class="GtkRadioButton" id="radio_indent_both">
5599
<property name="visible">True</property>
5600
<property name="tooltip" translatable="yes">Use spaces if the total indent is less than the tab width, otherwise use both</property>
5601
<property name="can_focus">True</property>
5602
<property name="label" translatable="yes">T_abs and Spaces</property>
5603
<property name="use_underline">True</property>
5604
<property name="relief">GTK_RELIEF_NORMAL</property>
5605
<property name="focus_on_click">True</property>
5606
<property name="active">False</property>
5607
<property name="inconsistent">False</property>
5608
<property name="draw_indicator">True</property>
5609
<property name="group">radio_indent_spaces</property>
5610
</widget>
5611
<packing>
5612
<property name="left_attach">1</property>
5613
<property name="right_attach">2</property>
5614
<property name="top_attach">3</property>
5615
<property name="bottom_attach">4</property>
5616
<property name="x_options">fill</property>
5617
<property name="y_options"></property>
5618
</packing>
5619
</child>
5620
5621
<child>
5622
<widget class="GtkAlignment" id="alignment41">
5623
<property name="visible">True</property>
5624
<property name="xalign">0.5</property>
5625
<property name="yalign">0.5</property>
5626
<property name="xscale">1</property>
5627
<property name="yscale">1</property>
5628
<property name="top_padding">0</property>
5629
<property name="bottom_padding">0</property>
5630
<property name="left_padding">24</property>
5631
<property name="right_padding">0</property>
5632
5633
<child>
5634
<widget class="GtkHBox" id="hbox13">
5635
<property name="visible">True</property>
5636
<property name="homogeneous">False</property>
5637
<property name="spacing">12</property>
5638
5639
<child>
5640
<widget class="GtkLabel" id="label221">
5641
<property name="visible">True</property>
5642
<property name="label" translatable="yes">Hard tab width:</property>
5643
<property name="use_underline">False</property>
5644
<property name="use_markup">False</property>
5645
<property name="justify">GTK_JUSTIFY_LEFT</property>
5646
<property name="wrap">False</property>
5647
<property name="selectable">False</property>
5648
<property name="xalign">0.5</property>
5649
<property name="yalign">0.5</property>
5650
<property name="xpad">0</property>
5651
<property name="ypad">0</property>
5652
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5653
<property name="width_chars">-1</property>
5654
<property name="single_line_mode">False</property>
5655
<property name="angle">0</property>
5656
</widget>
5657
<packing>
5658
<property name="padding">0</property>
5659
<property name="expand">False</property>
5660
<property name="fill">False</property>
5661
</packing>
5662
</child>
5663
5664
<child>
5665
<widget class="GtkSpinButton" id="spin_tab_width">
5666
<property name="visible">True</property>
5667
<property name="tooltip" translatable="yes">The width of a tab when Tabs & Spaces is set for a document</property>
5668
<property name="can_focus">True</property>
5669
<property name="climb_rate">1</property>
5670
<property name="digits">0</property>
5671
<property name="numeric">True</property>
5672
<property name="update_policy">GTK_UPDATE_IF_VALID</property>
5673
<property name="snap_to_ticks">False</property>
5674
<property name="wrap">True</property>
5675
<property name="adjustment">8 1 99 1 10 0</property>
5676
</widget>
5677
<packing>
5678
<property name="padding">0</property>
5679
<property name="expand">True</property>
5680
<property name="fill">True</property>
5681
</packing>
5682
</child>
5683
</widget>
5684
</child>
5685
</widget>
5686
<packing>
5687
<property name="left_attach">1</property>
5688
<property name="right_attach">2</property>
5689
<property name="top_attach">4</property>
5690
<property name="bottom_attach">5</property>
5691
<property name="x_options">fill</property>
5692
</packing>
5693
</child>
5694
5695
<child>
5696
<widget class="GtkCheckButton" id="check_detect_indent">
5697
<property name="visible">True</property>
5698
<property name="tooltip" translatable="yes">Whether to detect the indentation type from file contents when a file is opened.</property>
5699
<property name="can_focus">True</property>
5700
<property name="label" translatable="yes">Detect from file</property>
5701
<property name="use_underline">True</property>
5702
<property name="relief">GTK_RELIEF_NORMAL</property>
5703
<property name="focus_on_click">True</property>
5704
<property name="active">False</property>
5705
<property name="inconsistent">False</property>
5706
<property name="draw_indicator">True</property>
5707
</widget>
5708
<packing>
5709
<property name="left_attach">1</property>
5710
<property name="right_attach">2</property>
5711
<property name="top_attach">5</property>
5712
<property name="bottom_attach">6</property>
5713
<property name="x_options">fill</property>
5714
<property name="y_options"></property>
5715
</packing>
5716
</child>
5717
</widget>
5718
<packing>
5719
<property name="padding">0</property>
5720
<property name="expand">False</property>
5721
<property name="fill">True</property>
5722
</packing>
5723
</child>
5724
5725
<child>
5726
<widget class="GtkCheckButton" id="check_tab_key_indents">
5727
<property name="visible">True</property>
5728
<property name="tooltip" translatable="yes">Pressing tab/shift-tab indents/unindents instead of inserting a tab character.</property>
5922
5729
<property name="can_focus">True</property>
5923
<property name="label" translatable="yes">Detect from file</property>
5730
<property name="label" translatable="yes">Tab key indents</property>
5924
5731
<property name="use_underline">True</property>
5925
5732
<property name="relief">GTK_RELIEF_NORMAL</property>
5926
5733
<property name="focus_on_click">True</property>
5929
5736
<property name="draw_indicator">True</property>
5930
5737
</widget>
5931
5738
<packing>
5932
<property name="left_attach">1</property>
5933
<property name="right_attach">2</property>
5934
<property name="top_attach">1</property>
5935
<property name="bottom_attach">2</property>
5936
<property name="x_options">fill</property>
5937
<property name="y_options"></property>
5739
<property name="padding">0</property>
5740
<property name="expand">False</property>
5741
<property name="fill">False</property>
5938
5742
</packing>
5939
5743
</child>
5940
5744
</widget>
5941
<packing>
5942
<property name="padding">0</property>
5943
<property name="expand">False</property>
5944
<property name="fill">True</property>
5945
</packing>
5946
5745
</child>
5947
5746
</widget>
5948
5747
</child>
5748
5749
<child>
5750
<widget class="GtkLabel" id="label195">
5751
<property name="visible">True</property>
5752
<property name="label" translatable="yes"><b>Indentation</b></property>
5753
<property name="use_underline">False</property>
5754
<property name="use_markup">True</property>
5755
<property name="justify">GTK_JUSTIFY_LEFT</property>
5756
<property name="wrap">False</property>
5757
<property name="selectable">False</property>
5758
<property name="xalign">0.5</property>
5759
<property name="yalign">0.5</property>
5760
<property name="xpad">0</property>
5761
<property name="ypad">0</property>
5762
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5763
<property name="width_chars">-1</property>
5764
<property name="single_line_mode">False</property>
5765
<property name="angle">0</property>
5766
</widget>
5767
<packing>
5768
<property name="type">label_item</property>
5769
</packing>
5770
</child>
5949
5771
</widget>
5772
<packing>
5773
<property name="padding">0</property>
5774
<property name="expand">False</property>
5775
<property name="fill">True</property>
5776
</packing>
5950
5777
</child>
5951
5778
5952
5779
<child>
5953
<widget class="GtkLabel" id="label195">
5780
<widget class="GtkFrame" id="frame14">
5954
5781
<property name="visible">True</property>
5955
<property name="label" translatable="yes"><b>Indentation</b></property>
5956
<property name="use_underline">False</property>
5957
<property name="use_markup">True</property>
5958
<property name="justify">GTK_JUSTIFY_LEFT</property>
5959
<property name="wrap">False</property>
5960
<property name="selectable">False</property>
5961
<property name="xalign">0.5</property>
5962
<property name="yalign">0.5</property>
5963
<property name="xpad">0</property>
5964
<property name="ypad">0</property>
5965
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5966
<property name="width_chars">-1</property>
5967
<property name="single_line_mode">False</property>
5968
<property name="angle">0</property>
5782
<property name="label_xalign">0</property>
5783
<property name="label_yalign">0.5</property>
5784
<property name="shadow_type">GTK_SHADOW_NONE</property>
5785
5786
<child>
5787
<widget class="GtkAlignment" id="alignment17">
5788
<property name="visible">True</property>
5789
<property name="xalign">0.5</property>
5790
<property name="yalign">0.5</property>
5791
<property name="xscale">1</property>
5792
<property name="yscale">1</property>
5793
<property name="top_padding">0</property>
5794
<property name="bottom_padding">0</property>
5795
<property name="left_padding">12</property>
5796
<property name="right_padding">0</property>
5797
5798
<child>
5799
<widget class="GtkVBox" id="vbox17">
5800
<property name="visible">True</property>
5801
<property name="homogeneous">False</property>
5802
<property name="spacing">0</property>
5803
5804
<child>
5805
<widget class="GtkCheckButton" id="check_line_wrapping">
5806
<property name="visible">True</property>
5807
<property name="tooltip" translatable="yes">Wrap the line at the window border and continue it on the next line. Note: line wrapping has a high performance cost for large documents so should be disabled on slow machines.</property>
5808
<property name="can_focus">True</property>
5809
<property name="label" translatable="yes">Line wrapping</property>
5810
<property name="use_underline">True</property>
5811
<property name="relief">GTK_RELIEF_NORMAL</property>
5812
<property name="focus_on_click">True</property>
5813
<property name="active">False</property>
5814
<property name="inconsistent">False</property>
5815
<property name="draw_indicator">True</property>
5816
</widget>
5817
<packing>
5818
<property name="padding">0</property>
5819
<property name="expand">False</property>
5820
<property name="fill">False</property>
5821
</packing>
5822
</child>
5823
5824
<child>
5825
<widget class="GtkCheckButton" id="check_smart_home">
5826
<property name="visible">True</property>
5827
<property name="tooltip" translatable="yes">When "smart" home is enabled, the HOME key will move the caret to the first non-blank character of the line, unless it is already there, it moves to the very beginning of the line. When this feature is disabled, the HOME key always moves the caret to the start of the current line, regardless of its current position.</property>
5828
<property name="can_focus">True</property>
5829
<property name="label" translatable="yes">Enable "smart" home key</property>
5830
<property name="use_underline">True</property>
5831
<property name="relief">GTK_RELIEF_NORMAL</property>
5832
<property name="focus_on_click">True</property>
5833
<property name="active">False</property>
5834
<property name="inconsistent">False</property>
5835
<property name="draw_indicator">True</property>
5836
</widget>
5837
<packing>
5838
<property name="padding">0</property>
5839
<property name="expand">False</property>
5840
<property name="fill">False</property>
5841
</packing>
5842
</child>
5843
5844
<child>
5845
<widget class="GtkCheckButton" id="check_disable_dnd">
5846
<property name="visible">True</property>
5847
<property name="tooltip" translatable="yes">Disable drag and drop completely in the editor window so you can't drag and drop any selections within or outside of the editor window.</property>
5848
<property name="can_focus">True</property>
5849
<property name="label" translatable="yes">Disable Drag and Drop</property>
5850
<property name="use_underline">True</property>
5851
<property name="relief">GTK_RELIEF_NORMAL</property>
5852
<property name="focus_on_click">True</property>
5853
<property name="active">False</property>
5854
<property name="inconsistent">False</property>
5855
<property name="draw_indicator">True</property>
5856
</widget>
5857
<packing>
5858
<property name="padding">0</property>
5859
<property name="expand">False</property>
5860
<property name="fill">False</property>
5861
</packing>
5862
</child>
5863
5864
<child>
5865
<widget class="GtkCheckButton" id="check_folding">
5866
<property name="visible">True</property>
5867
<property name="tooltip" translatable="yes">Whether to enable folding the code</property>
5868
<property name="can_focus">True</property>
5869
<property name="label" translatable="yes">Enable folding</property>
5870
<property name="use_underline">True</property>
5871
<property name="relief">GTK_RELIEF_NORMAL</property>
5872
<property name="focus_on_click">True</property>
5873
<property name="active">False</property>
5874
<property name="inconsistent">False</property>
5875
<property name="draw_indicator">True</property>
5876
</widget>
5877
<packing>
5878
<property name="padding">0</property>
5879
<property name="expand">False</property>
5880
<property name="fill">False</property>
5881
</packing>
5882
</child>
5883
5884
<child>
5885
<widget class="GtkCheckButton" id="check_unfold_children">
5886
<property name="visible">True</property>
5887
<property name="tooltip" translatable="yes">Fold or unfold all children of a fold point. By pressing the Shift key while clicking on a fold symbol the contrary behavior is used.</property>
5888
<property name="can_focus">True</property>
5889
<property name="label" translatable="yes">Fold/unfold all children of a fold point</property>
5890
<property name="use_underline">True</property>
5891
<property name="relief">GTK_RELIEF_NORMAL</property>
5892
<property name="focus_on_click">True</property>
5893
<property name="active">False</property>
5894
<property name="inconsistent">False</property>
5895
<property name="draw_indicator">True</property>
5896
</widget>
5897
<packing>
5898
<property name="padding">0</property>
5899
<property name="expand">False</property>
5900
<property name="fill">False</property>
5901
</packing>
5902
</child>
5903
5904
<child>
5905
<widget class="GtkCheckButton" id="check_indicators">
5906
<property name="visible">True</property>
5907
<property name="tooltip" translatable="yes">Whether to use indicators (a squiggly underline) to highlight the lines where the compiler found a warning or an error.</property>
5908
<property name="can_focus">True</property>
5909
<property name="label" translatable="yes">Use indicators to show compile errors</property>
5910
<property name="use_underline">True</property>
5911
<property name="relief">GTK_RELIEF_NORMAL</property>
5912
<property name="focus_on_click">True</property>
5913
<property name="active">False</property>
5914
<property name="inconsistent">False</property>
5915
<property name="draw_indicator">True</property>
5916
</widget>
5917
<packing>
5918
<property name="padding">0</property>
5919
<property name="expand">False</property>
5920
<property name="fill">False</property>
5921
</packing>
5922
</child>
5923
5924
<child>
5925
<widget class="GtkCheckButton" id="check_newline_strip">
5926
<property name="visible">True</property>
5927
<property name="tooltip" translatable="yes">Enable newline to strip the trailing spaces on the previous line.</property>
5928
<property name="can_focus">True</property>
5929
<property name="label" translatable="yes">Newline strips trailing spaces</property>
5930
<property name="use_underline">True</property>
5931
<property name="relief">GTK_RELIEF_NORMAL</property>
5932
<property name="focus_on_click">True</property>
5933
<property name="active">False</property>
5934
<property name="inconsistent">False</property>
5935
<property name="draw_indicator">True</property>
5936
</widget>
5937
<packing>
5938
<property name="padding">0</property>
5939
<property name="expand">False</property>
5940
<property name="fill">False</property>
5941
</packing>
5942
</child>
5943
5944
<child>
5945
<widget class="GtkHBox" id="hbox11">
5946
<property name="visible">True</property>
5947
<property name="homogeneous">False</property>
5948
<property name="spacing">12</property>
5949
5950
<child>
5951
<widget class="GtkLabel" id="label209">
5952
<property name="visible">True</property>
5953
<property name="label" translatable="yes">Line breaking column:</property>
5954
<property name="use_underline">False</property>
5955
<property name="use_markup">False</property>
5956
<property name="justify">GTK_JUSTIFY_LEFT</property>
5957
<property name="wrap">False</property>
5958
<property name="selectable">False</property>
5959
<property name="xalign">0.5</property>
5960
<property name="yalign">0.5</property>
5961
<property name="xpad">0</property>
5962
<property name="ypad">0</property>
5963
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
5964
<property name="width_chars">-1</property>
5965
<property name="single_line_mode">False</property>
5966
<property name="angle">0</property>
5967
</widget>
5968
<packing>
5969
<property name="padding">0</property>
5970
<property name="expand">False</property>
5971
<property name="fill">False</property>
5972
</packing>
5973
</child>
5974
5975
<child>
5976
<widget class="GtkSpinButton" id="spin_line_break">
5977
<property name="visible">True</property>
5978
<property name="can_focus">True</property>
5979
<property name="climb_rate">1</property>
5980
<property name="digits">0</property>
5981
<property name="numeric">True</property>
5982
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
5983
<property name="snap_to_ticks">False</property>
5984
<property name="wrap">False</property>
5985
<property name="adjustment">72 3 1000 1 10 0</property>
5986
</widget>
5987
<packing>
5988
<property name="padding">0</property>
5989
<property name="expand">False</property>
5990
<property name="fill">True</property>
5991
</packing>
5992
</child>
5993
</widget>
5994
<packing>
5995
<property name="padding">0</property>
5996
<property name="expand">True</property>
5997
<property name="fill">True</property>
5998
</packing>
5999
</child>
6000
6001
<child>
6002
<widget class="GtkHBox" id="hbox12">
6003
<property name="visible">True</property>
6004
<property name="homogeneous">False</property>
6005
<property name="spacing">12</property>
6006
6007
<child>
6008
<widget class="GtkLabel" id="label220">
6009
<property name="visible">True</property>
6010
<property name="label" translatable="yes">Comment toggle marker:</property>
6011
<property name="use_underline">False</property>
6012
<property name="use_markup">False</property>
6013
<property name="justify">GTK_JUSTIFY_LEFT</property>
6014
<property name="wrap">False</property>
6015
<property name="selectable">False</property>
6016
<property name="xalign">0.5</property>
6017
<property name="yalign">0.5</property>
6018
<property name="xpad">0</property>
6019
<property name="ypad">0</property>
6020
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6021
<property name="width_chars">-1</property>
6022
<property name="single_line_mode">False</property>
6023
<property name="angle">0</property>
6024
</widget>
6025
<packing>
6026
<property name="padding">0</property>
6027
<property name="expand">False</property>
6028
<property name="fill">False</property>
6029
</packing>
6030
</child>
6031
6032
<child>
6033
<widget class="GtkEntry" id="entry_toggle_mark">
6034
<property name="visible">True</property>
6035
<property name="tooltip" translatable="yes">A string which is added when toggling a line comment in a source file. It is used to mark the comment as toggled.</property>
6036
<property name="can_focus">True</property>
6037
<property name="editable">True</property>
6038
<property name="visibility">True</property>
6039
<property name="max_length">0</property>
6040
<property name="text" translatable="yes"></property>
6041
<property name="has_frame">True</property>
6042
<property name="invisible_char">*</property>
6043
<property name="activates_default">False</property>
6044
</widget>
6045
<packing>
6046
<property name="padding">0</property>
6047
<property name="expand">False</property>
6048
<property name="fill">True</property>
6049
</packing>
6050
</child>
6051
</widget>
6052
<packing>
6053
<property name="padding">0</property>
6054
<property name="expand">True</property>
6055
<property name="fill">True</property>
6056
</packing>
6057
</child>
6058
</widget>
6059
</child>
6060
</widget>
6061
</child>
6062
6063
<child>
6064
<widget class="GtkLabel" id="label172">
6065
<property name="visible">True</property>
6066
<property name="label" translatable="yes"><b>Features</b></property>
6067
<property name="use_underline">False</property>
6068
<property name="use_markup">True</property>
6069
<property name="justify">GTK_JUSTIFY_LEFT</property>
6070
<property name="wrap">False</property>
6071
<property name="selectable">False</property>
6072
<property name="xalign">0.5</property>
6073
<property name="yalign">0.5</property>
6074
<property name="xpad">0</property>
6075
<property name="ypad">0</property>
6076
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6077
<property name="width_chars">-1</property>
6078
<property name="single_line_mode">False</property>
6079
<property name="angle">0</property>
6080
</widget>
6081
<packing>
6082
<property name="type">label_item</property>
6083
</packing>
6084
</child>
5969
6085
</widget>
5970
6086
<packing>
5971
<property name="type">label_item</property>
6087
<property name="padding">0</property>
6088
<property name="expand">False</property>
6089
<property name="fill">True</property>
5972
6090
</packing>
5973
6091
</child>
5974
6092
</widget>
5975
6093
<packing>
5976
<property name="padding">0</property>
5977
<property name="expand">False</property>
5978
<property name="fill">True</property>
6094
<property name="tab_expand">False</property>
6095
<property name="tab_fill">True</property>
5979
6096
</packing>
5980
6097
</child>
5981
6098
5982
6099
<child>
5983
<widget class="GtkFrame" id="frame14">
6100
<widget class="GtkLabel" id="label211">
5984
6101
<property name="visible">True</property>
5985
<property name="label_xalign">0</property>
5986
<property name="label_yalign">0.5</property>
5987
<property name="shadow_type">GTK_SHADOW_NONE</property>
5988
5989
<child>
5990
<widget class="GtkAlignment" id="alignment17">
5991
<property name="visible">True</property>
5992
<property name="xalign">0.5</property>
5993
<property name="yalign">0.5</property>
5994
<property name="xscale">1</property>
5995
<property name="yscale">1</property>
5996
<property name="top_padding">0</property>
5997
<property name="bottom_padding">0</property>
5998
<property name="left_padding">12</property>
5999
<property name="right_padding">0</property>
6000
6001
<child>
6002
<widget class="GtkVBox" id="vbox17">
6003
<property name="visible">True</property>
6004
<property name="homogeneous">False</property>
6005
<property name="spacing">0</property>
6006
6007
<child>
6008
<widget class="GtkCheckButton" id="check_line_wrapping">
6009
<property name="visible">True</property>
6010
<property name="tooltip" translatable="yes">Wrap the line at the window border and continue it on the next line. Note: line wrapping has a high performance cost for large documents so should be disabled on slow machines.</property>
6011
<property name="can_focus">True</property>
6012
<property name="label" translatable="yes">Line wrapping</property>
6013
<property name="use_underline">True</property>
6014
<property name="relief">GTK_RELIEF_NORMAL</property>
6015
<property name="focus_on_click">True</property>
6016
<property name="active">False</property>
6017
<property name="inconsistent">False</property>
6018
<property name="draw_indicator">True</property>
6019
</widget>
6020
<packing>
6021
<property name="padding">0</property>
6022
<property name="expand">False</property>
6023
<property name="fill">False</property>
6024
</packing>
6025
</child>
6026
6027
<child>
6028
<widget class="GtkCheckButton" id="check_smart_home">
6029
<property name="visible">True</property>
6030
<property name="tooltip" translatable="yes">When "smart" home is enabled, the HOME key will move the caret to the first non-blank character of the line, unless it is already there, it moves to the very beginning of the line. When this feature is disabled, the HOME key always moves the caret to the start of the current line, regardless of its current position.</property>
6031
<property name="can_focus">True</property>
6032
<property name="label" translatable="yes">Enable "smart" home key</property>
6033
<property name="use_underline">True</property>
6034
<property name="relief">GTK_RELIEF_NORMAL</property>
6035
<property name="focus_on_click">False</property>
6036
<property name="active">False</property>
6037
<property name="inconsistent">False</property>
6038
<property name="draw_indicator">True</property>
6039
</widget>
6040
<packing>
6041
<property name="padding">0</property>
6042
<property name="expand">False</property>
6043
<property name="fill">False</property>
6044
</packing>
6045
</child>
6046
6047
<child>
6048
<widget class="GtkCheckButton" id="check_disable_dnd">
6049
<property name="visible">True</property>
6050
<property name="tooltip" translatable="yes">Disable drag and drop completely in the editor window so you can't drag and drop any selections within or outside of the editor window.</property>
6051
<property name="can_focus">True</property>
6052
<property name="label" translatable="yes">Disable Drag and Drop</property>
6053
<property name="use_underline">True</property>
6054
<property name="relief">GTK_RELIEF_NORMAL</property>
6055
<property name="focus_on_click">False</property>
6056
<property name="active">False</property>
6057
<property name="inconsistent">False</property>
6058
<property name="draw_indicator">True</property>
6059
</widget>
6060
<packing>
6061
<property name="padding">0</property>
6062
<property name="expand">False</property>
6063
<property name="fill">False</property>
6064
</packing>
6065
</child>
6066
6067
<child>
6068
<widget class="GtkCheckButton" id="check_folding">
6069
<property name="visible">True</property>
6070
<property name="tooltip" translatable="yes">Whether to enable folding the code</property>
6071
<property name="can_focus">True</property>
6072
<property name="label" translatable="yes">Enable folding</property>
6073
<property name="use_underline">True</property>
6074
<property name="relief">GTK_RELIEF_NORMAL</property>
6075
<property name="focus_on_click">False</property>
6076
<property name="active">False</property>
6077
<property name="inconsistent">False</property>
6078
<property name="draw_indicator">True</property>
6079
</widget>
6080
<packing>
6081
<property name="padding">0</property>
6082
<property name="expand">False</property>
6083
<property name="fill">False</property>
6084
</packing>
6085
</child>
6086
6087
<child>
6088
<widget class="GtkCheckButton" id="check_unfold_children">
6089
<property name="visible">True</property>
6090
<property name="tooltip" translatable="yes">Fold or unfold all children of a fold point. By pressing the Shift key while clicking on a fold symbol the contrary behaviour is used.</property>
6091
<property name="can_focus">True</property>
6092
<property name="label" translatable="yes">Fold/Unfold all children of a fold point</property>
6093
<property name="use_underline">True</property>
6094
<property name="relief">GTK_RELIEF_NORMAL</property>
6095
<property name="focus_on_click">False</property>
6096
<property name="active">False</property>
6097
<property name="inconsistent">False</property>
6098
<property name="draw_indicator">True</property>
6099
</widget>
6100
<packing>
6101
<property name="padding">0</property>
6102
<property name="expand">False</property>
6103
<property name="fill">False</property>
6104
</packing>
6105
</child>
6106
6107
<child>
6108
<widget class="GtkCheckButton" id="check_indicators">
6109
<property name="visible">True</property>
6110
<property name="tooltip" translatable="yes">Whether to use indicators (a squiggly underline) to highlight the lines where the compiler found a warning or an error.</property>
6111
<property name="can_focus">True</property>
6112
<property name="label" translatable="yes">Use indicators to show compile errors</property>
6113
<property name="use_underline">True</property>
6114
<property name="relief">GTK_RELIEF_NORMAL</property>
6115
<property name="focus_on_click">False</property>
6116
<property name="active">False</property>
6117
<property name="inconsistent">False</property>
6118
<property name="draw_indicator">True</property>
6119
</widget>
6120
<packing>
6121
<property name="padding">0</property>
6122
<property name="expand">False</property>
6123
<property name="fill">False</property>
6124
</packing>
6125
</child>
6126
6127
<child>
6128
<widget class="GtkCheckButton" id="check_newline_strip">
6129
<property name="visible">True</property>
6130
<property name="tooltip" translatable="yes">Enable newline to strip the trailing spaces on the previous line.</property>
6131
<property name="can_focus">True</property>
6132
<property name="label" translatable="yes">Newline strips trailing spaces</property>
6133
<property name="use_underline">True</property>
6134
<property name="relief">GTK_RELIEF_NORMAL</property>
6135
<property name="focus_on_click">False</property>
6136
<property name="active">False</property>
6137
<property name="inconsistent">False</property>
6138
<property name="draw_indicator">True</property>
6139
</widget>
6140
<packing>
6141
<property name="padding">0</property>
6142
<property name="expand">False</property>
6143
<property name="fill">False</property>
6144
</packing>
6145
</child>
6146
</widget>
6147
</child>
6148
</widget>
6149
</child>
6150
6151
<child>
6152
<widget class="GtkLabel" id="label172">
6153
<property name="visible">True</property>
6154
<property name="label" translatable="yes"><b>Features</b></property>
6155
<property name="use_underline">False</property>
6156
<property name="use_markup">True</property>
6157
<property name="justify">GTK_JUSTIFY_LEFT</property>
6158
<property name="wrap">False</property>
6159
<property name="selectable">False</property>
6160
<property name="xalign">0.5</property>
6161
<property name="yalign">0.5</property>
6162
<property name="xpad">0</property>
6163
<property name="ypad">0</property>
6164
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6165
<property name="width_chars">-1</property>
6166
<property name="single_line_mode">False</property>
6167
<property name="angle">0</property>
6168
</widget>
6169
<packing>
6170
<property name="type">label_item</property>
6171
</packing>
6172
</child>
6102
<property name="label" translatable="yes">Features</property>
6103
<property name="use_underline">False</property>
6104
<property name="use_markup">False</property>
6105
<property name="justify">GTK_JUSTIFY_LEFT</property>
6106
<property name="wrap">False</property>
6107
<property name="selectable">False</property>
6108
<property name="xalign">0.5</property>
6109
<property name="yalign">0.5</property>
6110
<property name="xpad">0</property>
6111
<property name="ypad">0</property>
6112
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6113
<property name="width_chars">-1</property>
6114
<property name="single_line_mode">False</property>
6115
<property name="angle">0</property>
6173
6116
</widget>
6174
6117
<packing>
6175
<property name="padding">0</property>
6176
<property name="expand">False</property>
6177
<property name="fill">True</property>
6118
<property name="type">tab</property>
6178
6119
</packing>
6179
6120
</child>
6180
6121
6181
6122
<child>
6182
6123
<widget class="GtkFrame" id="frame18">
6124
<property name="border_width">5</property>
6183
6125
<property name="visible">True</property>
6184
6126
<property name="label_xalign">0</property>
6185
6127
<property name="label_yalign">0.5</property>
6211
6153
<property name="label" translatable="yes">Snippet completion</property>
6212
6154
<property name="use_underline">True</property>
6213
6155
<property name="relief">GTK_RELIEF_NORMAL</property>
6214
<property name="focus_on_click">False</property>
6156
<property name="focus_on_click">True</property>
6215
6157
<property name="active">False</property>
6216
6158
<property name="inconsistent">False</property>
6217
6159
<property name="draw_indicator">True</property>
6228
6170
<property name="visible">True</property>
6229
6171
<property name="tooltip" translatable="yes">Automatic completion and closing of XML tags (includes HTML tags)</property>
6230
6172
<property name="can_focus">True</property>
6231
<property name="label" translatable="yes">XML tag autocompletion</property>
6232
<property name="use_underline">True</property>
6233
<property name="relief">GTK_RELIEF_NORMAL</property>
6234
<property name="focus_on_click">False</property>
6173
<property name="label" translatable="yes">XML tag auto completion</property>
6174
<property name="use_underline">True</property>
6175
<property name="relief">GTK_RELIEF_NORMAL</property>
6176
<property name="focus_on_click">True</property>
6177
<property name="active">False</property>
6178
<property name="inconsistent">False</property>
6179
<property name="draw_indicator">True</property>
6180
</widget>
6181
<packing>
6182
<property name="padding">0</property>
6183
<property name="expand">False</property>
6184
<property name="fill">False</property>
6185
</packing>
6186
</child>
6187
6188
<child>
6189
<widget class="GtkCheckButton" id="check_auto_multiline">
6190
<property name="visible">True</property>
6191
<property name="tooltip" translatable="yes">Continue automatically multi-line comments in languages like C, C++ and Java when a new line is entered inside such a comment.</property>
6192
<property name="can_focus">True</property>
6193
<property name="label" translatable="yes">Automatic continuation of multi-line comments</property>
6194
<property name="use_underline">True</property>
6195
<property name="relief">GTK_RELIEF_NORMAL</property>
6196
<property name="focus_on_click">True</property>
6235
6197
<property name="active">False</property>
6236
6198
<property name="inconsistent">False</property>
6237
6199
<property name="draw_indicator">True</property>
6251
6213
<property name="label" translatable="yes">Automatic symbol completion</property>
6252
6214
<property name="use_underline">True</property>
6253
6215
<property name="relief">GTK_RELIEF_NORMAL</property>
6254
<property name="focus_on_click">False</property>
6216
<property name="focus_on_click">True</property>
6255
6217
<property name="active">False</property>
6256
6218
<property name="inconsistent">False</property>
6257
6219
<property name="draw_indicator">True</property>
6266
6228
<child>
6267
6229
<widget class="GtkTable" id="table14">
6268
6230
<property name="visible">True</property>
6269
<property name="n_rows">2</property>
6231
<property name="n_rows">3</property>
6270
6232
<property name="n_columns">2</property>
6271
6233
<property name="homogeneous">False</property>
6272
6234
<property name="row_spacing">3</property>
6273
6235
<property name="column_spacing">12</property>
6274
6236
6275
6237
<child>
6276
<widget class="GtkSpinButton" id="spin_symbollistheight">
6277
<property name="visible">True</property>
6278
<property name="tooltip" translatable="yes">Number of rows to display in the autocompletion list.</property>
6279
<property name="can_focus">True</property>
6280
<property name="climb_rate">1</property>
6281
<property name="digits">0</property>
6282
<property name="numeric">True</property>
6283
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
6284
<property name="snap_to_ticks">False</property>
6285
<property name="wrap">False</property>
6286
<property name="adjustment">9 1 99 1 10 10</property>
6287
</widget>
6288
<packing>
6289
<property name="left_attach">1</property>
6290
<property name="right_attach">2</property>
6238
<widget class="GtkLabel" id="label223">
6239
<property name="visible">True</property>
6240
<property name="label" translatable="yes">Max. symbol name suggestions:</property>
6241
<property name="use_underline">False</property>
6242
<property name="use_markup">False</property>
6243
<property name="justify">GTK_JUSTIFY_LEFT</property>
6244
<property name="wrap">False</property>
6245
<property name="selectable">False</property>
6246
<property name="xalign">0</property>
6247
<property name="yalign">0.5</property>
6248
<property name="xpad">0</property>
6249
<property name="ypad">0</property>
6250
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6251
<property name="width_chars">-1</property>
6252
<property name="single_line_mode">False</property>
6253
<property name="angle">0</property>
6254
</widget>
6255
<packing>
6256
<property name="left_attach">0</property>
6257
<property name="right_attach">1</property>
6258
<property name="top_attach">2</property>
6259
<property name="bottom_attach">3</property>
6260
<property name="x_options">fill</property>
6261
<property name="y_options"></property>
6262
</packing>
6263
</child>
6264
6265
<child>
6266
<widget class="GtkLabel" id="label173">
6267
<property name="visible">True</property>
6268
<property name="label" translatable="yes">Completion list height:</property>
6269
<property name="use_underline">False</property>
6270
<property name="use_markup">False</property>
6271
<property name="justify">GTK_JUSTIFY_LEFT</property>
6272
<property name="wrap">False</property>
6273
<property name="selectable">False</property>
6274
<property name="xalign">0</property>
6275
<property name="yalign">0.5</property>
6276
<property name="xpad">0</property>
6277
<property name="ypad">0</property>
6278
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6279
<property name="width_chars">-1</property>
6280
<property name="single_line_mode">False</property>
6281
<property name="angle">0</property>
6282
</widget>
6283
<packing>
6284
<property name="left_attach">0</property>
6285
<property name="right_attach">1</property>
6291
6286
<property name="top_attach">1</property>
6292
6287
<property name="bottom_attach">2</property>
6288
<property name="x_options">fill</property>
6293
6289
<property name="y_options"></property>
6294
6290
</packing>
6295
6291
</child>
6323
6319
</child>
6324
6320
6325
6321
<child>
6326
<widget class="GtkLabel" id="label173">
6327
<property name="visible">True</property>
6328
<property name="label" translatable="yes">Rows of symbol completion list:</property>
6329
<property name="use_underline">False</property>
6330
<property name="use_markup">False</property>
6331
<property name="justify">GTK_JUSTIFY_LEFT</property>
6332
<property name="wrap">False</property>
6333
<property name="selectable">False</property>
6334
<property name="xalign">0</property>
6335
<property name="yalign">0.5</property>
6336
<property name="xpad">0</property>
6337
<property name="ypad">0</property>
6338
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6339
<property name="width_chars">-1</property>
6340
<property name="single_line_mode">False</property>
6341
<property name="angle">0</property>
6342
</widget>
6343
<packing>
6344
<property name="left_attach">0</property>
6345
<property name="right_attach">1</property>
6346
<property name="top_attach">1</property>
6347
<property name="bottom_attach">2</property>
6348
<property name="x_options">fill</property>
6349
<property name="y_options"></property>
6350
</packing>
6351
</child>
6352
6353
<child>
6354
6322
<widget class="GtkSpinButton" id="spin_symbol_complete_chars">
6355
6323
<property name="visible">True</property>
6356
6324
<property name="tooltip" translatable="yes">The amount of characters which are necessary to show the symbol auto completion list.</property>
6361
6329
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
6362
6330
<property name="snap_to_ticks">False</property>
6363
6331
<property name="wrap">False</property>
6364
<property name="adjustment">9 1 99 1 10 10</property>
6332
<property name="adjustment">9 1 99 1 10 0</property>
6365
6333
</widget>
6366
6334
<packing>
6367
6335
<property name="left_attach">1</property>
6371
6339
<property name="y_options"></property>
6372
6340
</packing>
6373
6341
</child>
6342
6343
<child>
6344
<widget class="GtkSpinButton" id="spin_symbollistheight">
6345
<property name="visible">True</property>
6346
<property name="tooltip" translatable="yes">Display height in rows for the auto completion list.</property>
6347
<property name="can_focus">True</property>
6348
<property name="climb_rate">1</property>
6349
<property name="digits">0</property>
6350
<property name="numeric">True</property>
6351
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
6352
<property name="snap_to_ticks">False</property>
6353
<property name="wrap">False</property>
6354
<property name="adjustment">9 1 99 1 10 0</property>
6355
</widget>
6356
<packing>
6357
<property name="left_attach">1</property>
6358
<property name="right_attach">2</property>
6359
<property name="top_attach">1</property>
6360
<property name="bottom_attach">2</property>
6361
<property name="y_options"></property>
6362
</packing>
6363
</child>
6364
6365
<child>
6366
<widget class="GtkSpinButton" id="spin_autocompletion_max_entries">
6367
<property name="visible">True</property>
6368
<property name="tooltip" translatable="yes">Maximum number of entries to display in the auto completion list.</property>
6369
<property name="can_focus">True</property>
6370
<property name="climb_rate">1</property>
6371
<property name="digits">0</property>
6372
<property name="numeric">True</property>
6373
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
6374
<property name="snap_to_ticks">False</property>
6375
<property name="wrap">False</property>
6376
<property name="adjustment">9 1 10000 1 10 0</property>
6377
</widget>
6378
<packing>
6379
<property name="left_attach">1</property>
6380
<property name="right_attach">2</property>
6381
<property name="top_attach">2</property>
6382
<property name="bottom_attach">3</property>
6383
<property name="y_options"></property>
6384
</packing>
6385
</child>
6374
6386
</widget>
6375
6387
<packing>
6376
6388
<property name="padding">0</property>
6407
6419
</child>
6408
6420
</widget>
6409
6421
<packing>
6410
<property name="padding">0</property>
6411
<property name="expand">True</property>
6412
<property name="fill">True</property>
6422
<property name="tab_expand">False</property>
6423
<property name="tab_fill">True</property>
6424
</packing>
6425
</child>
6426
6427
<child>
6428
<widget class="GtkLabel" id="label212">
6429
<property name="visible">True</property>
6430
<property name="label" translatable="yes">Completions</property>
6431
<property name="use_underline">False</property>
6432
<property name="use_markup">False</property>
6433
<property name="justify">GTK_JUSTIFY_LEFT</property>
6434
<property name="wrap">False</property>
6435
<property name="selectable">False</property>
6436
<property name="xalign">0.5</property>
6437
<property name="yalign">0.5</property>
6438
<property name="xpad">0</property>
6439
<property name="ypad">0</property>
6440
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6441
<property name="width_chars">-1</property>
6442
<property name="single_line_mode">False</property>
6443
<property name="angle">0</property>
6444
</widget>
6445
<packing>
6446
<property name="type">tab</property>
6447
</packing>
6448
</child>
6449
6450
<child>
6451
<widget class="GtkVBox" id="vbox24">
6452
<property name="border_width">5</property>
6453
<property name="visible">True</property>
6454
<property name="homogeneous">False</property>
6455
<property name="spacing">10</property>
6456
6457
<child>
6458
<widget class="GtkFrame" id="frame5">
6459
<property name="visible">True</property>
6460
<property name="label_xalign">0</property>
6461
<property name="label_yalign">0.5</property>
6462
<property name="shadow_type">GTK_SHADOW_NONE</property>
6463
6464
<child>
6465
<widget class="GtkAlignment" id="alignment6">
6466
<property name="visible">True</property>
6467
<property name="xalign">0.5</property>
6468
<property name="yalign">0.5</property>
6469
<property name="xscale">1</property>
6470
<property name="yscale">1</property>
6471
<property name="top_padding">0</property>
6472
<property name="bottom_padding">5</property>
6473
<property name="left_padding">12</property>
6474
<property name="right_padding">6</property>
6475
6476
<child>
6477
<widget class="GtkVBox" id="vbox12">
6478
<property name="visible">True</property>
6479
<property name="homogeneous">False</property>
6480
<property name="spacing">0</property>
6481
6482
<child>
6483
<widget class="GtkCheckButton" id="checkbutton1">
6484
<property name="tooltip" translatable="yes">Use white text on a black background.</property>
6485
<property name="can_focus">True</property>
6486
<property name="label" translatable="yes">Invert syntax highlighting colors</property>
6487
<property name="use_underline">True</property>
6488
<property name="relief">GTK_RELIEF_NORMAL</property>
6489
<property name="focus_on_click">True</property>
6490
<property name="active">False</property>
6491
<property name="inconsistent">False</property>
6492
<property name="draw_indicator">True</property>
6493
</widget>
6494
<packing>
6495
<property name="padding">0</property>
6496
<property name="expand">False</property>
6497
<property name="fill">False</property>
6498
</packing>
6499
</child>
6500
6501
<child>
6502
<widget class="GtkCheckButton" id="check_indent">
6503
<property name="visible">True</property>
6504
<property name="tooltip" translatable="yes">Shows small dotted lines to help you to use the right indentation.</property>
6505
<property name="can_focus">True</property>
6506
<property name="label" translatable="yes">Show indentation guides</property>
6507
<property name="use_underline">True</property>
6508
<property name="relief">GTK_RELIEF_NORMAL</property>
6509
<property name="focus_on_click">True</property>
6510
<property name="active">False</property>
6511
<property name="inconsistent">False</property>
6512
<property name="draw_indicator">True</property>
6513
</widget>
6514
<packing>
6515
<property name="padding">0</property>
6516
<property name="expand">False</property>
6517
<property name="fill">False</property>
6518
</packing>
6519
</child>
6520
6521
<child>
6522
<widget class="GtkCheckButton" id="check_white_space">
6523
<property name="visible">True</property>
6524
<property name="tooltip" translatable="yes">Marks spaces with dots and tabs with arrows.</property>
6525
<property name="can_focus">True</property>
6526
<property name="label" translatable="yes">Show white space</property>
6527
<property name="use_underline">True</property>
6528
<property name="relief">GTK_RELIEF_NORMAL</property>
6529
<property name="focus_on_click">True</property>
6530
<property name="active">False</property>
6531
<property name="inconsistent">False</property>
6532
<property name="draw_indicator">True</property>
6533
</widget>
6534
<packing>
6535
<property name="padding">0</property>
6536
<property name="expand">False</property>
6537
<property name="fill">False</property>
6538
</packing>
6539
</child>
6540
6541
<child>
6542
<widget class="GtkCheckButton" id="check_line_end">
6543
<property name="visible">True</property>
6544
<property name="tooltip" translatable="yes">Show the line ending character.</property>
6545
<property name="can_focus">True</property>
6546
<property name="label" translatable="yes">Show line endings</property>
6547
<property name="use_underline">True</property>
6548
<property name="relief">GTK_RELIEF_NORMAL</property>
6549
<property name="focus_on_click">True</property>
6550
<property name="active">False</property>
6551
<property name="inconsistent">False</property>
6552
<property name="draw_indicator">True</property>
6553
</widget>
6554
<packing>
6555
<property name="padding">0</property>
6556
<property name="expand">False</property>
6557
<property name="fill">False</property>
6558
</packing>
6559
</child>
6560
6561
<child>
6562
<widget class="GtkCheckButton" id="check_scroll_stop_at_last_line">
6563
<property name="visible">True</property>
6564
<property name="tooltip" translatable="yes">Whether to stop scrolling one page past the last line of a document.</property>
6565
<property name="can_focus">True</property>
6566
<property name="label" translatable="yes">Stop scrolling at last line</property>
6567
<property name="use_underline">True</property>
6568
<property name="relief">GTK_RELIEF_NORMAL</property>
6569
<property name="focus_on_click">True</property>
6570
<property name="active">False</property>
6571
<property name="inconsistent">False</property>
6572
<property name="draw_indicator">True</property>
6573
</widget>
6574
<packing>
6575
<property name="padding">0</property>
6576
<property name="expand">False</property>
6577
<property name="fill">False</property>
6578
</packing>
6579
</child>
6580
</widget>
6581
</child>
6582
</widget>
6583
</child>
6584
6585
<child>
6586
<widget class="GtkLabel" id="label102">
6587
<property name="visible">True</property>
6588
<property name="label" translatable="yes"><b>Display</b></property>
6589
<property name="use_underline">False</property>
6590
<property name="use_markup">True</property>
6591
<property name="justify">GTK_JUSTIFY_LEFT</property>
6592
<property name="wrap">False</property>
6593
<property name="selectable">False</property>
6594
<property name="xalign">0.5</property>
6595
<property name="yalign">0.5</property>
6596
<property name="xpad">0</property>
6597
<property name="ypad">0</property>
6598
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6599
<property name="width_chars">-1</property>
6600
<property name="single_line_mode">False</property>
6601
<property name="angle">0</property>
6602
</widget>
6603
<packing>
6604
<property name="type">label_item</property>
6605
</packing>
6606
</child>
6607
</widget>
6608
<packing>
6609
<property name="padding">0</property>
6610
<property name="expand">False</property>
6611
<property name="fill">True</property>
6612
</packing>
6613
</child>
6614
6615
<child>
6616
<widget class="GtkFrame" id="frame8">
6617
<property name="visible">True</property>
6618
<property name="label_xalign">0</property>
6619
<property name="label_yalign">0.5</property>
6620
<property name="shadow_type">GTK_SHADOW_NONE</property>
6621
6622
<child>
6623
<widget class="GtkAlignment" id="alignment11">
6624
<property name="visible">True</property>
6625
<property name="xalign">0.5</property>
6626
<property name="yalign">0.5</property>
6627
<property name="xscale">1</property>
6628
<property name="yscale">1</property>
6629
<property name="top_padding">0</property>
6630
<property name="bottom_padding">0</property>
6631
<property name="left_padding">12</property>
6632
<property name="right_padding">0</property>
6633
6634
<child>
6635
<widget class="GtkTable" id="table7">
6636
<property name="visible">True</property>
6637
<property name="n_rows">3</property>
6638
<property name="n_columns">2</property>
6639
<property name="homogeneous">False</property>
6640
<property name="row_spacing">3</property>
6641
<property name="column_spacing">24</property>
6642
6643
<child>
6644
<widget class="GtkLabel" id="label133">
6645
<property name="visible">True</property>
6646
<property name="label" translatable="yes">Long line marker:</property>
6647
<property name="use_underline">False</property>
6648
<property name="use_markup">False</property>
6649
<property name="justify">GTK_JUSTIFY_LEFT</property>
6650
<property name="wrap">False</property>
6651
<property name="selectable">False</property>
6652
<property name="xalign">0</property>
6653
<property name="yalign">0.5</property>
6654
<property name="xpad">0</property>
6655
<property name="ypad">0</property>
6656
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6657
<property name="width_chars">-1</property>
6658
<property name="single_line_mode">False</property>
6659
<property name="angle">0</property>
6660
</widget>
6661
<packing>
6662
<property name="left_attach">0</property>
6663
<property name="right_attach">1</property>
6664
<property name="top_attach">1</property>
6665
<property name="bottom_attach">2</property>
6666
<property name="x_options">fill</property>
6667
<property name="y_options"></property>
6668
</packing>
6669
</child>
6670
6671
<child>
6672
<widget class="GtkLabel" id="label134">
6673
<property name="visible">True</property>
6674
<property name="label" translatable="yes">Long line marker color:</property>
6675
<property name="use_underline">False</property>
6676
<property name="use_markup">False</property>
6677
<property name="justify">GTK_JUSTIFY_LEFT</property>
6678
<property name="wrap">False</property>
6679
<property name="selectable">False</property>
6680
<property name="xalign">0</property>
6681
<property name="yalign">0.5</property>
6682
<property name="xpad">0</property>
6683
<property name="ypad">0</property>
6684
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6685
<property name="width_chars">-1</property>
6686
<property name="single_line_mode">False</property>
6687
<property name="angle">0</property>
6688
</widget>
6689
<packing>
6690
<property name="left_attach">0</property>
6691
<property name="right_attach">1</property>
6692
<property name="top_attach">2</property>
6693
<property name="bottom_attach">3</property>
6694
<property name="x_options">fill</property>
6695
<property name="y_options"></property>
6696
</packing>
6697
</child>
6698
6699
<child>
6700
<widget class="GtkLabel" id="label156">
6701
<property name="visible">True</property>
6702
<property name="label" translatable="yes">Type:</property>
6703
<property name="use_underline">False</property>
6704
<property name="use_markup">False</property>
6705
<property name="justify">GTK_JUSTIFY_LEFT</property>
6706
<property name="wrap">False</property>
6707
<property name="selectable">False</property>
6708
<property name="xalign">0</property>
6709
<property name="yalign">0.5</property>
6710
<property name="xpad">0</property>
6711
<property name="ypad">0</property>
6712
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6713
<property name="width_chars">-1</property>
6714
<property name="single_line_mode">False</property>
6715
<property name="angle">0</property>
6716
</widget>
6717
<packing>
6718
<property name="left_attach">0</property>
6719
<property name="right_attach">1</property>
6720
<property name="top_attach">0</property>
6721
<property name="bottom_attach">1</property>
6722
<property name="x_options">fill</property>
6723
<property name="y_options"></property>
6724
</packing>
6725
</child>
6726
6727
<child>
6728
<widget class="GtkColorButton" id="long_line_color">
6729
<property name="visible">True</property>
6730
<property name="tooltip" translatable="yes">Sets the color of the long line marker</property>
6731
<property name="can_focus">True</property>
6732
<property name="use_alpha">False</property>
6733
<property name="title" translatable="yes">Color Chooser</property>
6734
<property name="focus_on_click">True</property>
6735
</widget>
6736
<packing>
6737
<property name="left_attach">1</property>
6738
<property name="right_attach">2</property>
6739
<property name="top_attach">2</property>
6740
<property name="bottom_attach">3</property>
6741
<property name="x_options">fill</property>
6742
<property name="y_options"></property>
6743
</packing>
6744
</child>
6745
6746
<child>
6747
<widget class="GtkSpinButton" id="spin_long_line">
6748
<property name="visible">True</property>
6749
<property name="tooltip" translatable="yes">The long line marker is a thin vertical line in the editor. It helps to mark long lines, or as a hint to break the line. Set this value to a value greater than 0 to specify the column where it should appear.</property>
6750
<property name="can_focus">True</property>
6751
<property name="climb_rate">1</property>
6752
<property name="digits">0</property>
6753
<property name="numeric">True</property>
6754
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
6755
<property name="snap_to_ticks">False</property>
6756
<property name="wrap">True</property>
6757
<property name="adjustment">72 0 1000 1 10 0</property>
6758
</widget>
6759
<packing>
6760
<property name="left_attach">1</property>
6761
<property name="right_attach">2</property>
6762
<property name="top_attach">1</property>
6763
<property name="bottom_attach">2</property>
6764
<property name="x_options">fill</property>
6765
<property name="y_options"></property>
6766
</packing>
6767
</child>
6768
6769
<child>
6770
<widget class="GtkHBox" id="hbox5">
6771
<property name="visible">True</property>
6772
<property name="homogeneous">False</property>
6773
<property name="spacing">12</property>
6774
6775
<child>
6776
<widget class="GtkRadioButton" id="radio_long_line_line">
6777
<property name="visible">True</property>
6778
<property name="tooltip" translatable="yes">Prints a vertical line in the editor window at the given cursor position (see below).</property>
6779
<property name="can_focus">True</property>
6780
<property name="label" translatable="yes">Line</property>
6781
<property name="use_underline">True</property>
6782
<property name="relief">GTK_RELIEF_NORMAL</property>
6783
<property name="focus_on_click">True</property>
6784
<property name="active">False</property>
6785
<property name="inconsistent">False</property>
6786
<property name="draw_indicator">True</property>
6787
</widget>
6788
<packing>
6789
<property name="padding">0</property>
6790
<property name="expand">False</property>
6791
<property name="fill">False</property>
6792
</packing>
6793
</child>
6794
6795
<child>
6796
<widget class="GtkRadioButton" id="radio_long_line_background">
6797
<property name="visible">True</property>
6798
<property name="tooltip" translatable="yes">The background color of characters after the given cursor position (see below) changed to the color set below. (This is recommended if you use proportional fonts)</property>
6799
<property name="can_focus">True</property>
6800
<property name="label" translatable="yes">Background</property>
6801
<property name="use_underline">True</property>
6802
<property name="relief">GTK_RELIEF_NORMAL</property>
6803
<property name="focus_on_click">True</property>
6804
<property name="active">False</property>
6805
<property name="inconsistent">False</property>
6806
<property name="draw_indicator">True</property>
6807
<property name="group">radio_long_line_line</property>
6808
</widget>
6809
<packing>
6810
<property name="padding">0</property>
6811
<property name="expand">False</property>
6812
<property name="fill">False</property>
6813
</packing>
6814
</child>
6815
6816
<child>
6817
<widget class="GtkRadioButton" id="radio_long_line_disabled">
6818
<property name="visible">True</property>
6819
<property name="can_focus">True</property>
6820
<property name="label" translatable="yes">Disabled</property>
6821
<property name="use_underline">True</property>
6822
<property name="relief">GTK_RELIEF_NORMAL</property>
6823
<property name="focus_on_click">True</property>
6824
<property name="active">False</property>
6825
<property name="inconsistent">False</property>
6826
<property name="draw_indicator">True</property>
6827
<property name="group">radio_long_line_line</property>
6828
</widget>
6829
<packing>
6830
<property name="padding">0</property>
6831
<property name="expand">False</property>
6832
<property name="fill">False</property>
6833
</packing>
6834
</child>
6835
</widget>
6836
<packing>
6837
<property name="left_attach">1</property>
6838
<property name="right_attach">2</property>
6839
<property name="top_attach">0</property>
6840
<property name="bottom_attach">1</property>
6841
<property name="x_options">fill</property>
6842
<property name="y_options">fill</property>
6843
</packing>
6844
</child>
6845
</widget>
6846
</child>
6847
</widget>
6848
</child>
6849
6850
<child>
6851
<widget class="GtkLabel" id="label155">
6852
<property name="visible">True</property>
6853
<property name="label" translatable="yes"><b>Long line marker</b></property>
6854
<property name="use_underline">False</property>
6855
<property name="use_markup">True</property>
6856
<property name="justify">GTK_JUSTIFY_LEFT</property>
6857
<property name="wrap">False</property>
6858
<property name="selectable">False</property>
6859
<property name="xalign">0.5</property>
6860
<property name="yalign">0.5</property>
6861
<property name="xpad">0</property>
6862
<property name="ypad">0</property>
6863
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6864
<property name="width_chars">-1</property>
6865
<property name="single_line_mode">False</property>
6866
<property name="angle">0</property>
6867
</widget>
6868
<packing>
6869
<property name="type">label_item</property>
6870
</packing>
6871
</child>
6872
</widget>
6873
<packing>
6874
<property name="padding">0</property>
6875
<property name="expand">True</property>
6876
<property name="fill">True</property>
6877
</packing>
6878
</child>
6879
</widget>
6880
<packing>
6881
<property name="tab_expand">False</property>
6882
<property name="tab_fill">True</property>
6883
</packing>
6884
</child>
6885
6886
<child>
6887
<widget class="GtkLabel" id="label213">
6888
<property name="visible">True</property>
6889
<property name="label" translatable="yes">Display</property>
6890
<property name="use_underline">False</property>
6891
<property name="use_markup">False</property>
6892
<property name="justify">GTK_JUSTIFY_LEFT</property>
6893
<property name="wrap">False</property>
6894
<property name="selectable">False</property>
6895
<property name="xalign">0.5</property>
6896
<property name="yalign">0.5</property>
6897
<property name="xpad">0</property>
6898
<property name="ypad">0</property>
6899
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6900
<property name="width_chars">-1</property>
6901
<property name="single_line_mode">False</property>
6902
<property name="angle">0</property>
6903
</widget>
6904
<packing>
6905
<property name="type">tab</property>
6413
6906
</packing>
6414
6907
</child>
6415
6908
</widget>
6444
6937
6445
6938
<child>
6446
6939
<widget class="GtkVBox" id="vbox18">
6940
<property name="border_width">5</property>
6447
6941
<property name="visible">True</property>
6448
6942
<property name="homogeneous">False</property>
6449
6943
<property name="spacing">10</property>
6474
6968
<property name="spacing">3</property>
6475
6969
6476
6970
<child>
6477
<widget class="GtkTable" id="table5">
6971
<widget class="GtkVBox" id="vbox38">
6478
6972
<property name="visible">True</property>
6479
<property name="n_rows">3</property>
6480
<property name="n_columns">2</property>
6481
6973
<property name="homogeneous">False</property>
6482
<property name="row_spacing">3</property>
6483
<property name="column_spacing">0</property>
6484
6485
<child>
6486
<widget class="GtkEventBox" id="eventbox1">
6487
<property name="visible">True</property>
6488
<property name="tooltip" translatable="yes">Sets the default encoding for newly created files.</property>
6489
<property name="visible_window">True</property>
6490
<property name="above_child">False</property>
6491
6492
<child>
6493
<widget class="GtkComboBox" id="combo_new_encoding">
6494
<property name="visible">True</property>
6495
<property name="add_tearoffs">False</property>
6496
<property name="focus_on_click">True</property>
6497
</widget>
6498
</child>
6499
</widget>
6500
<packing>
6501
<property name="left_attach">1</property>
6502
<property name="right_attach">2</property>
6503
<property name="top_attach">0</property>
6504
<property name="bottom_attach">1</property>
6505
<property name="x_options">fill</property>
6506
<property name="y_options">fill</property>
6507
</packing>
6508
</child>
6509
6510
<child>
6511
<widget class="GtkLabel" id="label153">
6512
<property name="visible">True</property>
6513
<property name="label" translatable="yes">Default encoding (new files):</property>
6514
<property name="use_underline">False</property>
6515
<property name="use_markup">False</property>
6516
<property name="justify">GTK_JUSTIFY_LEFT</property>
6517
<property name="wrap">False</property>
6518
<property name="selectable">False</property>
6519
<property name="xalign">0</property>
6520
<property name="yalign">0.5</property>
6521
<property name="xpad">0</property>
6522
<property name="ypad">0</property>
6523
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6524
<property name="width_chars">-1</property>
6525
<property name="single_line_mode">False</property>
6526
<property name="angle">0</property>
6527
</widget>
6528
<packing>
6529
<property name="left_attach">0</property>
6530
<property name="right_attach">1</property>
6531
<property name="top_attach">0</property>
6532
<property name="bottom_attach">1</property>
6533
<property name="x_options">fill</property>
6534
<property name="y_options"></property>
6535
</packing>
6536
</child>
6537
6538
<child>
6539
<widget class="GtkLabel" id="label_open_encoding">
6540
<property name="visible">True</property>
6541
<property name="label" translatable="yes">Default encoding (existing files):</property>
6542
<property name="use_underline">False</property>
6543
<property name="use_markup">False</property>
6544
<property name="justify">GTK_JUSTIFY_LEFT</property>
6545
<property name="wrap">False</property>
6546
<property name="selectable">False</property>
6547
<property name="xalign">0</property>
6548
<property name="yalign">0.5</property>
6549
<property name="xpad">0</property>
6550
<property name="ypad">0</property>
6551
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6552
<property name="width_chars">-1</property>
6553
<property name="single_line_mode">False</property>
6554
<property name="angle">0</property>
6555
</widget>
6556
<packing>
6557
<property name="left_attach">0</property>
6558
<property name="right_attach">1</property>
6559
<property name="top_attach">2</property>
6560
<property name="bottom_attach">3</property>
6561
<property name="x_options">fill</property>
6562
<property name="y_options"></property>
6563
</packing>
6564
</child>
6565
6566
<child>
6567
<widget class="GtkEventBox" id="eventbox3">
6568
<property name="visible">True</property>
6569
<property name="tooltip" translatable="yes">Sets the default encoding for opening existing files.</property>
6570
<property name="visible_window">True</property>
6571
<property name="above_child">False</property>
6572
6573
<child>
6574
<widget class="GtkComboBox" id="combo_open_encoding">
6575
<property name="visible">True</property>
6576
<property name="add_tearoffs">False</property>
6577
<property name="focus_on_click">True</property>
6578
</widget>
6579
</child>
6580
</widget>
6581
<packing>
6582
<property name="left_attach">1</property>
6583
<property name="right_attach">2</property>
6584
<property name="top_attach">2</property>
6585
<property name="bottom_attach">3</property>
6586
<property name="x_options">fill</property>
6587
<property name="y_options">fill</property>
6588
</packing>
6589
</child>
6590
6591
<child>
6592
<widget class="GtkCheckButton" id="check_open_encoding">
6593
<property name="visible">True</property>
6594
<property name="tooltip" translatable="yes">This option disables the automatic detection of the file encoding when opening files and opens the file with the specified encoding (usually not needed).</property>
6974
<property name="spacing">0</property>
6975
6976
<child>
6977
<widget class="GtkCheckButton" id="check_cmdline_new_files">
6978
<property name="visible">True</property>
6979
<property name="tooltip" translatable="yes">Start a new file for each command-line filename that doesn't exist.</property>
6595
6980
<property name="can_focus">True</property>
6596
<property name="label" translatable="yes">Use fixed encoding when opening files</property>
6981
<property name="label" translatable="yes">Open new documents from the command-line</property>
6597
6982
<property name="use_underline">True</property>
6598
6983
<property name="relief">GTK_RELIEF_NORMAL</property>
6599
<property name="focus_on_click">False</property>
6984
<property name="focus_on_click">True</property>
6600
6985
<property name="active">False</property>
6601
6986
<property name="inconsistent">False</property>
6602
6987
<property name="draw_indicator">True</property>
6603
6988
</widget>
6604
6989
<packing>
6605
<property name="left_attach">0</property>
6606
<property name="right_attach">2</property>
6607
<property name="top_attach">1</property>
6608
<property name="bottom_attach">2</property>
6609
<property name="y_options"></property>
6990
<property name="padding">0</property>
6991
<property name="expand">False</property>
6992
<property name="fill">False</property>
6993
</packing>
6994
</child>
6995
6996
<child>
6997
<widget class="GtkTable" id="table15">
6998
<property name="visible">True</property>
6999
<property name="n_rows">1</property>
7000
<property name="n_columns">2</property>
7001
<property name="homogeneous">False</property>
7002
<property name="row_spacing">3</property>
7003
<property name="column_spacing">24</property>
7004
7005
<child>
7006
<widget class="GtkComboBox" id="combo_eol">
7007
<property name="visible">True</property>
7008
<property name="add_tearoffs">False</property>
7009
<property name="focus_on_click">True</property>
7010
</widget>
7011
<packing>
7012
<property name="left_attach">1</property>
7013
<property name="right_attach">2</property>
7014
<property name="top_attach">0</property>
7015
<property name="bottom_attach">1</property>
7016
<property name="x_options">fill</property>
7017
<property name="y_options">fill</property>
7018
</packing>
7019
</child>
7020
7021
<child>
7022
<widget class="GtkLabel" id="label210">
7023
<property name="visible">True</property>
7024
<property name="label" translatable="yes">Default end of line characters:</property>
7025
<property name="use_underline">False</property>
7026
<property name="use_markup">False</property>
7027
<property name="justify">GTK_JUSTIFY_LEFT</property>
7028
<property name="wrap">False</property>
7029
<property name="selectable">False</property>
7030
<property name="xalign">0</property>
7031
<property name="yalign">0.5</property>
7032
<property name="xpad">0</property>
7033
<property name="ypad">0</property>
7034
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7035
<property name="width_chars">-1</property>
7036
<property name="single_line_mode">False</property>
7037
<property name="angle">0</property>
7038
</widget>
7039
<packing>
7040
<property name="left_attach">0</property>
7041
<property name="right_attach">1</property>
7042
<property name="top_attach">0</property>
7043
<property name="bottom_attach">1</property>
7044
<property name="x_options">fill</property>
7045
<property name="y_options"></property>
7046
</packing>
7047
</child>
7048
</widget>
7049
<packing>
7050
<property name="padding">0</property>
7051
<property name="expand">True</property>
7052
<property name="fill">True</property>
6610
7053
</packing>
6611
7054
</child>
6612
7055
</widget>
6652
7095
</child>
6653
7096
6654
7097
<child>
7098
<widget class="GtkFrame" id="frame37">
7099
<property name="visible">True</property>
7100
<property name="label_xalign">0</property>
7101
<property name="label_yalign">0.5</property>
7102
<property name="shadow_type">GTK_SHADOW_NONE</property>
7103
7104
<child>
7105
<widget class="GtkAlignment" id="alignment40">
7106
<property name="visible">True</property>
7107
<property name="xalign">0.5</property>
7108
<property name="yalign">0.5</property>
7109
<property name="xscale">1</property>
7110
<property name="yscale">1</property>
7111
<property name="top_padding">0</property>
7112
<property name="bottom_padding">0</property>
7113
<property name="left_padding">12</property>
7114
<property name="right_padding">0</property>
7115
7116
<child>
7117
<widget class="GtkTable" id="table5">
7118
<property name="visible">True</property>
7119
<property name="n_rows">3</property>
7120
<property name="n_columns">2</property>
7121
<property name="homogeneous">False</property>
7122
<property name="row_spacing">3</property>
7123
<property name="column_spacing">24</property>
7124
7125
<child>
7126
<widget class="GtkEventBox" id="eventbox1">
7127
<property name="visible">True</property>
7128
<property name="tooltip" translatable="yes">Sets the default encoding for newly created files.</property>
7129
<property name="visible_window">True</property>
7130
<property name="above_child">False</property>
7131
7132
<child>
7133
<widget class="GtkComboBox" id="combo_new_encoding">
7134
<property name="visible">True</property>
7135
<property name="add_tearoffs">False</property>
7136
<property name="focus_on_click">True</property>
7137
</widget>
7138
</child>
7139
</widget>
7140
<packing>
7141
<property name="left_attach">1</property>
7142
<property name="right_attach">2</property>
7143
<property name="top_attach">0</property>
7144
<property name="bottom_attach">1</property>
7145
<property name="x_options">fill</property>
7146
<property name="y_options">fill</property>
7147
</packing>
7148
</child>
7149
7150
<child>
7151
<widget class="GtkLabel" id="label153">
7152
<property name="visible">True</property>
7153
<property name="label" translatable="yes">Default encoding (new files):</property>
7154
<property name="use_underline">False</property>
7155
<property name="use_markup">False</property>
7156
<property name="justify">GTK_JUSTIFY_LEFT</property>
7157
<property name="wrap">False</property>
7158
<property name="selectable">False</property>
7159
<property name="xalign">0</property>
7160
<property name="yalign">0.5</property>
7161
<property name="xpad">0</property>
7162
<property name="ypad">0</property>
7163
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7164
<property name="width_chars">-1</property>
7165
<property name="single_line_mode">False</property>
7166
<property name="angle">0</property>
7167
</widget>
7168
<packing>
7169
<property name="left_attach">0</property>
7170
<property name="right_attach">1</property>
7171
<property name="top_attach">0</property>
7172
<property name="bottom_attach">1</property>
7173
<property name="x_options">fill</property>
7174
<property name="y_options"></property>
7175
</packing>
7176
</child>
7177
7178
<child>
7179
<widget class="GtkLabel" id="label_open_encoding">
7180
<property name="visible">True</property>
7181
<property name="label" translatable="yes">Default encoding (existing files):</property>
7182
<property name="use_underline">False</property>
7183
<property name="use_markup">False</property>
7184
<property name="justify">GTK_JUSTIFY_LEFT</property>
7185
<property name="wrap">False</property>
7186
<property name="selectable">False</property>
7187
<property name="xalign">0</property>
7188
<property name="yalign">0.5</property>
7189
<property name="xpad">0</property>
7190
<property name="ypad">0</property>
7191
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7192
<property name="width_chars">-1</property>
7193
<property name="single_line_mode">False</property>
7194
<property name="angle">0</property>
7195
</widget>
7196
<packing>
7197
<property name="left_attach">0</property>
7198
<property name="right_attach">1</property>
7199
<property name="top_attach">2</property>
7200
<property name="bottom_attach">3</property>
7201
<property name="x_options">fill</property>
7202
<property name="y_options"></property>
7203
</packing>
7204
</child>
7205
7206
<child>
7207
<widget class="GtkEventBox" id="eventbox3">
7208
<property name="visible">True</property>
7209
<property name="tooltip" translatable="yes">Sets the default encoding for opening existing files.</property>
7210
<property name="visible_window">True</property>
7211
<property name="above_child">False</property>
7212
7213
<child>
7214
<widget class="GtkComboBox" id="combo_open_encoding">
7215
<property name="visible">True</property>
7216
<property name="add_tearoffs">False</property>
7217
<property name="focus_on_click">True</property>
7218
</widget>
7219
</child>
7220
</widget>
7221
<packing>
7222
<property name="left_attach">1</property>
7223
<property name="right_attach">2</property>
7224
<property name="top_attach">2</property>
7225
<property name="bottom_attach">3</property>
7226
<property name="x_options">fill</property>
7227
<property name="y_options">fill</property>
7228
</packing>
7229
</child>
7230
7231
<child>
7232
<widget class="GtkCheckButton" id="check_open_encoding">
7233
<property name="visible">True</property>
7234
<property name="tooltip" translatable="yes">This option disables the automatic detection of the file encoding when opening files and opens the file with the specified encoding (usually not needed).</property>
7235
<property name="can_focus">True</property>
7236
<property name="label" translatable="yes">Use fixed encoding when opening files</property>
7237
<property name="use_underline">True</property>
7238
<property name="relief">GTK_RELIEF_NORMAL</property>
7239
<property name="focus_on_click">True</property>
7240
<property name="active">False</property>
7241
<property name="inconsistent">False</property>
7242
<property name="draw_indicator">True</property>
7243
</widget>
7244
<packing>
7245
<property name="left_attach">0</property>
7246
<property name="right_attach">2</property>
7247
<property name="top_attach">1</property>
7248
<property name="bottom_attach">2</property>
7249
<property name="y_options"></property>
7250
</packing>
7251
</child>
7252
</widget>
7253
</child>
7254
</widget>
7255
</child>
7256
7257
<child>
7258
<widget class="GtkLabel" id="label219">
7259
<property name="visible">True</property>
7260
<property name="label" translatable="yes"><b>Encodings</b></property>
7261
<property name="use_underline">False</property>
7262
<property name="use_markup">True</property>
7263
<property name="justify">GTK_JUSTIFY_LEFT</property>
7264
<property name="wrap">False</property>
7265
<property name="selectable">False</property>
7266
<property name="xalign">0.5</property>
7267
<property name="yalign">0.5</property>
7268
<property name="xpad">0</property>
7269
<property name="ypad">0</property>
7270
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7271
<property name="width_chars">-1</property>
7272
<property name="single_line_mode">False</property>
7273
<property name="angle">0</property>
7274
</widget>
7275
<packing>
7276
<property name="type">label_item</property>
7277
</packing>
7278
</child>
7279
</widget>
7280
<packing>
7281
<property name="padding">0</property>
7282
<property name="expand">False</property>
7283
<property name="fill">True</property>
7284
</packing>
7285
</child>
7286
7287
<child>
6655
7288
<widget class="GtkFrame" id="frame2">
6656
7289
<property name="visible">True</property>
6657
7290
<property name="label_xalign">0</property>
6680
7313
<widget class="GtkCheckButton" id="check_new_line">
6681
7314
<property name="visible">True</property>
6682
7315
<property name="tooltip" translatable="yes">Ensures that at the end of the file is a new line</property>
7316
<property name="can_focus">True</property>
6683
7317
<property name="label" translatable="yes">Ensure new line at file end</property>
6684
7318
<property name="use_underline">True</property>
6685
7319
<property name="relief">GTK_RELIEF_NORMAL</property>
6686
<property name="focus_on_click">False</property>
7320
<property name="focus_on_click">True</property>
6687
7321
<property name="active">False</property>
6688
7322
<property name="inconsistent">False</property>
6689
7323
<property name="draw_indicator">True</property>
6699
7333
<widget class="GtkCheckButton" id="check_trailing_spaces">
6700
7334
<property name="visible">True</property>
6701
7335
<property name="tooltip" translatable="yes">Removes trailing spaces and tabs and the end of lines</property>
6702
<property name="label" translatable="yes">Strip trailing spaces</property>
7336
<property name="can_focus">True</property>
7337
<property name="label" translatable="yes">Strip trailing spaces and tabs</property>
6703
7338
<property name="use_underline">True</property>
6704
7339
<property name="relief">GTK_RELIEF_NORMAL</property>
6705
<property name="focus_on_click">False</property>
7340
<property name="focus_on_click">True</property>
6706
7341
<property name="active">False</property>
6707
7342
<property name="inconsistent">False</property>
6708
7343
<property name="draw_indicator">True</property>
6718
7353
<widget class="GtkCheckButton" id="check_replace_tabs">
6719
7354
<property name="visible">True</property>
6720
7355
<property name="tooltip" translatable="yes">Replaces all tabs in document by spaces.</property>
7356
<property name="can_focus">True</property>
6721
7357
<property name="label" translatable="yes">Replace tabs by space</property>
6722
7358
<property name="use_underline">True</property>
6723
7359
<property name="relief">GTK_RELIEF_NORMAL</property>
6724
<property name="focus_on_click">False</property>
7360
<property name="focus_on_click">True</property>
6725
7361
<property name="active">False</property>
6726
7362
<property name="inconsistent">False</property>
6727
7363
<property name="draw_indicator">True</property>
6787
7423
<property name="right_padding">0</property>
6788
7424
6789
7425
<child>
6790
<widget class="GtkTable" id="table10">
7426
<widget class="GtkVBox" id="vbox37">
6791
7427
<property name="visible">True</property>
6792
<property name="n_rows">2</property>
6793
<property name="n_columns">2</property>
6794
7428
<property name="homogeneous">False</property>
6795
<property name="row_spacing">3</property>
6796
<property name="column_spacing">24</property>
6797
6798
<child>
6799
<widget class="GtkLabel" id="label147">
6800
<property name="visible">True</property>
6801
<property name="label" translatable="yes">Recent files list length:</property>
6802
<property name="use_underline">False</property>
6803
<property name="use_markup">False</property>
6804
<property name="justify">GTK_JUSTIFY_LEFT</property>
6805
<property name="wrap">False</property>
6806
<property name="selectable">False</property>
6807
<property name="xalign">0</property>
6808
<property name="yalign">0.5</property>
6809
<property name="xpad">0</property>
6810
<property name="ypad">7</property>
6811
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
6812
<property name="width_chars">-1</property>
6813
<property name="single_line_mode">False</property>
6814
<property name="angle">0</property>
6815
</widget>
6816
<packing>
6817
<property name="left_attach">0</property>
6818
<property name="right_attach">1</property>
6819
<property name="top_attach">0</property>
6820
<property name="bottom_attach">1</property>
6821
<property name="x_options">fill</property>
6822
<property name="y_options"></property>
6823
</packing>
6824
</child>
6825
6826
<child>
6827
<widget class="GtkSpinButton" id="spin_mru">
6828
<property name="visible">True</property>
6829
<property name="tooltip" translatable="yes">Specifies the number of files which are stored in the Recent files list.</property>
6830
<property name="can_focus">True</property>
6831
<property name="climb_rate">1</property>
6832
<property name="digits">0</property>
6833
<property name="numeric">True</property>
6834
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
6835
<property name="snap_to_ticks">False</property>
6836
<property name="wrap">True</property>
6837
<property name="adjustment">4 1 50 1 10 10</property>
6838
</widget>
6839
<packing>
6840
<property name="left_attach">1</property>
6841
<property name="right_attach">2</property>
6842
<property name="top_attach">0</property>
6843
<property name="bottom_attach">1</property>
6844
<property name="x_options">fill</property>
6845
<property name="y_options"></property>
7429
<property name="spacing">0</property>
7430
7431
<child>
7432
<widget class="GtkTable" id="table10">
7433
<property name="visible">True</property>
7434
<property name="n_rows">2</property>
7435
<property name="n_columns">2</property>
7436
<property name="homogeneous">False</property>
7437
<property name="row_spacing">3</property>
7438
<property name="column_spacing">24</property>
7439
7440
<child>
7441
<widget class="GtkLabel" id="label147">
7442
<property name="visible">True</property>
7443
<property name="label" translatable="yes">Recent files list length:</property>
7444
<property name="use_underline">False</property>
7445
<property name="use_markup">False</property>
7446
<property name="justify">GTK_JUSTIFY_LEFT</property>
7447
<property name="wrap">False</property>
7448
<property name="selectable">False</property>
7449
<property name="xalign">0</property>
7450
<property name="yalign">0.5</property>
7451
<property name="xpad">0</property>
7452
<property name="ypad">7</property>
7453
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7454
<property name="width_chars">-1</property>
7455
<property name="single_line_mode">False</property>
7456
<property name="angle">0</property>
7457
</widget>
7458
<packing>
7459
<property name="left_attach">0</property>
7460
<property name="right_attach">1</property>
7461
<property name="top_attach">0</property>
7462
<property name="bottom_attach">1</property>
7463
<property name="x_options">fill</property>
7464
<property name="y_options"></property>
7465
</packing>
7466
</child>
7467
7468
<child>
7469
<widget class="GtkSpinButton" id="spin_mru">
7470
<property name="visible">True</property>
7471
<property name="tooltip" translatable="yes">Specifies the number of files which are stored in the Recent files list.</property>
7472
<property name="can_focus">True</property>
7473
<property name="climb_rate">1</property>
7474
<property name="digits">0</property>
7475
<property name="numeric">True</property>
7476
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
7477
<property name="snap_to_ticks">False</property>
7478
<property name="wrap">True</property>
7479
<property name="adjustment">4 1 50 1 10 0</property>
7480
</widget>
7481
<packing>
7482
<property name="left_attach">1</property>
7483
<property name="right_attach">2</property>
7484
<property name="top_attach">0</property>
7485
<property name="bottom_attach">1</property>
7486
<property name="x_options">fill</property>
7487
<property name="y_options"></property>
7488
</packing>
7489
</child>
7490
7491
<child>
7492
<widget class="GtkLabel" id="label208">
7493
<property name="visible">True</property>
7494
<property name="label" translatable="yes">Disk check timeout:</property>
7495
<property name="use_underline">False</property>
7496
<property name="use_markup">False</property>
7497
<property name="justify">GTK_JUSTIFY_LEFT</property>
7498
<property name="wrap">False</property>
7499
<property name="selectable">False</property>
7500
<property name="xalign">0</property>
7501
<property name="yalign">0.5</property>
7502
<property name="xpad">0</property>
7503
<property name="ypad">0</property>
7504
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7505
<property name="width_chars">-1</property>
7506
<property name="single_line_mode">False</property>
7507
<property name="angle">0</property>
7508
</widget>
7509
<packing>
7510
<property name="left_attach">0</property>
7511
<property name="right_attach">1</property>
7512
<property name="top_attach">1</property>
7513
<property name="bottom_attach">2</property>
7514
<property name="x_options">fill</property>
7515
<property name="y_options"></property>
7516
</packing>
7517
</child>
7518
7519
<child>
7520
<widget class="GtkSpinButton" id="spin_disk_check">
7521
<property name="visible">True</property>
7522
<property name="tooltip" translatable="yes">How often to check for changes to document files on disk, in seconds. Zero disables checking.</property>
7523
<property name="can_focus">True</property>
7524
<property name="climb_rate">1</property>
7525
<property name="digits">0</property>
7526
<property name="numeric">True</property>
7527
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
7528
<property name="snap_to_ticks">False</property>
7529
<property name="wrap">True</property>
7530
<property name="adjustment">30 0 10000 1 10 0</property>
7531
</widget>
7532
<packing>
7533
<property name="left_attach">1</property>
7534
<property name="right_attach">2</property>
7535
<property name="top_attach">1</property>
7536
<property name="bottom_attach">2</property>
7537
<property name="x_options">fill</property>
7538
<property name="y_options"></property>
7539
</packing>
7540
</child>
7541
</widget>
7542
<packing>
7543
<property name="padding">0</property>
7544
<property name="expand">True</property>
7545
<property name="fill">True</property>
6846
7546
</packing>
6847
7547
</child>
6848
7548
</widget>
6910
7610
</child>
6911
7611
6912
7612
<child>
7613
<widget class="GtkFrame" id="frame36">
7614
<property name="border_width">5</property>
7615
<property name="visible">True</property>
7616
<property name="label_xalign">0</property>
7617
<property name="label_yalign">0.5</property>
7618
<property name="shadow_type">GTK_SHADOW_NONE</property>
7619
7620
<child>
7621
<widget class="GtkAlignment" id="alignment39">
7622
<property name="visible">True</property>
7623
<property name="xalign">0.5</property>
7624
<property name="yalign">0.5</property>
7625
<property name="xscale">1</property>
7626
<property name="yscale">1</property>
7627
<property name="top_padding">0</property>
7628
<property name="bottom_padding">0</property>
7629
<property name="left_padding">12</property>
7630
<property name="right_padding">0</property>
7631
7632
<child>
7633
<widget class="GtkVBox" id="vbox36">
7634
<property name="visible">True</property>
7635
<property name="homogeneous">False</property>
7636
<property name="spacing">0</property>
7637
7638
<child>
7639
<widget class="GtkCheckButton" id="check_ask_suppress_search_dialogs">
7640
<property name="visible">True</property>
7641
<property name="tooltip" translatable="yes">Always wrap search around the document and hide the Find dialog after clicking Find Next/Previous.</property>
7642
<property name="can_focus">True</property>
7643
<property name="label" translatable="yes">Always wrap search and hide the Find dialog</property>
7644
<property name="use_underline">True</property>
7645
<property name="relief">GTK_RELIEF_NORMAL</property>
7646
<property name="focus_on_click">True</property>
7647
<property name="active">False</property>
7648
<property name="inconsistent">False</property>
7649
<property name="draw_indicator">True</property>
7650
</widget>
7651
<packing>
7652
<property name="padding">0</property>
7653
<property name="expand">False</property>
7654
<property name="fill">False</property>
7655
</packing>
7656
</child>
7657
7658
<child>
7659
<widget class="GtkCheckButton" id="check_search_use_current_word">
7660
<property name="visible">True</property>
7661
<property name="tooltip" translatable="yes">Use current word under the cursor when opening the Find, Find in Files or Replace dialog and there is no selection.</property>
7662
<property name="can_focus">True</property>
7663
<property name="label" translatable="yes">Use the current word under the cursor for Find dialogs</property>
7664
<property name="use_underline">True</property>
7665
<property name="relief">GTK_RELIEF_NORMAL</property>
7666
<property name="focus_on_click">True</property>
7667
<property name="active">False</property>
7668
<property name="inconsistent">False</property>
7669
<property name="draw_indicator">True</property>
7670
</widget>
7671
<packing>
7672
<property name="padding">0</property>
7673
<property name="expand">False</property>
7674
<property name="fill">False</property>
7675
</packing>
7676
</child>
7677
7678
<child>
7679
<widget class="GtkCheckButton" id="check_fif_current_dir">
7680
<property name="visible">True</property>
7681
<property name="can_focus">True</property>
7682
<property name="label" translatable="yes">Use the current file's directory for Find in Files</property>
7683
<property name="use_underline">True</property>
7684
<property name="relief">GTK_RELIEF_NORMAL</property>
7685
<property name="focus_on_click">True</property>
7686
<property name="active">False</property>
7687
<property name="inconsistent">False</property>
7688
<property name="draw_indicator">True</property>
7689
</widget>
7690
<packing>
7691
<property name="padding">0</property>
7692
<property name="expand">False</property>
7693
<property name="fill">False</property>
7694
</packing>
7695
</child>
7696
</widget>
7697
</child>
7698
</widget>
7699
</child>
7700
7701
<child>
7702
<widget class="GtkLabel" id="label215">
7703
<property name="visible">True</property>
7704
<property name="label" translatable="yes"><b>Search</b></property>
7705
<property name="use_underline">False</property>
7706
<property name="use_markup">True</property>
7707
<property name="justify">GTK_JUSTIFY_LEFT</property>
7708
<property name="wrap">False</property>
7709
<property name="selectable">False</property>
7710
<property name="xalign">0.5</property>
7711
<property name="yalign">0.5</property>
7712
<property name="xpad">0</property>
7713
<property name="ypad">0</property>
7714
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7715
<property name="width_chars">-1</property>
7716
<property name="single_line_mode">False</property>
7717
<property name="angle">0</property>
7718
</widget>
7719
<packing>
7720
<property name="type">label_item</property>
7721
</packing>
7722
</child>
7723
</widget>
7724
<packing>
7725
<property name="tab_expand">False</property>
7726
<property name="tab_fill">True</property>
7727
</packing>
7728
</child>
7729
7730
<child>
7731
<widget class="GtkLabel" id="label214">
7732
<property name="visible">True</property>
7733
<property name="label" translatable="yes">Search</property>
7734
<property name="use_underline">False</property>
7735
<property name="use_markup">False</property>
7736
<property name="justify">GTK_JUSTIFY_LEFT</property>
7737
<property name="wrap">False</property>
7738
<property name="selectable">False</property>
7739
<property name="xalign">0.5</property>
7740
<property name="yalign">0.5</property>
7741
<property name="xpad">0</property>
7742
<property name="ypad">0</property>
7743
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
7744
<property name="width_chars">-1</property>
7745
<property name="single_line_mode">False</property>
7746
<property name="angle">0</property>
7747
</widget>
7748
<packing>
7749
<property name="type">tab</property>
7750
</packing>
7751
</child>
7752
7753
<child>
6913
7754
<widget class="GtkVBox" id="vbox23">
7755
<property name="border_width">5</property>
6914
7756
<property name="visible">True</property>
6915
7757
<property name="homogeneous">False</property>
6916
7758
<property name="spacing">10</property>
7494
8336
7495
8337
<child>
7496
8338
<widget class="GtkFrame" id="frame21">
8339
<property name="border_width">5</property>
7497
8340
<property name="visible">True</property>
7498
8341
<property name="label_xalign">0</property>
7499
8342
<property name="label_yalign">0.5</property>
7537
8380
<child>
7538
8381
<widget class="GtkTable" id="table6">
7539
8382
<property name="visible">True</property>
7540
<property name="n_rows">5</property>
8383
<property name="n_rows">8</property>
7541
8384
<property name="n_columns">2</property>
7542
8385
<property name="homogeneous">False</property>
7543
8386
<property name="row_spacing">6</property>
7792
8635
<property name="y_options"></property>
7793
8636
</packing>
7794
8637
</child>
8638
8639
<child>
8640
<widget class="GtkLabel" id="label216">
8641
<property name="visible">True</property>
8642
<property name="label" translatable="yes">Year:</property>
8643
<property name="use_underline">False</property>
8644
<property name="use_markup">False</property>
8645
<property name="justify">GTK_JUSTIFY_LEFT</property>
8646
<property name="wrap">False</property>
8647
<property name="selectable">False</property>
8648
<property name="xalign">0</property>
8649
<property name="yalign">0.5</property>
8650
<property name="xpad">0</property>
8651
<property name="ypad">0</property>
8652
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8653
<property name="width_chars">-1</property>
8654
<property name="single_line_mode">False</property>
8655
<property name="angle">0</property>
8656
</widget>
8657
<packing>
8658
<property name="left_attach">0</property>
8659
<property name="right_attach">1</property>
8660
<property name="top_attach">5</property>
8661
<property name="bottom_attach">6</property>
8662
<property name="x_options">fill</property>
8663
<property name="y_options"></property>
8664
</packing>
8665
</child>
8666
8667
<child>
8668
<widget class="GtkLabel" id="label217">
8669
<property name="visible">True</property>
8670
<property name="label" translatable="yes">Date:</property>
8671
<property name="use_underline">False</property>
8672
<property name="use_markup">False</property>
8673
<property name="justify">GTK_JUSTIFY_LEFT</property>
8674
<property name="wrap">False</property>
8675
<property name="selectable">False</property>
8676
<property name="xalign">0</property>
8677
<property name="yalign">0.5</property>
8678
<property name="xpad">0</property>
8679
<property name="ypad">0</property>
8680
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8681
<property name="width_chars">-1</property>
8682
<property name="single_line_mode">False</property>
8683
<property name="angle">0</property>
8684
</widget>
8685
<packing>
8686
<property name="left_attach">0</property>
8687
<property name="right_attach">1</property>
8688
<property name="top_attach">6</property>
8689
<property name="bottom_attach">7</property>
8690
<property name="x_options">fill</property>
8691
<property name="y_options"></property>
8692
</packing>
8693
</child>
8694
8695
<child>
8696
<widget class="GtkLabel" id="label218">
8697
<property name="visible">True</property>
8698
<property name="label" translatable="yes">Date & Time:</property>
8699
<property name="use_underline">False</property>
8700
<property name="use_markup">False</property>
8701
<property name="justify">GTK_JUSTIFY_LEFT</property>
8702
<property name="wrap">False</property>
8703
<property name="selectable">False</property>
8704
<property name="xalign">0</property>
8705
<property name="yalign">0.5</property>
8706
<property name="xpad">0</property>
8707
<property name="ypad">0</property>
8708
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
8709
<property name="width_chars">-1</property>
8710
<property name="single_line_mode">False</property>
8711
<property name="angle">0</property>
8712
</widget>
8713
<packing>
8714
<property name="left_attach">0</property>
8715
<property name="right_attach">1</property>
8716
<property name="top_attach">7</property>
8717
<property name="bottom_attach">8</property>
8718
<property name="x_options">fill</property>
8719
<property name="y_options"></property>
8720
</packing>
8721
</child>
8722
8723
<child>
8724
<widget class="GtkEntry" id="entry_template_datetime">
8725
<property name="visible">True</property>
8726
<property name="tooltip" translatable="yes">Specify a format for the the {datetime} wildcard. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
8727
<property name="can_focus">True</property>
8728
<property name="editable">True</property>
8729
<property name="visibility">True</property>
8730
<property name="max_length">0</property>
8731
<property name="text" translatable="yes"></property>
8732
<property name="has_frame">True</property>
8733
<property name="invisible_char">*</property>
8734
<property name="activates_default">False</property>
8735
</widget>
8736
<packing>
8737
<property name="left_attach">1</property>
8738
<property name="right_attach">2</property>
8739
<property name="top_attach">7</property>
8740
<property name="bottom_attach">8</property>
8741
<property name="y_options"></property>
8742
</packing>
8743
</child>
8744
8745
<child>
8746
<widget class="GtkEntry" id="entry_template_year">
8747
<property name="visible">True</property>
8748
<property name="tooltip" translatable="yes">Specify a format for the the {year} wildcard. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
8749
<property name="can_focus">True</property>
8750
<property name="editable">True</property>
8751
<property name="visibility">True</property>
8752
<property name="max_length">0</property>
8753
<property name="text" translatable="yes"></property>
8754
<property name="has_frame">True</property>
8755
<property name="invisible_char">*</property>
8756
<property name="activates_default">False</property>
8757
</widget>
8758
<packing>
8759
<property name="left_attach">1</property>
8760
<property name="right_attach">2</property>
8761
<property name="top_attach">5</property>
8762
<property name="bottom_attach">6</property>
8763
<property name="y_options"></property>
8764
</packing>
8765
</child>
8766
8767
<child>
8768
<widget class="GtkEntry" id="entry_template_date">
8769
<property name="visible">True</property>
8770
<property name="tooltip" translatable="yes">Specify a format for the the {date} wildcard. You can use any conversion specifiers which can be used with the ANSI C strftime function.</property>
8771
<property name="can_focus">True</property>
8772
<property name="editable">True</property>
8773
<property name="visibility">True</property>
8774
<property name="max_length">0</property>
8775
<property name="text" translatable="yes"></property>
8776
<property name="has_frame">True</property>
8777
<property name="invisible_char">*</property>
8778
<property name="activates_default">False</property>
8779
</widget>
8780
<packing>
8781
<property name="left_attach">1</property>
8782
<property name="right_attach">2</property>
8783
<property name="top_attach">6</property>
8784
<property name="bottom_attach">7</property>
8785
<property name="y_options"></property>
8786
</packing>
8787
</child>
7795
8788
</widget>
7796
8789
<packing>
7797
8790
<property name="padding">0</property>
7858
8851
7859
8852
<child>
7860
8853
<widget class="GtkFrame" id="frame22">
8854
<property name="border_width">5</property>
7861
8855
<property name="visible">True</property>
7862
8856
<property name="label_xalign">0</property>
7863
8857
<property name="label_yalign">0.5</property>
7914
8908
<property name="headers_visible">True</property>
7915
8909
<property name="rules_hint">True</property>
7916
8910
<property name="reorderable">False</property>
7917
<property name="enable_search">False</property>
8911
<property name="enable_search">True</property>
7918
8912
<property name="fixed_height_mode">False</property>
7919
8913
<property name="hover_selection">False</property>
7920
8914
<property name="hover_expand">False</property>
8016
9010
8017
9011
<child>
8018
9012
<widget class="GtkVBox" id="vbox27">
9013
<property name="border_width">5</property>
8019
9014
<property name="visible">True</property>
8020
9015
<property name="homogeneous">False</property>
8021
9016
<property name="spacing">0</property>
8127
9122
<property name="label" translatable="yes">Use an external command for printing</property>
8128
9123
<property name="use_underline">True</property>
8129
9124
<property name="relief">GTK_RELIEF_NORMAL</property>
8130
<property name="focus_on_click">False</property>
9125
<property name="focus_on_click">True</property>
8131
9126
<property name="active">False</property>
8132
9127
<property name="inconsistent">False</property>
8133
9128
<property name="draw_indicator">True</property>
8177
9172
<property name="label" translatable="yes">Print line numbers</property>
8178
9173
<property name="use_underline">True</property>
8179
9174
<property name="relief">GTK_RELIEF_NORMAL</property>
8180
<property name="focus_on_click">False</property>
9175
<property name="focus_on_click">True</property>
8181
9176
<property name="active">False</property>
8182
9177
<property name="inconsistent">False</property>
8183
9178
<property name="draw_indicator">True</property>
8197
9192
<property name="label" translatable="yes">Print page numbers</property>
8198
9193
<property name="use_underline">True</property>
8199
9194
<property name="relief">GTK_RELIEF_NORMAL</property>
8200
<property name="focus_on_click">False</property>
9195
<property name="focus_on_click">True</property>
8201
9196
<property name="active">False</property>
8202
9197
<property name="inconsistent">False</property>
8203
9198
<property name="draw_indicator">True</property>
8217
9212
<property name="label" translatable="yes">Print page header</property>
8218
9213
<property name="use_underline">True</property>
8219
9214
<property name="relief">GTK_RELIEF_NORMAL</property>
8220
<property name="focus_on_click">False</property>
9215
<property name="focus_on_click">True</property>
8221
9216
<property name="active">False</property>
8222
9217
<property name="inconsistent">False</property>
8223
9218
<property name="draw_indicator">True</property>
8262
9257
<property name="label" translatable="yes">Use the basename of the printed file</property>
8263
9258
<property name="use_underline">True</property>
8264
9259
<property name="relief">GTK_RELIEF_NORMAL</property>
8265
<property name="focus_on_click">False</property>
9260
<property name="focus_on_click">True</property>
8266
9261
<property name="active">False</property>
8267
9262
<property name="inconsistent">False</property>
8268
9263
<property name="draw_indicator">True</property>
8354
9349
<property name="label" translatable="yes">Use native GTK printing</property>
8355
9350
<property name="use_underline">True</property>
8356
9351
<property name="relief">GTK_RELIEF_NORMAL</property>
8357
<property name="focus_on_click">False</property>
9352
<property name="focus_on_click">True</property>
8358
9353
<property name="active">False</property>
8359
9354
<property name="inconsistent">False</property>
8360
9355
<property name="draw_indicator">True</property>
Loggerhead is a web-based interface for Breezy
Version: 2.0.1