/b-gtk/fix-viz

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/b-gtk/fix-viz

« back to all changes in this revision

Viewing changes to olive.glade

  • Committer: Szilveszter Farkas (Phanatic)
  • Date: 2006-07-21 18:18:20 UTC
  • mto: (0.14.1 main) (93.1.1 win32.bialix)
  • mto: This revision was merged to the branch mainline in revision 83.
  • Revision ID: Szilveszter.Farkas@gmail.com-20060721181820-450b5e29bb2614d9
2006-07-21  Szilveszter Farkas <Szilveszter.Farkas@gmail.com>

    * olive/olive.glade: some UI refreshment (push, remove and commit dialog)
    * olive/frontend/gtk/push.py: implemented 'push' functionality
    * olive/frontend/gtk/commit.py: implemented 'commit' functionality
    * olive/frontend/gtk/remove.py: implemented 'remove' functionality
    * olive/frontend/gtk/add.py: implemented 'add' functionality
    * olive/frontend/gtk/handler.py: implemented 'init' functionality
    * olive/backend/fileops.py: added recursive mode to add(), added
      NotBranchError exception to add() and remove()

Show diffs side-by-side

added added

removed removed

Lines of Context:
olive.glade
44
44
                <widget class="GtkMenu" id="menuitem_file_menu">
45
45
 
46
46
                  <child>
 
47
                    <widget class="GtkImageMenuItem" id="menuitem_add_files">
 
48
                      <property name="visible">True</property>
 
49
                      <property name="label" translatable="yes">_Add file(s)...</property>
 
50
                      <property name="use_underline">True</property>
 
51
                      <signal name="activate" handler="on_menuitem_add_files_activate" last_modification_time="Fri, 21 Jul 2006 11:38:39 GMT"/>
 
52
 
 
53
                      <child internal-child="image">
 
54
                        <widget class="GtkImage" id="image44">
 
55
                          <property name="visible">True</property>
 
56
                          <property name="stock">gtk-add</property>
 
57
                          <property name="icon_size">1</property>
 
58
                          <property name="xalign">0.5</property>
 
59
                          <property name="yalign">0.5</property>
 
60
                          <property name="xpad">0</property>
 
61
                          <property name="ypad">0</property>
 
62
                        </widget>
 
63
                      </child>
 
64
                    </widget>
 
65
                  </child>
 
66
 
 
67
                  <child>
 
68
                    <widget class="GtkImageMenuItem" id="menuitem_remove_file">
 
69
                      <property name="visible">True</property>
 
70
                      <property name="label" translatable="yes">Remove file(s)...</property>
 
71
                      <property name="use_underline">True</property>
 
72
                      <signal name="activate" handler="on_menuitem_remove_file_activate" last_modification_time="Fri, 21 Jul 2006 13:54:07 GMT"/>
 
73
 
 
74
                      <child internal-child="image">
 
75
                        <widget class="GtkImage" id="image45">
 
76
                          <property name="visible">True</property>
 
77
                          <property name="stock">gtk-remove</property>
 
78
                          <property name="icon_size">1</property>
 
79
                          <property name="xalign">0.5</property>
 
80
                          <property name="yalign">0.5</property>
 
81
                          <property name="xpad">0</property>
 
82
                          <property name="ypad">0</property>
 
83
                        </widget>
 
84
                      </child>
 
85
                    </widget>
 
86
                  </child>
 
87
 
 
88
                  <child>
 
89
                    <widget class="GtkSeparatorMenuItem" id="separator_file3">
 
90
                      <property name="visible">True</property>
 
91
                    </widget>
 
92
                  </child>
 
93
 
 
94
                  <child>
47
95
                    <widget class="GtkMenuItem" id="menuitem_file_make_directory">
48
96
                      <property name="visible">True</property>
49
97
                      <property name="label" translatable="yes">Make _directory...</property>
136
184
                      <signal name="activate" handler="on_menuitem_branch_pull_activate" last_modification_time="Mon, 17 Jul 2006 08:52:48 GMT"/>
137
185
 
138
186
                      <child internal-child="image">
139
 
                        <widget class="GtkImage" id="image10">
 
187
                        <widget class="GtkImage" id="image46">
140
188
                          <property name="visible">True</property>
141
189
                          <property name="stock">gtk-goto-bottom</property>
142
190
                          <property name="icon_size">1</property>
157
205
                      <signal name="activate" handler="on_menuitem_branch_push_activate" last_modification_time="Mon, 17 Jul 2006 08:52:48 GMT"/>
158
206
 
159
207
                      <child internal-child="image">
160
 
                        <widget class="GtkImage" id="image11">
 
208
                        <widget class="GtkImage" id="image47">
161
209
                          <property name="visible">True</property>
162
210
                          <property name="stock">gtk-goto-top</property>
163
211
                          <property name="icon_size">1</property>
184
232
                      <signal name="activate" handler="on_menuitem_branch_commit_activate" last_modification_time="Mon, 17 Jul 2006 08:53:37 GMT"/>
185
233
 
186
234
                      <child internal-child="image">
187
 
                        <widget class="GtkImage" id="image12">
 
235
                        <widget class="GtkImage" id="image48">
188
236
                          <property name="visible">True</property>
189
237
                          <property name="stock">gtk-redo</property>
190
238
                          <property name="icon_size">1</property>
461
509
</widget>
462
510
 
463
511
<widget class="GtkWindow" id="window_commit">
 
512
  <property name="width_request">400</property>
 
513
  <property name="height_request">400</property>
464
514
  <property name="title" translatable="yes">Olive - Commit</property>
465
515
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
466
516
  <property name="window_position">GTK_WIN_POS_NONE</property>
470
520
  <property name="decorated">True</property>
471
521
  <property name="skip_taskbar_hint">False</property>
472
522
  <property name="skip_pager_hint">False</property>
473
 
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 
523
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
474
524
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
475
525
  <property name="focus_on_map">True</property>
476
526
  <property name="urgency_hint">False</property>
544
594
      </child>
545
595
 
546
596
      <child>
 
597
        <widget class="GtkCheckButton" id="checkbutton_commit_local">
 
598
          <property name="visible">True</property>
 
599
          <property name="can_focus">True</property>
 
600
          <property name="label" translatable="yes">_Local only commit (works in bound branches)</property>
 
601
          <property name="use_underline">True</property>
 
602
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
603
          <property name="focus_on_click">True</property>
 
604
          <property name="active">False</property>
 
605
          <property name="inconsistent">False</property>
 
606
          <property name="draw_indicator">True</property>
 
607
        </widget>
 
608
        <packing>
 
609
          <property name="padding">0</property>
 
610
          <property name="expand">False</property>
 
611
          <property name="fill">False</property>
 
612
        </packing>
 
613
      </child>
 
614
 
 
615
      <child>
 
616
        <widget class="GtkCheckButton" id="checkbutton_commit_strict">
 
617
          <property name="visible">True</property>
 
618
          <property name="can_focus">True</property>
 
619
          <property name="label" translatable="yes">_Strict commit (fails if unknown files available)</property>
 
620
          <property name="use_underline">True</property>
 
621
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
622
          <property name="focus_on_click">True</property>
 
623
          <property name="active">False</property>
 
624
          <property name="inconsistent">False</property>
 
625
          <property name="draw_indicator">True</property>
 
626
        </widget>
 
627
        <packing>
 
628
          <property name="padding">0</property>
 
629
          <property name="expand">False</property>
 
630
          <property name="fill">False</property>
 
631
        </packing>
 
632
      </child>
 
633
 
 
634
      <child>
 
635
        <widget class="GtkCheckButton" id="checkbutton_commit_force">
 
636
          <property name="visible">True</property>
 
637
          <property name="can_focus">True</property>
 
638
          <property name="label" translatable="yes">_Force commit (even do it when nothing has changed)</property>
 
639
          <property name="use_underline">True</property>
 
640
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
641
          <property name="focus_on_click">True</property>
 
642
          <property name="active">False</property>
 
643
          <property name="inconsistent">False</property>
 
644
          <property name="draw_indicator">True</property>
 
645
        </widget>
 
646
        <packing>
 
647
          <property name="padding">0</property>
 
648
          <property name="expand">False</property>
 
649
          <property name="fill">False</property>
 
650
        </packing>
 
651
      </child>
 
652
 
 
653
      <child>
547
654
        <widget class="GtkHButtonBox" id="hbuttonbox_commit">
548
655
          <property name="visible">True</property>
549
656
          <property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
556
663
              <property name="can_focus">True</property>
557
664
              <property name="relief">GTK_RELIEF_NORMAL</property>
558
665
              <property name="focus_on_click">True</property>
 
666
              <signal name="clicked" handler="on_button_commit_commit_clicked" last_modification_time="Fri, 21 Jul 2006 15:04:57 GMT"/>
559
667
 
560
668
              <child>
561
 
                <widget class="GtkAlignment" id="alignment1">
 
669
                <widget class="GtkAlignment" id="alignment5">
562
670
                  <property name="visible">True</property>
563
671
                  <property name="xalign">0.5</property>
564
672
                  <property name="yalign">0.5</property>
570
678
                  <property name="right_padding">0</property>
571
679
 
572
680
                  <child>
573
 
                    <widget class="GtkHBox" id="hbox3">
 
681
                    <widget class="GtkHBox" id="hbox7">
574
682
                      <property name="visible">True</property>
575
683
                      <property name="homogeneous">False</property>
576
684
                      <property name="spacing">2</property>
577
685
 
578
686
                      <child>
579
 
                        <widget class="GtkImage" id="image1">
 
687
                        <widget class="GtkImage" id="image49">
580
688
                          <property name="visible">True</property>
581
 
                          <property name="stock">gtk-apply</property>
 
689
                          <property name="stock">gtk-redo</property>
582
690
                          <property name="icon_size">4</property>
583
691
                          <property name="xalign">0.5</property>
584
692
                          <property name="yalign">0.5</property>
593
701
                      </child>
594
702
 
595
703
                      <child>
596
 
                        <widget class="GtkLabel" id="label2">
 
704
                        <widget class="GtkLabel" id="label11">
597
705
                          <property name="visible">True</property>
598
 
                          <property name="label" translatable="yes">Commit</property>
 
706
                          <property name="label" translatable="yes">_Commit</property>
599
707
                          <property name="use_underline">True</property>
600
708
                          <property name="use_markup">False</property>
601
709
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
632
740
              <property name="use_stock">True</property>
633
741
              <property name="relief">GTK_RELIEF_NORMAL</property>
634
742
              <property name="focus_on_click">True</property>
 
743
              <signal name="clicked" handler="on_button_commit_cancel_clicked" last_modification_time="Fri, 21 Jul 2006 15:04:52 GMT"/>
635
744
            </widget>
636
745
          </child>
637
746
        </widget>
638
747
        <packing>
639
748
          <property name="padding">0</property>
640
749
          <property name="expand">False</property>
641
 
          <property name="fill">False</property>
 
750
          <property name="fill">True</property>
642
751
        </packing>
643
752
      </child>
644
753
    </widget>
989
1098
  <property name="translator_credits" translatable="yes" comments="TRANSLATORS: Replace this string with your names, one name per line.">translator-credits</property>
990
1099
</widget>
991
1100
 
 
1101
<widget class="GtkWindow" id="window_add">
 
1102
  <property name="visible">True</property>
 
1103
  <property name="title" translatable="yes">Olive - Add file(s)</property>
 
1104
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
 
1105
  <property name="window_position">GTK_WIN_POS_NONE</property>
 
1106
  <property name="modal">False</property>
 
1107
  <property name="resizable">False</property>
 
1108
  <property name="destroy_with_parent">False</property>
 
1109
  <property name="decorated">True</property>
 
1110
  <property name="skip_taskbar_hint">False</property>
 
1111
  <property name="skip_pager_hint">False</property>
 
1112
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 
1113
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 
1114
  <property name="focus_on_map">True</property>
 
1115
  <property name="urgency_hint">False</property>
 
1116
 
 
1117
  <child>
 
1118
    <widget class="GtkVBox" id="vbox_add">
 
1119
      <property name="border_width">5</property>
 
1120
      <property name="visible">True</property>
 
1121
      <property name="homogeneous">False</property>
 
1122
      <property name="spacing">3</property>
 
1123
 
 
1124
      <child>
 
1125
        <widget class="GtkLabel" id="label_add_question">
 
1126
          <property name="visible">True</property>
 
1127
          <property name="label" translatable="yes">Which file(s) do you want to add?</property>
 
1128
          <property name="use_underline">False</property>
 
1129
          <property name="use_markup">False</property>
 
1130
          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1131
          <property name="wrap">False</property>
 
1132
          <property name="selectable">False</property>
 
1133
          <property name="xalign">0.5</property>
 
1134
          <property name="yalign">0.5</property>
 
1135
          <property name="xpad">0</property>
 
1136
          <property name="ypad">0</property>
 
1137
          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
1138
          <property name="width_chars">-1</property>
 
1139
          <property name="single_line_mode">False</property>
 
1140
          <property name="angle">0</property>
 
1141
        </widget>
 
1142
        <packing>
 
1143
          <property name="padding">0</property>
 
1144
          <property name="expand">False</property>
 
1145
          <property name="fill">False</property>
 
1146
        </packing>
 
1147
      </child>
 
1148
 
 
1149
      <child>
 
1150
        <widget class="GtkRadioButton" id="radiobutton_add_selected">
 
1151
          <property name="visible">True</property>
 
1152
          <property name="can_focus">True</property>
 
1153
          <property name="label" translatable="yes">Selected only</property>
 
1154
          <property name="use_underline">True</property>
 
1155
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1156
          <property name="focus_on_click">True</property>
 
1157
          <property name="active">False</property>
 
1158
          <property name="inconsistent">False</property>
 
1159
          <property name="draw_indicator">True</property>
 
1160
        </widget>
 
1161
        <packing>
 
1162
          <property name="padding">0</property>
 
1163
          <property name="expand">False</property>
 
1164
          <property name="fill">False</property>
 
1165
        </packing>
 
1166
      </child>
 
1167
 
 
1168
      <child>
 
1169
        <widget class="GtkRadioButton" id="radiobutton_add_unknown">
 
1170
          <property name="visible">True</property>
 
1171
          <property name="can_focus">True</property>
 
1172
          <property name="label" translatable="yes">All unknowns recursively</property>
 
1173
          <property name="use_underline">True</property>
 
1174
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1175
          <property name="focus_on_click">True</property>
 
1176
          <property name="active">False</property>
 
1177
          <property name="inconsistent">False</property>
 
1178
          <property name="draw_indicator">True</property>
 
1179
          <property name="group">radiobutton_add_selected</property>
 
1180
        </widget>
 
1181
        <packing>
 
1182
          <property name="padding">0</property>
 
1183
          <property name="expand">False</property>
 
1184
          <property name="fill">False</property>
 
1185
        </packing>
 
1186
      </child>
 
1187
 
 
1188
      <child>
 
1189
        <widget class="GtkHButtonBox" id="hbuttonbox_add">
 
1190
          <property name="visible">True</property>
 
1191
          <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
 
1192
          <property name="spacing">0</property>
 
1193
 
 
1194
          <child>
 
1195
            <widget class="GtkButton" id="button_add_add">
 
1196
              <property name="visible">True</property>
 
1197
              <property name="can_default">True</property>
 
1198
              <property name="can_focus">True</property>
 
1199
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
1200
              <property name="focus_on_click">True</property>
 
1201
              <signal name="clicked" handler="on_button_add_add_clicked" last_modification_time="Fri, 21 Jul 2006 11:37:11 GMT"/>
 
1202
 
 
1203
              <child>
 
1204
                <widget class="GtkAlignment" id="alignment3">
 
1205
                  <property name="visible">True</property>
 
1206
                  <property name="xalign">0.5</property>
 
1207
                  <property name="yalign">0.5</property>
 
1208
                  <property name="xscale">0</property>
 
1209
                  <property name="yscale">0</property>
 
1210
                  <property name="top_padding">0</property>
 
1211
                  <property name="bottom_padding">0</property>
 
1212
                  <property name="left_padding">0</property>
 
1213
                  <property name="right_padding">0</property>
 
1214
 
 
1215
                  <child>
 
1216
                    <widget class="GtkHBox" id="hbox5">
 
1217
                      <property name="visible">True</property>
 
1218
                      <property name="homogeneous">False</property>
 
1219
                      <property name="spacing">2</property>
 
1220
 
 
1221
                      <child>
 
1222
                        <widget class="GtkImage" id="image13">
 
1223
                          <property name="visible">True</property>
 
1224
                          <property name="stock">gtk-add</property>
 
1225
                          <property name="icon_size">4</property>
 
1226
                          <property name="xalign">0.5</property>
 
1227
                          <property name="yalign">0.5</property>
 
1228
                          <property name="xpad">0</property>
 
1229
                          <property name="ypad">0</property>
 
1230
                        </widget>
 
1231
                        <packing>
 
1232
                          <property name="padding">0</property>
 
1233
                          <property name="expand">False</property>
 
1234
                          <property name="fill">False</property>
 
1235
                        </packing>
 
1236
                      </child>
 
1237
 
 
1238
                      <child>
 
1239
                        <widget class="GtkLabel" id="label8">
 
1240
                          <property name="visible">True</property>
 
1241
                          <property name="label" translatable="yes">_Add</property>
 
1242
                          <property name="use_underline">True</property>
 
1243
                          <property name="use_markup">False</property>
 
1244
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1245
                          <property name="wrap">False</property>
 
1246
                          <property name="selectable">False</property>
 
1247
                          <property name="xalign">0.5</property>
 
1248
                          <property name="yalign">0.5</property>
 
1249
                          <property name="xpad">0</property>
 
1250
                          <property name="ypad">0</property>
 
1251
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
1252
                          <property name="width_chars">-1</property>
 
1253
                          <property name="single_line_mode">False</property>
 
1254
                          <property name="angle">0</property>
 
1255
                        </widget>
 
1256
                        <packing>
 
1257
                          <property name="padding">0</property>
 
1258
                          <property name="expand">False</property>
 
1259
                          <property name="fill">False</property>
 
1260
                        </packing>
 
1261
                      </child>
 
1262
                    </widget>
 
1263
                  </child>
 
1264
                </widget>
 
1265
              </child>
 
1266
            </widget>
 
1267
          </child>
 
1268
 
 
1269
          <child>
 
1270
            <widget class="GtkButton" id="button_add_cancel">
 
1271
              <property name="visible">True</property>
 
1272
              <property name="can_default">True</property>
 
1273
              <property name="can_focus">True</property>
 
1274
              <property name="label">gtk-cancel</property>
 
1275
              <property name="use_stock">True</property>
 
1276
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
1277
              <property name="focus_on_click">True</property>
 
1278
              <signal name="clicked" handler="on_button_add_cancel_clicked" last_modification_time="Fri, 21 Jul 2006 11:37:02 GMT"/>
 
1279
            </widget>
 
1280
          </child>
 
1281
        </widget>
 
1282
        <packing>
 
1283
          <property name="padding">0</property>
 
1284
          <property name="expand">True</property>
 
1285
          <property name="fill">True</property>
 
1286
        </packing>
 
1287
      </child>
 
1288
    </widget>
 
1289
  </child>
 
1290
</widget>
 
1291
 
 
1292
<widget class="GtkWindow" id="window_remove">
 
1293
  <property name="visible">True</property>
 
1294
  <property name="title" translatable="yes">Olive - Remove file(s)</property>
 
1295
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
 
1296
  <property name="window_position">GTK_WIN_POS_NONE</property>
 
1297
  <property name="modal">False</property>
 
1298
  <property name="resizable">False</property>
 
1299
  <property name="destroy_with_parent">False</property>
 
1300
  <property name="decorated">True</property>
 
1301
  <property name="skip_taskbar_hint">False</property>
 
1302
  <property name="skip_pager_hint">False</property>
 
1303
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 
1304
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 
1305
  <property name="focus_on_map">True</property>
 
1306
  <property name="urgency_hint">False</property>
 
1307
 
 
1308
  <child>
 
1309
    <widget class="GtkVBox" id="vbox_remove">
 
1310
      <property name="border_width">5</property>
 
1311
      <property name="visible">True</property>
 
1312
      <property name="homogeneous">False</property>
 
1313
      <property name="spacing">3</property>
 
1314
 
 
1315
      <child>
 
1316
        <widget class="GtkLabel" id="label_remove_question">
 
1317
          <property name="visible">True</property>
 
1318
          <property name="label" translatable="yes">Which file(s) do you want to remove?</property>
 
1319
          <property name="use_underline">False</property>
 
1320
          <property name="use_markup">False</property>
 
1321
          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1322
          <property name="wrap">False</property>
 
1323
          <property name="selectable">False</property>
 
1324
          <property name="xalign">0.5</property>
 
1325
          <property name="yalign">0.5</property>
 
1326
          <property name="xpad">0</property>
 
1327
          <property name="ypad">0</property>
 
1328
          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
1329
          <property name="width_chars">-1</property>
 
1330
          <property name="single_line_mode">False</property>
 
1331
          <property name="angle">0</property>
 
1332
        </widget>
 
1333
        <packing>
 
1334
          <property name="padding">0</property>
 
1335
          <property name="expand">False</property>
 
1336
          <property name="fill">False</property>
 
1337
        </packing>
 
1338
      </child>
 
1339
 
 
1340
      <child>
 
1341
        <widget class="GtkRadioButton" id="radiobutton_remove_selected">
 
1342
          <property name="visible">True</property>
 
1343
          <property name="can_focus">True</property>
 
1344
          <property name="label" translatable="yes">Selected only</property>
 
1345
          <property name="use_underline">True</property>
 
1346
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1347
          <property name="focus_on_click">True</property>
 
1348
          <property name="active">False</property>
 
1349
          <property name="inconsistent">False</property>
 
1350
          <property name="draw_indicator">True</property>
 
1351
        </widget>
 
1352
        <packing>
 
1353
          <property name="padding">0</property>
 
1354
          <property name="expand">False</property>
 
1355
          <property name="fill">False</property>
 
1356
        </packing>
 
1357
      </child>
 
1358
 
 
1359
      <child>
 
1360
        <widget class="GtkRadioButton" id="radiobutton_remove_new">
 
1361
          <property name="visible">True</property>
 
1362
          <property name="can_focus">True</property>
 
1363
          <property name="label" translatable="yes">All files with status 'added'</property>
 
1364
          <property name="use_underline">True</property>
 
1365
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1366
          <property name="focus_on_click">True</property>
 
1367
          <property name="active">False</property>
 
1368
          <property name="inconsistent">False</property>
 
1369
          <property name="draw_indicator">True</property>
 
1370
          <property name="group">radiobutton_remove_selected</property>
 
1371
        </widget>
 
1372
        <packing>
 
1373
          <property name="padding">0</property>
 
1374
          <property name="expand">False</property>
 
1375
          <property name="fill">False</property>
 
1376
        </packing>
 
1377
      </child>
 
1378
 
 
1379
      <child>
 
1380
        <widget class="GtkHButtonBox" id="hbuttonbox_remove">
 
1381
          <property name="visible">True</property>
 
1382
          <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
 
1383
          <property name="spacing">0</property>
 
1384
 
 
1385
          <child>
 
1386
            <widget class="GtkButton" id="button_remove_remove">
 
1387
              <property name="visible">True</property>
 
1388
              <property name="can_default">True</property>
 
1389
              <property name="can_focus">True</property>
 
1390
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
1391
              <property name="focus_on_click">True</property>
 
1392
              <signal name="clicked" handler="on_button_remove_remove_clicked" last_modification_time="Fri, 21 Jul 2006 14:22:51 GMT"/>
 
1393
 
 
1394
              <child>
 
1395
                <widget class="GtkAlignment" id="alignment4">
 
1396
                  <property name="visible">True</property>
 
1397
                  <property name="xalign">0.5</property>
 
1398
                  <property name="yalign">0.5</property>
 
1399
                  <property name="xscale">0</property>
 
1400
                  <property name="yscale">0</property>
 
1401
                  <property name="top_padding">0</property>
 
1402
                  <property name="bottom_padding">0</property>
 
1403
                  <property name="left_padding">0</property>
 
1404
                  <property name="right_padding">0</property>
 
1405
 
 
1406
                  <child>
 
1407
                    <widget class="GtkHBox" id="hbox6">
 
1408
                      <property name="visible">True</property>
 
1409
                      <property name="homogeneous">False</property>
 
1410
                      <property name="spacing">2</property>
 
1411
 
 
1412
                      <child>
 
1413
                        <widget class="GtkImage" id="image39">
 
1414
                          <property name="visible">True</property>
 
1415
                          <property name="stock">gtk-remove</property>
 
1416
                          <property name="icon_size">4</property>
 
1417
                          <property name="xalign">0.5</property>
 
1418
                          <property name="yalign">0.5</property>
 
1419
                          <property name="xpad">0</property>
 
1420
                          <property name="ypad">0</property>
 
1421
                        </widget>
 
1422
                        <packing>
 
1423
                          <property name="padding">0</property>
 
1424
                          <property name="expand">False</property>
 
1425
                          <property name="fill">False</property>
 
1426
                        </packing>
 
1427
                      </child>
 
1428
 
 
1429
                      <child>
 
1430
                        <widget class="GtkLabel" id="label10">
 
1431
                          <property name="visible">True</property>
 
1432
                          <property name="label" translatable="yes">_Remove</property>
 
1433
                          <property name="use_underline">True</property>
 
1434
                          <property name="use_markup">False</property>
 
1435
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1436
                          <property name="wrap">False</property>
 
1437
                          <property name="selectable">False</property>
 
1438
                          <property name="xalign">0.5</property>
 
1439
                          <property name="yalign">0.5</property>
 
1440
                          <property name="xpad">0</property>
 
1441
                          <property name="ypad">0</property>
 
1442
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
1443
                          <property name="width_chars">-1</property>
 
1444
                          <property name="single_line_mode">False</property>
 
1445
                          <property name="angle">0</property>
 
1446
                        </widget>
 
1447
                        <packing>
 
1448
                          <property name="padding">0</property>
 
1449
                          <property name="expand">False</property>
 
1450
                          <property name="fill">False</property>
 
1451
                        </packing>
 
1452
                      </child>
 
1453
                    </widget>
 
1454
                  </child>
 
1455
                </widget>
 
1456
              </child>
 
1457
            </widget>
 
1458
          </child>
 
1459
 
 
1460
          <child>
 
1461
            <widget class="GtkButton" id="button_remove_cancel">
 
1462
              <property name="visible">True</property>
 
1463
              <property name="can_default">True</property>
 
1464
              <property name="can_focus">True</property>
 
1465
              <property name="label">gtk-cancel</property>
 
1466
              <property name="use_stock">True</property>
 
1467
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
1468
              <property name="focus_on_click">True</property>
 
1469
              <signal name="clicked" handler="on_button_remove_cancel_clicked" last_modification_time="Fri, 21 Jul 2006 14:22:58 GMT"/>
 
1470
            </widget>
 
1471
          </child>
 
1472
        </widget>
 
1473
        <packing>
 
1474
          <property name="padding">0</property>
 
1475
          <property name="expand">True</property>
 
1476
          <property name="fill">True</property>
 
1477
        </packing>
 
1478
      </child>
 
1479
    </widget>
 
1480
  </child>
 
1481
</widget>
 
1482
 
 
1483
<widget class="GtkWindow" id="window_push">
 
1484
  <property name="width_request">300</property>
 
1485
  <property name="visible">True</property>
 
1486
  <property name="title" translatable="yes">Olive - Push</property>
 
1487
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
 
1488
  <property name="window_position">GTK_WIN_POS_NONE</property>
 
1489
  <property name="modal">False</property>
 
1490
  <property name="resizable">True</property>
 
1491
  <property name="destroy_with_parent">False</property>
 
1492
  <property name="decorated">True</property>
 
1493
  <property name="skip_taskbar_hint">False</property>
 
1494
  <property name="skip_pager_hint">False</property>
 
1495
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 
1496
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 
1497
  <property name="focus_on_map">True</property>
 
1498
  <property name="urgency_hint">False</property>
 
1499
 
 
1500
  <child>
 
1501
    <widget class="GtkVBox" id="vbox_push">
 
1502
      <property name="border_width">5</property>
 
1503
      <property name="visible">True</property>
 
1504
      <property name="homogeneous">False</property>
 
1505
      <property name="spacing">3</property>
 
1506
 
 
1507
      <child>
 
1508
        <widget class="GtkRadioButton" id="radiobutton_push_stored">
 
1509
          <property name="visible">True</property>
 
1510
          <property name="can_focus">True</property>
 
1511
          <property name="label" translatable="yes">Push to _stored location</property>
 
1512
          <property name="use_underline">True</property>
 
1513
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1514
          <property name="focus_on_click">True</property>
 
1515
          <property name="active">False</property>
 
1516
          <property name="inconsistent">False</property>
 
1517
          <property name="draw_indicator">True</property>
 
1518
          <signal name="toggled" handler="on_radiobutton_push_stored_toggled" last_modification_time="Fri, 21 Jul 2006 16:39:36 GMT"/>
 
1519
        </widget>
 
1520
        <packing>
 
1521
          <property name="padding">0</property>
 
1522
          <property name="expand">False</property>
 
1523
          <property name="fill">False</property>
 
1524
        </packing>
 
1525
      </child>
 
1526
 
 
1527
      <child>
 
1528
        <widget class="GtkRadioButton" id="radiobutton_push_specific">
 
1529
          <property name="visible">True</property>
 
1530
          <property name="can_focus">True</property>
 
1531
          <property name="label" translatable="yes">Push to specific _location:</property>
 
1532
          <property name="use_underline">True</property>
 
1533
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1534
          <property name="focus_on_click">True</property>
 
1535
          <property name="active">False</property>
 
1536
          <property name="inconsistent">False</property>
 
1537
          <property name="draw_indicator">True</property>
 
1538
          <property name="group">radiobutton_push_stored</property>
 
1539
          <signal name="toggled" handler="on_radiobutton_push_specify_toggled" last_modification_time="Fri, 21 Jul 2006 16:39:41 GMT"/>
 
1540
        </widget>
 
1541
        <packing>
 
1542
          <property name="padding">0</property>
 
1543
          <property name="expand">False</property>
 
1544
          <property name="fill">False</property>
 
1545
        </packing>
 
1546
      </child>
 
1547
 
 
1548
      <child>
 
1549
        <widget class="GtkEntry" id="entry_push_location">
 
1550
          <property name="can_focus">True</property>
 
1551
          <property name="editable">True</property>
 
1552
          <property name="visibility">True</property>
 
1553
          <property name="max_length">0</property>
 
1554
          <property name="text" translatable="yes"></property>
 
1555
          <property name="has_frame">True</property>
 
1556
          <property name="invisible_char">●</property>
 
1557
          <property name="activates_default">False</property>
 
1558
        </widget>
 
1559
        <packing>
 
1560
          <property name="padding">0</property>
 
1561
          <property name="expand">False</property>
 
1562
          <property name="fill">False</property>
 
1563
        </packing>
 
1564
      </child>
 
1565
 
 
1566
      <child>
 
1567
        <widget class="GtkCheckButton" id="checkbutton_push_remember">
 
1568
          <property name="can_focus">True</property>
 
1569
          <property name="label" translatable="yes">_Remember this location</property>
 
1570
          <property name="use_underline">True</property>
 
1571
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1572
          <property name="focus_on_click">True</property>
 
1573
          <property name="active">False</property>
 
1574
          <property name="inconsistent">False</property>
 
1575
          <property name="draw_indicator">True</property>
 
1576
        </widget>
 
1577
        <packing>
 
1578
          <property name="padding">0</property>
 
1579
          <property name="expand">False</property>
 
1580
          <property name="fill">False</property>
 
1581
        </packing>
 
1582
      </child>
 
1583
 
 
1584
      <child>
 
1585
        <widget class="GtkCheckButton" id="checkbutton_push_overwrite">
 
1586
          <property name="can_focus">True</property>
 
1587
          <property name="label" translatable="yes">_Overwrite target if diverged</property>
 
1588
          <property name="use_underline">True</property>
 
1589
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1590
          <property name="focus_on_click">True</property>
 
1591
          <property name="active">False</property>
 
1592
          <property name="inconsistent">False</property>
 
1593
          <property name="draw_indicator">True</property>
 
1594
        </widget>
 
1595
        <packing>
 
1596
          <property name="padding">0</property>
 
1597
          <property name="expand">False</property>
 
1598
          <property name="fill">False</property>
 
1599
        </packing>
 
1600
      </child>
 
1601
 
 
1602
      <child>
 
1603
        <widget class="GtkCheckButton" id="checkbutton_push_create">
 
1604
          <property name="can_focus">True</property>
 
1605
          <property name="label" translatable="yes">_Create the path leading up to the location</property>
 
1606
          <property name="use_underline">True</property>
 
1607
          <property name="relief">GTK_RELIEF_NORMAL</property>
 
1608
          <property name="focus_on_click">True</property>
 
1609
          <property name="active">False</property>
 
1610
          <property name="inconsistent">False</property>
 
1611
          <property name="draw_indicator">True</property>
 
1612
        </widget>
 
1613
        <packing>
 
1614
          <property name="padding">0</property>
 
1615
          <property name="expand">False</property>
 
1616
          <property name="fill">False</property>
 
1617
        </packing>
 
1618
      </child>
 
1619
 
 
1620
      <child>
 
1621
        <widget class="GtkHButtonBox" id="hbuttonbox_push">
 
1622
          <property name="visible">True</property>
 
1623
          <property name="layout_style">GTK_BUTTONBOX_SPREAD</property>
 
1624
          <property name="spacing">0</property>
 
1625
 
 
1626
          <child>
 
1627
            <widget class="GtkButton" id="button_push_push">
 
1628
              <property name="visible">True</property>
 
1629
              <property name="can_default">True</property>
 
1630
              <property name="can_focus">True</property>
 
1631
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
1632
              <property name="focus_on_click">True</property>
 
1633
              <signal name="clicked" handler="on_button_push_push_clicked" last_modification_time="Fri, 21 Jul 2006 16:39:01 GMT"/>
 
1634
 
 
1635
              <child>
 
1636
                <widget class="GtkAlignment" id="alignment6">
 
1637
                  <property name="visible">True</property>
 
1638
                  <property name="xalign">0.5</property>
 
1639
                  <property name="yalign">0.5</property>
 
1640
                  <property name="xscale">0</property>
 
1641
                  <property name="yscale">0</property>
 
1642
                  <property name="top_padding">0</property>
 
1643
                  <property name="bottom_padding">0</property>
 
1644
                  <property name="left_padding">0</property>
 
1645
                  <property name="right_padding">0</property>
 
1646
 
 
1647
                  <child>
 
1648
                    <widget class="GtkHBox" id="hbox8">
 
1649
                      <property name="visible">True</property>
 
1650
                      <property name="homogeneous">False</property>
 
1651
                      <property name="spacing">2</property>
 
1652
 
 
1653
                      <child>
 
1654
                        <widget class="GtkImage" id="image50">
 
1655
                          <property name="visible">True</property>
 
1656
                          <property name="stock">gtk-goto-top</property>
 
1657
                          <property name="icon_size">4</property>
 
1658
                          <property name="xalign">0.5</property>
 
1659
                          <property name="yalign">0.5</property>
 
1660
                          <property name="xpad">0</property>
 
1661
                          <property name="ypad">0</property>
 
1662
                        </widget>
 
1663
                        <packing>
 
1664
                          <property name="padding">0</property>
 
1665
                          <property name="expand">False</property>
 
1666
                          <property name="fill">False</property>
 
1667
                        </packing>
 
1668
                      </child>
 
1669
 
 
1670
                      <child>
 
1671
                        <widget class="GtkLabel" id="label12">
 
1672
                          <property name="visible">True</property>
 
1673
                          <property name="label" translatable="yes">_Push</property>
 
1674
                          <property name="use_underline">True</property>
 
1675
                          <property name="use_markup">False</property>
 
1676
                          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1677
                          <property name="wrap">False</property>
 
1678
                          <property name="selectable">False</property>
 
1679
                          <property name="xalign">0.5</property>
 
1680
                          <property name="yalign">0.5</property>
 
1681
                          <property name="xpad">0</property>
 
1682
                          <property name="ypad">0</property>
 
1683
                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
1684
                          <property name="width_chars">-1</property>
 
1685
                          <property name="single_line_mode">False</property>
 
1686
                          <property name="angle">0</property>
 
1687
                        </widget>
 
1688
                        <packing>
 
1689
                          <property name="padding">0</property>
 
1690
                          <property name="expand">False</property>
 
1691
                          <property name="fill">False</property>
 
1692
                        </packing>
 
1693
                      </child>
 
1694
                    </widget>
 
1695
                  </child>
 
1696
                </widget>
 
1697
              </child>
 
1698
            </widget>
 
1699
          </child>
 
1700
 
 
1701
          <child>
 
1702
            <widget class="GtkButton" id="button_push_cancel">
 
1703
              <property name="visible">True</property>
 
1704
              <property name="can_default">True</property>
 
1705
              <property name="can_focus">True</property>
 
1706
              <property name="label">gtk-cancel</property>
 
1707
              <property name="use_stock">True</property>
 
1708
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
1709
              <property name="focus_on_click">True</property>
 
1710
              <signal name="clicked" handler="on_button_push_cancel_clicked" last_modification_time="Fri, 21 Jul 2006 16:38:55 GMT"/>
 
1711
            </widget>
 
1712
          </child>
 
1713
        </widget>
 
1714
        <packing>
 
1715
          <property name="padding">0</property>
 
1716
          <property name="expand">False</property>
 
1717
          <property name="fill">True</property>
 
1718
        </packing>
 
1719
      </child>
 
1720
    </widget>
 
1721
  </child>
 
1722
</widget>
 
1723
 
992
1724
</glade-interface>