← Back to branch summary

~ubuntu-branches/ubuntu/trusty/xiphos/trusty

« back to all changes in this revision

Viewing changes to ui/prefs.glade

  • Committer: Bazaar Package Importer
  • Author(s): Dmitrijs Ledkovs, Jonathan Marsden, Dmitrijs Ledkovs
  • Date: 2010-11-25 21:26:48 UTC
  • mfrom: (2.1.1 experimental)
  • Revision ID: james.westby@ubuntu.com-20101125212648-mc64wvs0nw3xp7bx
Tags: 3.1.4-1
[ Jonathan Marsden ]
* New upstream release 3.1.4
* Removed debian/patch/* since the one patch was included upstream.
* Bumped Standards-Version to 3.9.1 (no changes required).
* debian/README.Debian: Corrected spelling and reworded for clarity.
* debian/control: Add Jonathan Marsden back into Uploaders.

[ Dmitrijs Ledkovs ]
* Added local options dpkg-source to unapply patches and fail on
  upstream source changes (ignoring false positives).
* Added bzr-builddeb hook to generate source-format before build. If you
  are not using bzr-builddeb, you must run "./debian/rules clean" before
  building.
* patches/xul-2.0.patch: bump UPPER_RANGE to allow running against xul20.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ui/prefs.glade
7
7
  <property name="visible">True</property>
8
8
  <property name="title" translatable="yes">Preferences</property>
9
9
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
10
 
  <property name="window_position">GTK_WIN_POS_NONE</property>
 
10
  <property name="window_position">GTK_WIN_POS_CENTER</property>
11
11
  <property name="modal">False</property>
12
12
  <property name="default_width">590</property>
13
13
  <property name="default_height">300</property>
64
64
 
65
65
          <child>
66
66
            <widget class="GtkScrolledWindow" id="scrolledwindow">
67
 
              <property name="width_request">155</property>
 
67
              <property name="width_request">165</property>
68
68
              <property name="visible">True</property>
69
69
              <property name="can_focus">True</property>
70
70
              <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
542
542
                          <property name="fill">True</property>
543
543
                        </packing>
544
544
                      </child>
 
545
 
 
546
                      <child>
 
547
                        <widget class="GtkHBox" id="hbox29">
 
548
                          <property name="visible">True</property>
 
549
                          <property name="homogeneous">True</property>
 
550
                          <property name="spacing">0</property>
 
551
 
 
552
                          <child>
 
553
                            <widget class="GtkLabel" id="label42">
 
554
                              <property name="visible">True</property>
 
555
                              <property name="label" translatable="yes">Invert color pairs</property>
 
556
                              <property name="use_underline">False</property>
 
557
                              <property name="use_markup">False</property>
 
558
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
559
                              <property name="wrap">False</property>
 
560
                              <property name="selectable">False</property>
 
561
                              <property name="xalign">0.0900000035763</property>
 
562
                              <property name="yalign">0.5</property>
 
563
                              <property name="xpad">0</property>
 
564
                              <property name="ypad">0</property>
 
565
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
566
                              <property name="width_chars">-1</property>
 
567
                              <property name="single_line_mode">False</property>
 
568
                              <property name="angle">0</property>
 
569
                            </widget>
 
570
                            <packing>
 
571
                              <property name="padding">0</property>
 
572
                              <property name="expand">True</property>
 
573
                              <property name="fill">True</property>
 
574
                            </packing>
 
575
                          </child>
 
576
 
 
577
                          <child>
 
578
                            <widget class="GtkHBox" id="hbox29a">
 
579
                              <property name="visible">True</property>
 
580
                              <property name="homogeneous">True</property>
 
581
                              <property name="spacing">0</property>
 
582
 
 
583
                              <child>
 
584
                                <widget class="GtkButton" id="invert_normal">
 
585
                                  <property name="visible">True</property>
 
586
                                  <property name="can_default">True</property>
 
587
                                  <property name="can_focus">True</property>
 
588
                                  <property name="label" translatable="yes">Normal Text</property>
 
589
                                  <property name="use_stock">False</property>
 
590
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
591
                                  <property name="focus_on_click">True</property>
 
592
                                  <property name="response_id">-8</property>
 
593
                                </widget>
 
594
                                <packing>
 
595
                                  <property name="padding">0</property>
 
596
                                  <property name="expand">True</property>
 
597
                                  <property name="fill">True</property>
 
598
                                </packing>
 
599
                              </child>
 
600
 
 
601
                              <child>
 
602
                                <widget class="GtkButton" id="invert_highlight">
 
603
                                  <property name="visible">True</property>
 
604
                                  <property name="can_default">True</property>
 
605
                                  <property name="can_focus">True</property>
 
606
                                  <property name="label" translatable="yes">Highlight</property>
 
607
                                  <property name="use_stock">False</property>
 
608
                                  <property name="relief">GTK_RELIEF_NORMAL</property>
 
609
                                  <property name="focus_on_click">True</property>
 
610
                                  <property name="response_id">-9</property>
 
611
                                </widget>
 
612
                                <packing>
 
613
                                  <property name="padding">0</property>
 
614
                                  <property name="expand">True</property>
 
615
                                  <property name="fill">True</property>
 
616
                                </packing>
 
617
                              </child>
 
618
 
 
619
                            </widget>
 
620
                          </child>
 
621
                        </widget>
 
622
                        <packing>
 
623
                          <property name="padding">0</property>
 
624
                          <property name="expand">True</property>
 
625
                          <property name="fill">True</property>
 
626
                        </packing>
 
627
                      </child>
 
628
 
545
629
                    </widget>
546
630
                    <packing>
547
631
                      <property name="padding">0</property>
612
696
                  </child>
613
697
 
614
698
                  <child>
615
 
                    <widget class="GtkHBox" id="basehbox11">
 
699
                    <widget class="GtkHBox" id="basehbox10">
616
700
                      <property name="border_width">8</property>
617
701
                      <property name="visible">True</property>
618
702
                      <property name="homogeneous">True</property>
622
706
                        <widget class="GtkLabel" id="baselabel16">
623
707
                          <property name="visible">True</property>
624
708
                          <property name="label" translatable="yes">Base font size</property>
 
709
                          <property name="tooltip" translatable="yes">All displayed font sizes are relative to this choice</property>
625
710
                          <property name="use_underline">False</property>
626
711
                          <property name="use_markup">False</property>
627
712
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
682
767
                        <widget class="GtkLabel" id="label16">
683
768
                          <property name="visible">True</property>
684
769
                          <property name="label" translatable="yes">Verse number size</property>
 
770
                          <property name="tooltip" translatable="yes">Commonly -1, to make verse numbers less obtrusive</property>
685
771
                          <property name="use_underline">False</property>
686
772
                          <property name="use_markup">False</property>
687
773
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
730
816
                      <property name="fill">True</property>
731
817
                    </packing>
732
818
                  </child>
 
819
 
 
820
                  <child>
 
821
                    <widget class="GtkHBox" id="hbox31">
 
822
                      <property name="visible">True</property>
 
823
                      <property name="homogeneous">True</property>
 
824
                      <property name="spacing">0</property>
 
825
 
 
826
                      <child>
 
827
                        <widget class="GtkLabel" id="label41">
 
828
                          <property name="visible">True</property>
 
829
                          <property name="label" translatable="yes">Font preferences, per language</property>
 
830
                          <property name="tooltip" translatable="yes">Name and size choice for any module in a given language; still overridden by a specific choice on a particular module</property>
 
831
                          <property name="use_underline">False</property>
 
832
                          <property name="use_markup">True</property>
 
833
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
834
                          <property name="wrap">False</property>
 
835
                          <property name="selectable">False</property>
 
836
                          <property name="xalign">0</property>
 
837
                          <property name="yalign">0.5</property>
 
838
                          <property name="xpad">0</property>
 
839
                          <property name="ypad">0</property>
 
840
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
841
                          <property name="width_chars">-1</property>
 
842
                          <property name="single_line_mode">False</property>
 
843
                          <property name="angle">0</property>
 
844
                        </widget>
 
845
                        <packing>
 
846
                          <property name="padding">0</property>
 
847
                          <property name="expand">False</property>
 
848
                          <property name="fill">True</property>
 
849
                        </packing>
 
850
                      </child>
 
851
 
 
852
                      <child>
 
853
                        <widget class="GtkComboBox" id="combobox17">
 
854
                          <property name="visible">True</property>
 
855
                          <property name="add_tearoffs">False</property>
 
856
                          <property name="focus_on_click">True</property>
 
857
                          <accessibility>
 
858
                            <atkproperty name="AtkObject::accessible_name" translatable="yes">Language Font Combo</atkproperty>
 
859
                          </accessibility>
 
860
                        </widget>
 
861
                        <packing>
 
862
                          <property name="padding">0</property>
 
863
                          <property name="expand">True</property>
 
864
                          <property name="fill">True</property>
 
865
                        </packing>
 
866
                      </child>
 
867
                    </widget>
 
868
                    <packing>
 
869
                      <property name="padding">0</property>
 
870
                      <property name="expand">True</property>
 
871
                      <property name="fill">False</property>
 
872
                    </packing>
 
873
                  </child>
 
874
 
733
875
                </widget>
734
876
                <packing>
735
877
                  <property name="tab_expand">False</property>
798
940
                      <property name="visible">True</property>
799
941
                      <property name="can_focus">True</property>
800
942
                      <property name="label" translatable="yes">Use tabbed browsing</property>
 
943
                      <property name="tooltip" translatable="yes">Single selection of Bible+commentary+book+dictionary, or many sets of such selections in a tabbed interface</property>
801
944
                      <property name="use_underline">True</property>
802
945
                      <property name="relief">GTK_RELIEF_NORMAL</property>
803
946
                      <property name="focus_on_click">True</property>
1030
1173
                      <property name="spacing">2</property>
1031
1174
 
1032
1175
                      <child>
1033
 
                        <widget class="GtkHBox" id="hbox23">
 
1176
                        <widget class="GtkHBox" id="hbox30">
1034
1177
                          <property name="visible">True</property>
1035
1178
                          <property name="homogeneous">True</property>
1036
1179
                          <property name="spacing">0</property>
1037
1180
 
1038
 
<!-- crud -->
1039
1181
                          <child>
1040
1182
                            <widget class="GtkLabel" id="label40">
1041
1183
                              <property name="visible">True</property>
1042
1184
                              <property name="label" translatable="yes">Special Locale (requires restart)</property>
 
1185
                              <property name="tooltip" translatable="yes">Select a particular language for interface display, other than your usual setting</property>
1043
1186
                              <property name="use_underline">False</property>
1044
1187
                              <property name="use_markup">True</property>
1045
1188
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
1083
1226
                          <property name="fill">True</property>
1084
1227
                        </packing>
1085
1228
                      </child>
1086
 
<!-- crud -->
1087
 
 
1088
 
                      <child>
1089
 
                        <widget class="GtkCheckButton" id="checkbutton5">
1090
 
                          <property name="visible">True</property>
1091
 
                          <property name="can_focus">True</property>
1092
 
                          <property name="label" translatable="yes">Use Verse Per Line</property>
1093
 
                          <property name="use_underline">True</property>
1094
 
                          <property name="relief">GTK_RELIEF_NORMAL</property>
1095
 
                          <property name="focus_on_click">True</property>
1096
 
                          <property name="active">True</property>
1097
 
                          <property name="inconsistent">False</property>
1098
 
                          <property name="draw_indicator">True</property>
1099
 
                          <accessibility>
1100
 
                            <atkproperty name="AtkObject::accessible_name" translatable="yes">Use Verse Per Line Checkbox</atkproperty>
1101
 
                          </accessibility>
1102
 
                        </widget>
1103
 
                        <packing>
1104
 
                          <property name="padding">0</property>
1105
 
                          <property name="expand">False</property>
1106
 
                          <property name="fill">False</property>
1107
 
                        </packing>
1108
 
                      </child>
1109
1229
 
1110
1230
                      <child>
1111
1231
                        <widget class="GtkCheckButton" id="checkbutton6">
1112
1232
                          <property name="visible">True</property>
1113
1233
                          <property name="can_focus">True</property>
1114
1234
                          <property name="label" translatable="yes">Use default Dictionary</property>
 
1235
                          <property name="tooltip" translatable="yes">Make double-click of a word always use default dictionary instead of dictionary currently displayed</property>
1115
1236
                          <property name="use_underline">True</property>
1116
1237
                          <property name="relief">GTK_RELIEF_NORMAL</property>
1117
1238
                          <property name="focus_on_click">True</property>
1134
1255
                          <property name="visible">True</property>
1135
1256
                          <property name="can_focus">True</property>
1136
1257
                          <property name="label" translatable="yes">Show Daily Devotion at start up</property>
 
1258
                          <property name="tooltip" translatable="yes">If you have set a preferred daily devotion module, its entry for today will be shown at startup.</property>
1137
1259
                          <property name="use_underline">True</property>
1138
1260
                          <property name="relief">GTK_RELIEF_NORMAL</property>
1139
1261
                          <property name="focus_on_click">True</property>
1170
1292
                      <child>
1171
1293
                        <widget class="GtkCheckButton" id="checkbutton_scroll">
1172
1294
                          <property name="visible">True</property>
 
1295
                          <property name="can_focus">True</property>
 
1296
                          <property name="label" translatable="yes">Scroll to Previous/Next Chapter</property>
1173
1297
                          <property name="tooltip" translatable="yes">Use Bible Text scroll bar to scroll to previous or next chapter</property>
1174
 
                          <property name="can_focus">True</property>
1175
 
                          <property name="label" translatable="yes">Scroll to Previous/Next Chapter</property>
1176
1298
                          <property name="use_underline">True</property>
1177
1299
                          <property name="relief">GTK_RELIEF_NORMAL</property>
1178
1300
                          <property name="focus_on_click">True</property>
1193
1315
                      <child>
1194
1316
                        <widget class="GtkCheckButton" id="checkbutton_imageresize">
1195
1317
                          <property name="visible">True</property>
1196
 
                          <property name="tooltip" translatable="yes">Automatically resize commentary, book, and dictionary image content to fit subwindow</property>
1197
1318
                          <property name="can_focus">True</property>
1198
1319
                          <property name="label" translatable="yes">Resize images</property>
 
1320
                          <property name="tooltip" translatable="yes">Automatically resize image content to fit the pane</property>
1199
1321
                          <property name="use_underline">True</property>
1200
1322
                          <property name="relief">GTK_RELIEF_NORMAL</property>
1201
1323
                          <property name="focus_on_click">True</property>
1216
1338
                      <child>
1217
1339
                        <widget class="GtkCheckButton" id="checkbutton_versehighlight">
1218
1340
                          <property name="visible">True</property>
1219
 
                          <property name="tooltip" translatable="yes">Apply high-contrast highlight to current verse</property>
1220
1341
                          <property name="can_focus">True</property>
1221
1342
                          <property name="label" translatable="yes">Highlight current verse</property>
 
1343
                          <property name="tooltip" translatable="yes">Apply high-contrast highlight to current verse - see color pickers</property>
1222
1344
                          <property name="use_underline">True</property>
1223
1345
                          <property name="relief">GTK_RELIEF_NORMAL</property>
1224
1346
                          <property name="focus_on_click">True</property>
1237
1359
                      </child>
1238
1360
 
1239
1361
                      <child>
 
1362
                        <widget class="GtkCheckButton" id="checkbutton_annotate_highlight">
 
1363
                          <property name="visible">True</property>
 
1364
                          <property name="can_focus">True</property>
 
1365
                          <property name="label" translatable="yes">Highlight user annotations</property>
 
1366
                          <property name="tooltip" translatable="yes">Use inverted highlight on user-annotated verses</property>
 
1367
                          <property name="use_underline">True</property>
 
1368
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1369
                          <property name="focus_on_click">True</property>
 
1370
                          <property name="active">True</property>
 
1371
                          <property name="inconsistent">False</property>
 
1372
                          <property name="draw_indicator">True</property>
 
1373
                          <accessibility>
 
1374
                            <atkproperty name="AtkObject::accessible_name" translatable="yes">Highlight user annotations check box</atkproperty>
 
1375
                          </accessibility>
 
1376
                        </widget>
 
1377
                        <packing>
 
1378
                          <property name="padding">0</property>
 
1379
                          <property name="expand">False</property>
 
1380
                          <property name="fill">False</property>
 
1381
                        </packing>
 
1382
                      </child>
 
1383
 
 
1384
                      <child>
 
1385
                        <widget class="GtkCheckButton" id="checkbutton_xrefs_in_verse_list">
 
1386
                          <property name="visible">True</property>
 
1387
                          <property name="can_focus">True</property>
 
1388
                          <property name="label" translatable="yes">Cross-references in verse list</property>
 
1389
                          <property name="tooltip" translatable="yes">Use the verse list for Bible cross-references instead of the previewer</property>
 
1390
                          <property name="use_underline">True</property>
 
1391
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1392
                          <property name="focus_on_click">True</property>
 
1393
                          <property name="active">True</property>
 
1394
                          <property name="inconsistent">False</property>
 
1395
                          <property name="draw_indicator">True</property>
 
1396
                          <accessibility>
 
1397
                            <atkproperty name="AtkObject::accessible_name" translatable="yes">Xrefs in verse list check box</atkproperty>
 
1398
                          </accessibility>
 
1399
                        </widget>
 
1400
                        <packing>
 
1401
                          <property name="padding">0</property>
 
1402
                          <property name="expand">False</property>
 
1403
                          <property name="fill">False</property>
 
1404
                        </packing>
 
1405
                      </child>
 
1406
 
 
1407
                      <child>
1240
1408
                        <widget class="GtkCheckButton" id="checkbutton_prayerlist">
1241
1409
                          <property name="visible">True</property>
1242
 
                          <property name="tooltip" translatable="yes">Choose to enable Prayer lists </property>
1243
1410
                          <property name="can_focus">True</property>
1244
1411
                          <property name="label" translatable="yes">Enable Prayer Lists</property>
 
1412
                          <property name="tooltip" translatable="yes">Make journals/prayer lists available</property>
1245
1413
                          <property name="use_underline">True</property>
1246
1414
                          <property name="relief">GTK_RELIEF_NORMAL</property>
1247
1415
                          <property name="focus_on_click">True</property>
1356
1524
              <child>
1357
1525
                <widget class="GtkVBox" id="vbox8">
1358
1526
                  <property name="border_width">6</property>
1359
 
                  <property name="visible">True</property>
 
1527
                  <property name="visible">False</property>
1360
1528
                  <property name="homogeneous">False</property>
1361
1529
                  <property name="spacing">0</property>
1362
1530
 
1555
1723
                      </child>
1556
1724
 
1557
1725
                      <child>
1558
 
                        <widget class="GtkHBox" id="hbox16">
1559
 
                          <property name="visible">True</property>
1560
 
                          <property name="homogeneous">True</property>
1561
 
                          <property name="spacing">0</property>
1562
 
 
1563
 
                          <child>
1564
 
                            <widget class="GtkLabel" id="label25">
1565
 
                              <property name="visible">True</property>
1566
 
                              <property name="label" translatable="yes">Default Dictionary</property>
1567
 
                              <property name="use_underline">False</property>
1568
 
                              <property name="use_markup">False</property>
1569
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
1570
 
                              <property name="wrap">False</property>
1571
 
                              <property name="selectable">False</property>
1572
 
                              <property name="xalign">0</property>
1573
 
                              <property name="yalign">0.5</property>
1574
 
                              <property name="xpad">0</property>
1575
 
                              <property name="ypad">0</property>
1576
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1577
 
                              <property name="width_chars">-1</property>
1578
 
                              <property name="single_line_mode">False</property>
1579
 
                              <property name="angle">0</property>
1580
 
                            </widget>
1581
 
                            <packing>
1582
 
                              <property name="padding">0</property>
1583
 
                              <property name="expand">False</property>
1584
 
                              <property name="fill">True</property>
1585
 
                            </packing>
1586
 
                          </child>
1587
 
 
1588
 
                          <child>
1589
 
                            <widget class="GtkComboBox" id="combobox5">
1590
 
                              <property name="visible">True</property>
1591
 
                              <property name="add_tearoffs">False</property>
1592
 
                              <property name="focus_on_click">True</property>
1593
 
                              <accessibility>
1594
 
                                <atkproperty name="AtkObject::accessible_name" translatable="yes">Change Default Dictionary Combo</atkproperty>
1595
 
                              </accessibility>
1596
 
                            </widget>
1597
 
                            <packing>
1598
 
                              <property name="padding">0</property>
1599
 
                              <property name="expand">True</property>
1600
 
                              <property name="fill">True</property>
1601
 
                            </packing>
1602
 
                          </child>
1603
 
                        </widget>
1604
 
                        <packing>
1605
 
                          <property name="padding">0</property>
1606
 
                          <property name="expand">True</property>
1607
 
                          <property name="fill">True</property>
1608
 
                        </packing>
1609
 
                      </child>
1610
 
 
1611
 
                      <child>
1612
1726
                        <widget class="GtkHBox" id="hbox26">
1613
1727
                          <property name="visible">True</property>
1614
1728
                          <property name="homogeneous">True</property>
1661
1775
                          <property name="fill">True</property>
1662
1776
                        </packing>
1663
1777
                      </child>
1664
 
 
1665
 
                      <child>
1666
 
                        <widget class="GtkHBox" id="hbox17">
1667
 
                          <property name="visible">True</property>
1668
 
                          <property name="homogeneous">True</property>
1669
 
                          <property name="spacing">0</property>
1670
 
 
1671
 
                          <child>
1672
 
                            <widget class="GtkLabel" id="label26">
1673
 
                              <property name="visible">True</property>
1674
 
                              <property name="label" translatable="yes">Personal Notes</property>
1675
 
                              <property name="use_underline">False</property>
1676
 
                              <property name="use_markup">False</property>
1677
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
1678
 
                              <property name="wrap">False</property>
1679
 
                              <property name="selectable">False</property>
1680
 
                              <property name="xalign">0</property>
1681
 
                              <property name="yalign">0.5</property>
1682
 
                              <property name="xpad">0</property>
1683
 
                              <property name="ypad">0</property>
1684
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1685
 
                              <property name="width_chars">-1</property>
1686
 
                              <property name="single_line_mode">False</property>
1687
 
                              <property name="angle">0</property>
1688
 
                            </widget>
1689
 
                            <packing>
1690
 
                              <property name="padding">0</property>
1691
 
                              <property name="expand">False</property>
1692
 
                              <property name="fill">True</property>
1693
 
                            </packing>
1694
 
                          </child>
1695
 
 
1696
 
                          <child>
1697
 
                            <widget class="GtkComboBox" id="combobox6">
1698
 
                              <property name="visible">True</property>
1699
 
                              <property name="add_tearoffs">False</property>
1700
 
                              <property name="focus_on_click">True</property>
1701
 
                              <accessibility>
1702
 
                                <atkproperty name="AtkObject::accessible_name" translatable="yes">Change Personal Notes Combo</atkproperty>
1703
 
                              </accessibility>
1704
 
                            </widget>
1705
 
                            <packing>
1706
 
                              <property name="padding">0</property>
1707
 
                              <property name="expand">True</property>
1708
 
                              <property name="fill">True</property>
1709
 
                            </packing>
1710
 
                          </child>
1711
 
                        </widget>
1712
 
                        <packing>
1713
 
                          <property name="padding">0</property>
1714
 
                          <property name="expand">True</property>
1715
 
                          <property name="fill">True</property>
1716
 
                        </packing>
1717
 
                      </child>
1718
1778
                    </widget>
1719
1779
                    <packing>
1720
1780
                      <property name="padding">0</property>
1730
1790
              </child>
1731
1791
 
1732
1792
              <child>
1733
 
                <widget class="GtkLabel" id="label6">
1734
 
                  <property name="visible">True</property>
1735
 
                  <property name="label" translatable="yes">Modules Main</property>
1736
 
                  <property name="use_underline">False</property>
1737
 
                  <property name="use_markup">False</property>
1738
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
1739
 
                  <property name="wrap">False</property>
1740
 
                  <property name="selectable">False</property>
1741
 
                  <property name="xalign">0.5</property>
1742
 
                  <property name="yalign">0.5</property>
1743
 
                  <property name="xpad">0</property>
1744
 
                  <property name="ypad">0</property>
1745
 
                  <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1746
 
                  <property name="width_chars">-1</property>
1747
 
                  <property name="single_line_mode">False</property>
1748
 
                  <property name="angle">0</property>
1749
 
                </widget>
1750
 
                <packing>
1751
 
                  <property name="type">tab</property>
1752
 
                </packing>
1753
 
              </child>
1754
 
 
1755
 
              <child>
1756
1793
                <widget class="GtkVBox" id="vbox10">
1757
1794
                  <property name="border_width">6</property>
1758
1795
                  <property name="visible">True</property>
1760
1797
                  <property name="spacing">0</property>
1761
1798
 
1762
1799
                  <child>
1763
 
                    <widget class="GtkLabel" id="label27">
 
1800
                    <widget class="GtkLabel" id="ps_label">
1764
1801
                      <property name="visible">True</property>
1765
 
                      <property name="label" translatable="yes">&lt;b&gt;Parallel View&lt;/b&gt;</property>
 
1802
                      <property name="label" translatable="yes">&lt;b&gt;Modules&lt;/b&gt;</property>
1766
1803
                      <property name="use_underline">False</property>
1767
1804
                      <property name="use_markup">True</property>
1768
1805
                      <property name="justify">GTK_JUSTIFY_LEFT</property>
1785
1822
                  </child>
1786
1823
 
1787
1824
                  <child>
1788
 
                    <widget class="GtkVBox" id="vbox11">
1789
 
                      <property name="border_width">8</property>
 
1825
                    <widget class="GtkToolbar" id="ps_toolbar">
1790
1826
                      <property name="visible">True</property>
1791
 
                      <property name="homogeneous">False</property>
1792
 
                      <property name="spacing">6</property>
1793
 
 
1794
 
                      <child>
1795
 
                        <widget class="GtkHBox" id="hbox18">
1796
 
                          <property name="visible">True</property>
1797
 
                          <property name="homogeneous">True</property>
1798
 
                          <property name="spacing">0</property>
1799
 
 
1800
 
                          <child>
1801
 
                            <widget class="GtkLabel" id="label28">
1802
 
                              <property name="visible">True</property>
1803
 
                              <property name="label" translatable="yes">Parallel 1</property>
1804
 
                              <property name="use_underline">False</property>
1805
 
                              <property name="use_markup">False</property>
1806
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
1807
 
                              <property name="wrap">False</property>
1808
 
                              <property name="selectable">False</property>
1809
 
                              <property name="xalign">0</property>
1810
 
                              <property name="yalign">0.5</property>
1811
 
                              <property name="xpad">0</property>
1812
 
                              <property name="ypad">0</property>
1813
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1814
 
                              <property name="width_chars">-1</property>
1815
 
                              <property name="single_line_mode">False</property>
1816
 
                              <property name="angle">0</property>
1817
 
                            </widget>
1818
 
                            <packing>
1819
 
                              <property name="padding">0</property>
1820
 
                              <property name="expand">False</property>
1821
 
                              <property name="fill">True</property>
1822
 
                            </packing>
1823
 
                          </child>
1824
 
 
1825
 
                          <child>
1826
 
                            <widget class="GtkComboBox" id="combobox7">
1827
 
                              <property name="visible">True</property>
1828
 
                              <property name="add_tearoffs">False</property>
1829
 
                              <property name="focus_on_click">True</property>
1830
 
                              <accessibility>
1831
 
                                <atkproperty name="AtkObject::accessible_name" translatable="yes">Parallel 1 Combo</atkproperty>
1832
 
                              </accessibility>
1833
 
                            </widget>
1834
 
                            <packing>
1835
 
                              <property name="padding">0</property>
1836
 
                              <property name="expand">True</property>
1837
 
                              <property name="fill">True</property>
1838
 
                            </packing>
1839
 
                          </child>
1840
 
                        </widget>
1841
 
                        <packing>
1842
 
                          <property name="padding">0</property>
1843
 
                          <property name="expand">True</property>
1844
 
                          <property name="fill">True</property>
1845
 
                        </packing>
1846
 
                      </child>
1847
 
 
1848
 
                      <child>
1849
 
                        <widget class="GtkHBox" id="hbox19">
1850
 
                          <property name="visible">True</property>
1851
 
                          <property name="homogeneous">True</property>
1852
 
                          <property name="spacing">0</property>
1853
 
 
1854
 
                          <child>
1855
 
                            <widget class="GtkLabel" id="label29">
1856
 
                              <property name="visible">True</property>
1857
 
                              <property name="label" translatable="yes">Parallel 2</property>
1858
 
                              <property name="use_underline">False</property>
1859
 
                              <property name="use_markup">False</property>
1860
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
1861
 
                              <property name="wrap">False</property>
1862
 
                              <property name="selectable">False</property>
1863
 
                              <property name="xalign">0</property>
1864
 
                              <property name="yalign">0.5</property>
1865
 
                              <property name="xpad">0</property>
1866
 
                              <property name="ypad">0</property>
1867
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1868
 
                              <property name="width_chars">-1</property>
1869
 
                              <property name="single_line_mode">False</property>
1870
 
                              <property name="angle">0</property>
1871
 
                            </widget>
1872
 
                            <packing>
1873
 
                              <property name="padding">0</property>
1874
 
                              <property name="expand">False</property>
1875
 
                              <property name="fill">True</property>
1876
 
                            </packing>
1877
 
                          </child>
1878
 
 
1879
 
                          <child>
1880
 
                            <widget class="GtkComboBox" id="combobox8">
1881
 
                              <property name="visible">True</property>
1882
 
                              <property name="add_tearoffs">False</property>
1883
 
                              <property name="focus_on_click">True</property>
1884
 
                              <accessibility>
1885
 
                                <atkproperty name="AtkObject::accessible_name" translatable="yes">Parallel 2 Combo</atkproperty>
1886
 
                              </accessibility>
1887
 
                            </widget>
1888
 
                            <packing>
1889
 
                              <property name="padding">0</property>
1890
 
                              <property name="expand">True</property>
1891
 
                              <property name="fill">True</property>
1892
 
                            </packing>
1893
 
                          </child>
1894
 
                        </widget>
1895
 
                        <packing>
1896
 
                          <property name="padding">0</property>
1897
 
                          <property name="expand">True</property>
1898
 
                          <property name="fill">True</property>
1899
 
                        </packing>
1900
 
                      </child>
1901
 
 
1902
 
                      <child>
1903
 
                        <widget class="GtkHBox" id="hbox20">
1904
 
                          <property name="visible">True</property>
1905
 
                          <property name="homogeneous">True</property>
1906
 
                          <property name="spacing">0</property>
1907
 
 
1908
 
                          <child>
1909
 
                            <widget class="GtkLabel" id="label30">
1910
 
                              <property name="visible">True</property>
1911
 
                              <property name="label" translatable="yes">Parallel 3</property>
1912
 
                              <property name="use_underline">False</property>
1913
 
                              <property name="use_markup">False</property>
1914
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
1915
 
                              <property name="wrap">False</property>
1916
 
                              <property name="selectable">False</property>
1917
 
                              <property name="xalign">0</property>
1918
 
                              <property name="yalign">0.5</property>
1919
 
                              <property name="xpad">0</property>
1920
 
                              <property name="ypad">0</property>
1921
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1922
 
                              <property name="width_chars">-1</property>
1923
 
                              <property name="single_line_mode">False</property>
1924
 
                              <property name="angle">0</property>
1925
 
                            </widget>
1926
 
                            <packing>
1927
 
                              <property name="padding">0</property>
1928
 
                              <property name="expand">False</property>
1929
 
                              <property name="fill">True</property>
1930
 
                            </packing>
1931
 
                          </child>
1932
 
 
1933
 
                          <child>
1934
 
                            <widget class="GtkComboBox" id="combobox9">
1935
 
                              <property name="visible">True</property>
1936
 
                              <property name="add_tearoffs">False</property>
1937
 
                              <property name="focus_on_click">True</property>
1938
 
                              <accessibility>
1939
 
                                <atkproperty name="AtkObject::accessible_name" translatable="yes">Parallel 3 Combo</atkproperty>
1940
 
                              </accessibility>
1941
 
                            </widget>
1942
 
                            <packing>
1943
 
                              <property name="padding">0</property>
1944
 
                              <property name="expand">True</property>
1945
 
                              <property name="fill">True</property>
1946
 
                            </packing>
1947
 
                          </child>
1948
 
                        </widget>
1949
 
                        <packing>
1950
 
                          <property name="padding">0</property>
1951
 
                          <property name="expand">True</property>
1952
 
                          <property name="fill">True</property>
1953
 
                        </packing>
1954
 
                      </child>
1955
 
 
1956
 
                      <child>
1957
 
                        <widget class="GtkHBox" id="hbox21">
1958
 
                          <property name="visible">True</property>
1959
 
                          <property name="homogeneous">True</property>
1960
 
                          <property name="spacing">0</property>
1961
 
 
1962
 
                          <child>
1963
 
                            <widget class="GtkLabel" id="label31">
1964
 
                              <property name="visible">True</property>
1965
 
                              <property name="label" translatable="yes">Parallel 4</property>
1966
 
                              <property name="use_underline">False</property>
1967
 
                              <property name="use_markup">False</property>
1968
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
1969
 
                              <property name="wrap">False</property>
1970
 
                              <property name="selectable">False</property>
1971
 
                              <property name="xalign">0</property>
1972
 
                              <property name="yalign">0.5</property>
1973
 
                              <property name="xpad">0</property>
1974
 
                              <property name="ypad">0</property>
1975
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1976
 
                              <property name="width_chars">-1</property>
1977
 
                              <property name="single_line_mode">False</property>
1978
 
                              <property name="angle">0</property>
1979
 
                            </widget>
1980
 
                            <packing>
1981
 
                              <property name="padding">0</property>
1982
 
                              <property name="expand">False</property>
1983
 
                              <property name="fill">True</property>
1984
 
                            </packing>
1985
 
                          </child>
1986
 
 
1987
 
                          <child>
1988
 
                            <widget class="GtkComboBox" id="combobox10">
1989
 
                              <property name="visible">True</property>
1990
 
                              <property name="add_tearoffs">False</property>
1991
 
                              <property name="focus_on_click">True</property>
1992
 
                              <accessibility>
1993
 
                                <atkproperty name="AtkObject::accessible_name" translatable="yes">Parallel 4 Combo</atkproperty>
1994
 
                              </accessibility>
1995
 
                            </widget>
1996
 
                            <packing>
1997
 
                              <property name="padding">0</property>
1998
 
                              <property name="expand">True</property>
1999
 
                              <property name="fill">True</property>
2000
 
                            </packing>
2001
 
                          </child>
2002
 
                        </widget>
2003
 
                        <packing>
2004
 
                          <property name="padding">0</property>
2005
 
                          <property name="expand">True</property>
2006
 
                          <property name="fill">True</property>
2007
 
                        </packing>
2008
 
                      </child>
2009
 
 
2010
 
                      <child>
2011
 
                        <widget class="GtkHBox" id="hbox22">
2012
 
                          <property name="visible">True</property>
2013
 
                          <property name="homogeneous">True</property>
2014
 
                          <property name="spacing">0</property>
2015
 
 
2016
 
                          <child>
2017
 
                            <widget class="GtkLabel" id="label32">
2018
 
                              <property name="visible">True</property>
2019
 
                              <property name="label" translatable="yes">Parallel 5</property>
2020
 
                              <property name="use_underline">False</property>
2021
 
                              <property name="use_markup">False</property>
2022
 
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
2023
 
                              <property name="wrap">False</property>
2024
 
                              <property name="selectable">False</property>
2025
 
                              <property name="xalign">0</property>
2026
 
                              <property name="yalign">0.5</property>
2027
 
                              <property name="xpad">0</property>
2028
 
                              <property name="ypad">0</property>
2029
 
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2030
 
                              <property name="width_chars">-1</property>
2031
 
                              <property name="single_line_mode">False</property>
2032
 
                              <property name="angle">0</property>
2033
 
                            </widget>
2034
 
                            <packing>
2035
 
                              <property name="padding">0</property>
2036
 
                              <property name="expand">False</property>
2037
 
                              <property name="fill">True</property>
2038
 
                            </packing>
2039
 
                          </child>
2040
 
 
2041
 
                          <child>
2042
 
                            <widget class="GtkComboBox" id="combobox11">
2043
 
                              <property name="visible">True</property>
2044
 
                              <property name="add_tearoffs">False</property>
2045
 
                              <property name="focus_on_click">True</property>
2046
 
                              <accessibility>
2047
 
                                <atkproperty name="AtkObject::accessible_name" translatable="yes">Parallel 5 Combo</atkproperty>
2048
 
                              </accessibility>
2049
 
                            </widget>
2050
 
                            <packing>
2051
 
                              <property name="padding">0</property>
2052
 
                              <property name="expand">True</property>
2053
 
                              <property name="fill">True</property>
2054
 
                            </packing>
2055
 
                          </child>
2056
 
                        </widget>
2057
 
                        <packing>
2058
 
                          <property name="padding">0</property>
2059
 
                          <property name="expand">True</property>
2060
 
                          <property name="fill">True</property>
 
1827
                      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 
1828
                      <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
 
1829
                      <property name="tooltips">True</property>
 
1830
                      <property name="show_arrow">True</property>
 
1831
        
 
1832
                      <child>
 
1833
                        <widget class="GtkToolButton" id="ps_toolbutton_clear">
 
1834
                          <property name="visible">True</property>
 
1835
                          <property name="tooltip" translatable="yes">Clear all modules from the list</property>
 
1836
                          <property name="stock_id">gtk-clear</property>
 
1837
                          <property name="visible_horizontal">True</property>
 
1838
                          <property name="visible_vertical">True</property>
 
1839
                          <property name="is_important">False</property>
 
1840
                          <accessibility>
 
1841
                            <atkproperty name="AtkObject::accessible_name" translatable="yes">Clear Modules from List Button</atkproperty>
 
1842
                          </accessibility>
 
1843
                        </widget>
 
1844
                        <packing>
 
1845
                          <property name="expand">False</property>
 
1846
                          <property name="homogeneous">True</property>
 
1847
                        </packing>
 
1848
                      </child>
 
1849
 
 
1850
                      <child>
 
1851
                        <widget class="GtkToolButton" id="ps_toolbutton_cut">
 
1852
                          <property name="visible">True</property>
 
1853
                          <property name="tooltip" translatable="yes">Remove the selected module from the list</property>
 
1854
                          <property name="label" translatable="yes"></property>
 
1855
                          <property name="use_underline">True</property>
 
1856
                          <property name="stock_id">gtk-cut</property>
 
1857
                          <property name="visible_horizontal">True</property>
 
1858
                          <property name="visible_vertical">True</property>
 
1859
                          <property name="is_important">False</property>
 
1860
                          <accessibility>
 
1861
                            <atkproperty name="AtkObject::accessible_name" translatable="yes">Delete Selected Module From List Button</atkproperty>
 
1862
                          </accessibility>
 
1863
                        </widget>
 
1864
                        <packing>
 
1865
                          <property name="expand">False</property>
 
1866
                          <property name="homogeneous">True</property>
 
1867
                        </packing>
 
1868
                      </child>
 
1869
 
 
1870
                      <child>
 
1871
                        <widget class="GtkSeparatorToolItem" id="ps_separator">
 
1872
                          <property name="visible">True</property>
 
1873
                          <property name="draw">True</property>
 
1874
                          <property name="visible_horizontal">True</property>
 
1875
                          <property name="visible_vertical">True</property>
 
1876
                        </widget>
 
1877
                        <packing>
 
1878
                          <property name="expand">False</property>
 
1879
                          <property name="homogeneous">False</property>
 
1880
                        </packing>
 
1881
                      </child>
 
1882
 
 
1883
                      <child>
 
1884
                        <widget class="GtkToolButton" id="ps_toolbutton_add">
 
1885
                          <property name="visible">True</property>
 
1886
                          <property name="tooltip" translatable="yes">Open a dialog to select modules</property>
 
1887
                          <property name="label" translatable="yes">Add Modules</property>
 
1888
                          <property name="use_underline">True</property>
 
1889
                          <property name="stock_id">gtk-add</property>
 
1890
                          <property name="visible_horizontal">True</property>
 
1891
                          <property name="visible_vertical">True</property>
 
1892
                          <property name="is_important">False</property>
 
1893
                          <accessibility>
 
1894
                            <atkproperty name="AtkObject::accessible_name" translatable="yes">Open Selection Dialog Button</atkproperty>
 
1895
                          </accessibility>
 
1896
                        </widget>
 
1897
                        <packing>
 
1898
                          <property name="expand">False</property>
 
1899
                          <property name="homogeneous">True</property>
2061
1900
                        </packing>
2062
1901
                      </child>
2063
1902
                    </widget>
2064
1903
                    <packing>
2065
1904
                      <property name="padding">0</property>
2066
1905
                      <property name="expand">False</property>
 
1906
                      <property name="fill">False</property>
 
1907
                    </packing>
 
1908
                  </child>
 
1909
 
 
1910
                  <child>
 
1911
                    <widget class="GtkScrolledWindow" id="ps_window">
 
1912
                      <property name="visible">True</property>
 
1913
                      <property name="can_focus">True</property>
 
1914
                      <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
1915
                      <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
1916
                      <property name="shadow_type">GTK_SHADOW_IN</property>
 
1917
                      <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
1918
 
 
1919
                      <child>
 
1920
                        <widget class="GtkTreeView" id="ps_listview">
 
1921
                          <property name="visible">True</property>
 
1922
                          <property name="can_focus">True</property>
 
1923
                          <property name="headers_visible">False</property>
 
1924
                          <property name="rules_hint">False</property>
 
1925
                          <property name="reorderable">False</property>
 
1926
                          <property name="enable_search">True</property>
 
1927
                          <property name="fixed_height_mode">False</property>
 
1928
                          <property name="hover_selection">False</property>
 
1929
                          <property name="hover_expand">False</property>
 
1930
                        </widget>
 
1931
                      </child>
 
1932
                    </widget>
 
1933
                    <packing>
 
1934
                      <property name="padding">0</property>
 
1935
                      <property name="expand">True</property>
2067
1936
                      <property name="fill">True</property>
2068
1937
                    </packing>
2069
1938
                  </child>
2297
2166
                          <property name="fill">True</property>
2298
2167
                        </packing>
2299
2168
                      </child>
 
2169
 
 
2170
                      <child>
 
2171
                        <widget class="GtkHBox" id="hbox16">
 
2172
                          <property name="visible">True</property>
 
2173
                          <property name="homogeneous">True</property>
 
2174
                          <property name="spacing">0</property>
 
2175
 
 
2176
                          <child>
 
2177
                            <widget class="GtkLabel" id="label25">
 
2178
                              <property name="visible">True</property>
 
2179
                              <property name="label" translatable="yes">Default Dictionary</property>
 
2180
                              <property name="use_underline">False</property>
 
2181
                              <property name="use_markup">False</property>
 
2182
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
2183
                              <property name="wrap">False</property>
 
2184
                              <property name="selectable">False</property>
 
2185
                              <property name="xalign">0</property>
 
2186
                              <property name="yalign">0.5</property>
 
2187
                              <property name="xpad">0</property>
 
2188
                              <property name="ypad">0</property>
 
2189
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
2190
                              <property name="width_chars">-1</property>
 
2191
                              <property name="single_line_mode">False</property>
 
2192
                              <property name="angle">0</property>
 
2193
                            </widget>
 
2194
                            <packing>
 
2195
                              <property name="padding">0</property>
 
2196
                              <property name="expand">False</property>
 
2197
                              <property name="fill">True</property>
 
2198
                            </packing>
 
2199
                          </child>
 
2200
 
 
2201
                          <child>
 
2202
                            <widget class="GtkComboBox" id="combobox5">
 
2203
                              <property name="visible">True</property>
 
2204
                              <property name="add_tearoffs">False</property>
 
2205
                              <property name="focus_on_click">True</property>
 
2206
                              <accessibility>
 
2207
                                <atkproperty name="AtkObject::accessible_name" translatable="yes">Change Default Dictionary Combo</atkproperty>
 
2208
                              </accessibility>
 
2209
                            </widget>
 
2210
                            <packing>
 
2211
                              <property name="padding">0</property>
 
2212
                              <property name="expand">True</property>
 
2213
                              <property name="fill">True</property>
 
2214
                            </packing>
 
2215
                          </child>
 
2216
                        </widget>
 
2217
                        <packing>
 
2218
                          <property name="padding">0</property>
 
2219
                          <property name="expand">True</property>
 
2220
                          <property name="fill">True</property>
 
2221
                        </packing>
 
2222
                      </child>
 
2223
 
 
2224
                      <child>
 
2225
                        <widget class="GtkHBox" id="hbox17">
 
2226
                          <property name="visible">True</property>
 
2227
                          <property name="homogeneous">True</property>
 
2228
                          <property name="spacing">0</property>
 
2229
 
 
2230
                          <child>
 
2231
                            <widget class="GtkLabel" id="label26">
 
2232
                              <property name="visible">True</property>
 
2233
                              <property name="label" translatable="yes">Personal Notes</property>
 
2234
                              <property name="use_underline">False</property>
 
2235
                              <property name="use_markup">False</property>
 
2236
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
2237
                              <property name="wrap">False</property>
 
2238
                              <property name="selectable">False</property>
 
2239
                              <property name="xalign">0</property>
 
2240
                              <property name="yalign">0.5</property>
 
2241
                              <property name="xpad">0</property>
 
2242
                              <property name="ypad">0</property>
 
2243
                              <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
2244
                              <property name="width_chars">-1</property>
 
2245
                              <property name="single_line_mode">False</property>
 
2246
                              <property name="angle">0</property>
 
2247
                            </widget>
 
2248
                            <packing>
 
2249
                              <property name="padding">0</property>
 
2250
                              <property name="expand">False</property>
 
2251
                              <property name="fill">True</property>
 
2252
                            </packing>
 
2253
                          </child>
 
2254
 
 
2255
                          <child>
 
2256
                            <widget class="GtkComboBox" id="combobox6">
 
2257
                              <property name="visible">True</property>
 
2258
                              <property name="add_tearoffs">False</property>
 
2259
                              <property name="focus_on_click">True</property>
 
2260
                              <accessibility>
 
2261
                                <atkproperty name="AtkObject::accessible_name" translatable="yes">Change Personal Notes Combo</atkproperty>
 
2262
                              </accessibility>
 
2263
                            </widget>
 
2264
                            <packing>
 
2265
                              <property name="padding">0</property>
 
2266
                              <property name="expand">True</property>
 
2267
                              <property name="fill">True</property>
 
2268
                            </packing>
 
2269
                          </child>
 
2270
                        </widget>
 
2271
                        <packing>
 
2272
                          <property name="padding">0</property>
 
2273
                          <property name="expand">True</property>
 
2274
                          <property name="fill">True</property>
 
2275
                        </packing>
 
2276
                      </child>
 
2277
 
2300
2278
                    </widget>
2301
2279
                    <packing>
2302
2280
                      <property name="padding">0</property>
2351
2329
  </child>
2352
2330
</widget>
2353
2331
 
 
2332
<widget class="GtkDialog" id="mod_sel_dialog">
 
2333
  <property name="visible">False</property>
 
2334
  <property name="title" translatable="yes">Module Selection</property>
 
2335
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
 
2336
  <property name="window_position">GTK_WIN_POS_NONE</property>
 
2337
  <property name="modal">True</property>
 
2338
  <property name="default_width">222</property>
 
2339
  <property name="default_height">300</property>
 
2340
  <property name="resizable">True</property>
 
2341
  <property name="destroy_with_parent">False</property>
 
2342
  <property name="icon">xiphos-x-16.png</property>
 
2343
  <property name="decorated">True</property>
 
2344
  <property name="skip_taskbar_hint">False</property>
 
2345
  <property name="skip_pager_hint">False</property>
 
2346
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 
2347
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 
2348
  <property name="focus_on_map">True</property>
 
2349
  <property name="urgency_hint">False</property>
 
2350
  <property name="has_separator">True</property>
 
2351
 
 
2352
  <child internal-child="vbox">
 
2353
    <widget class="GtkVBox" id="mod_sel_vbox2">
 
2354
      <property name="visible">True</property>
 
2355
      <property name="homogeneous">False</property>
 
2356
      <property name="spacing">0</property>
 
2357
 
 
2358
      <child internal-child="action_area">
 
2359
        <widget class="GtkHButtonBox" id="mod_sel_action_area">
 
2360
          <property name="visible">True</property>
 
2361
          <property name="layout_style">GTK_BUTTONBOX_END</property>
 
2362
 
 
2363
          <child>
 
2364
            <widget class="GtkButton" id="mod_sel_button_close">
 
2365
              <property name="visible">True</property>
 
2366
              <property name="can_default">True</property>
 
2367
              <property name="can_focus">True</property>
 
2368
              <property name="label">gtk-close</property>
 
2369
              <property name="use_stock">True</property>
 
2370
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
2371
              <property name="focus_on_click">True</property>
 
2372
              <property name="response_id">-10</property>
 
2373
            </widget>
 
2374
          </child>
 
2375
 
 
2376
          <child>
 
2377
            <widget class="GtkButton" id="mod_sel_button_add">
 
2378
              <property name="visible">True</property>
 
2379
              <property name="can_default">True</property>
 
2380
              <property name="can_focus">True</property>
 
2381
              <property name="label">gtk-add</property>
 
2382
              <property name="use_stock">True</property>
 
2383
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
2384
              <property name="focus_on_click">True</property>
 
2385
              <property name="response_id">-11</property>
 
2386
            </widget>
 
2387
          </child>
 
2388
        </widget>
 
2389
        <packing>
 
2390
          <property name="padding">0</property>
 
2391
          <property name="expand">False</property>
 
2392
          <property name="fill">True</property>
 
2393
          <property name="pack_type">GTK_PACK_END</property>
 
2394
        </packing>
 
2395
      </child>
 
2396
 
 
2397
      <child>
 
2398
        <widget class="GtkScrolledWindow" id="mod_sel_scrolledwindow">
 
2399
          <property name="visible">True</property>
 
2400
          <property name="can_focus">True</property>
 
2401
          <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
2402
          <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
2403
          <property name="shadow_type">GTK_SHADOW_IN</property>
 
2404
          <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
2405
 
 
2406
          <child>
 
2407
            <widget class="GtkTreeView" id="mod_sel_treeview">
 
2408
              <property name="visible">True</property>
 
2409
              <property name="can_focus">True</property>
 
2410
              <property name="headers_visible">False</property>
 
2411
              <property name="rules_hint">False</property>
 
2412
              <property name="reorderable">False</property>
 
2413
              <property name="enable_search">True</property>
 
2414
              <property name="fixed_height_mode">False</property>
 
2415
              <property name="hover_selection">False</property>
 
2416
              <property name="hover_expand">False</property>
 
2417
            </widget>
 
2418
          </child>
 
2419
        </widget>
 
2420
        <packing>
 
2421
          <property name="padding">0</property>
 
2422
          <property name="expand">True</property>
 
2423
          <property name="fill">True</property>
 
2424
        </packing>
 
2425
      </child>
 
2426
    </widget>
 
2427
  </child>
 
2428
</widget>
 
2429
 
2354
2430
</glade-interface>