← Back to branch summary

~jtaylor/ubuntu/natty/meld/meld-sru

« back to all changes in this revision

Viewing changes to glade2/meldapp.glade

  • Committer: Bazaar Package Importer
  • Author(s): Michael Terry, Michael Terry, James Westby
  • Date: 2009-05-07 15:11:34 UTC
  • mfrom: (1.2.8 upstream) (2.1.4 squeeze)
  • Revision ID: james.westby@ubuntu.com-20090507151134-91styo8cxk9h1m52
Tags: 1.2.1-1ubuntu1
https://launchpad.net/bugs/373388
[ Michael Terry ]
* Merge from debian unstable (LP: #373388), remaining changes:
  - debian/control.in: Add patch as a dependency
  - debian/copyright: Update email address of maintainer
  - debian/patches/only-ignore-fully-blank-changes.patch
* debian/patches/escape-paths.patch:
  - Removed, fixed upstream.

[ James Westby ]
* debian/patches/fix-fr-help-makefile.patch
  - Removed as the directory now exists.
* Added patch tags to the remaining Ubuntu patch.

Show diffs side-by-side

added added

removed removed

Lines of Context:
glade2/meldapp.glade
2
2
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
3
3
<!--*- mode: xml -*-->
4
4
<glade-interface>
5
 
  <requires lib="bonobo"/>
6
5
  <requires lib="gnome"/>
7
 
  <widget class="GnomeApp" id="meldapp">
 
6
  <widget class="GtkWindow" id="meldapp">
8
7
    <property name="height_request">480</property>
9
8
    <property name="title" translatable="yes">Meld</property>
10
9
    <property name="icon">pixmaps/icon.png</property>
11
 
    <property name="enable_layout_config">True</property>
12
10
    <signal name="size_allocate" handler="on_size_allocate"/>
13
11
    <signal name="delete_event" handler="on_delete_event"/>
14
 
    <child internal-child="dock">
15
 
      <widget class="BonoboDock" id="bonobodock1">
16
 
        <property name="visible">True</property>
17
 
        <property name="allow_floating">True</property>
18
 
        <child>
19
 
          <widget class="BonoboDockItem" id="bonobodockitem3">
20
 
            <property name="visible">True</property>
21
 
            <child>
22
 
              <widget class="GtkToolbar" id="toolbar">
23
 
                <property name="visible">True</property>
24
 
                <property name="border_width">1</property>
25
 
                <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
26
 
                <child>
27
 
                  <widget class="GtkToolButton" id="toolbar_new">
28
 
                    <property name="visible">True</property>
29
 
                    <property name="tooltip" translatable="yes">New</property>
30
 
                    <property name="is_important">True</property>
31
 
                    <property name="stock_id">gtk-new</property>
32
 
                    <signal name="clicked" handler="on_toolbar_new_clicked"/>
33
 
                  </widget>
34
 
                  <packing>
35
 
                    <property name="expand">False</property>
36
 
                  </packing>
37
 
                </child>
38
 
                <child>
39
 
                  <widget class="GtkToolButton" id="toolbar_magic">
40
 
                    <property name="visible">True</property>
41
 
                    <property name="tooltip" translatable="yes">Yes</property>
42
 
                    <property name="stock_id">gtk-yes</property>
43
 
                    <signal name="clicked" handler="on_menu_magic_activate"/>
44
 
                  </widget>
45
 
                  <packing>
46
 
                    <property name="expand">False</property>
47
 
                  </packing>
48
 
                </child>
49
 
                <child>
50
 
                  <widget class="GtkToolButton" id="button15">
51
 
                    <property name="visible">True</property>
52
 
                    <property name="tooltip" translatable="yes">Save</property>
53
 
                    <property name="is_important">True</property>
54
 
                    <property name="stock_id">gtk-save</property>
55
 
                    <signal name="clicked" handler="on_menu_save_activate"/>
56
 
                  </widget>
57
 
                  <packing>
58
 
                    <property name="expand">False</property>
59
 
                  </packing>
60
 
                </child>
61
 
                <child>
62
 
                  <widget class="GtkToolButton" id="button_undo">
63
 
                    <property name="visible">True</property>
64
 
                    <property name="tooltip" translatable="yes">Undo</property>
65
 
                    <property name="is_important">True</property>
66
 
                    <property name="stock_id">gtk-undo</property>
67
 
                    <signal name="clicked" handler="on_menu_undo_activate"/>
68
 
                  </widget>
69
 
                  <packing>
70
 
                    <property name="expand">False</property>
71
 
                  </packing>
72
 
                </child>
73
 
                <child>
74
 
                  <widget class="GtkToolButton" id="button_redo">
75
 
                    <property name="visible">True</property>
76
 
                    <property name="tooltip" translatable="yes">Redo</property>
77
 
                    <property name="is_important">True</property>
78
 
                    <property name="stock_id">gtk-redo</property>
79
 
                    <signal name="clicked" handler="on_menu_redo_activate"/>
80
 
                  </widget>
81
 
                  <packing>
82
 
                    <property name="expand">False</property>
83
 
                  </packing>
84
 
                </child>
85
 
                <child>
86
 
                  <widget class="GtkSeparatorToolItem" id="separatortoolitem1">
87
 
                    <property name="visible">True</property>
88
 
                  </widget>
89
 
                  <packing>
90
 
                    <property name="expand">False</property>
91
 
                    <property name="homogeneous">False</property>
92
 
                  </packing>
93
 
                </child>
94
 
                <child>
95
 
                  <widget class="GtkToolButton" id="button_down">
96
 
                    <property name="visible">True</property>
97
 
                    <property name="tooltip" translatable="yes">Down</property>
98
 
                    <property name="stock_id">gtk-go-down</property>
99
 
                    <signal name="clicked" handler="on_menu_edit_down_activate"/>
100
 
                  </widget>
101
 
                  <packing>
102
 
                    <property name="expand">False</property>
103
 
                  </packing>
104
 
                </child>
105
 
                <child>
106
 
                  <widget class="GtkToolButton" id="button_up">
107
 
                    <property name="visible">True</property>
108
 
                    <property name="tooltip" translatable="yes">Up</property>
109
 
                    <property name="stock_id">gtk-go-up</property>
110
 
                    <signal name="clicked" handler="on_menu_edit_up_activate"/>
111
 
                  </widget>
112
 
                  <packing>
113
 
                    <property name="expand">False</property>
114
 
                  </packing>
115
 
                </child>
116
 
                <child>
117
 
                  <widget class="GtkSeparatorToolItem" id="separatortoolitem2">
118
 
                    <property name="visible">True</property>
119
 
                  </widget>
120
 
                  <packing>
121
 
                    <property name="expand">False</property>
122
 
                    <property name="homogeneous">False</property>
123
 
                  </packing>
124
 
                </child>
125
 
                <child>
126
 
                  <widget class="GtkToolButton" id="toolbar_stop">
127
 
                    <property name="visible">True</property>
128
 
                    <property name="sensitive">False</property>
129
 
                    <property name="tooltip" translatable="yes">Stop</property>
130
 
                    <property name="stock_id">gtk-stop</property>
131
 
                    <signal name="clicked" handler="on_toolbar_stop_clicked"/>
132
 
                  </widget>
133
 
                  <packing>
134
 
                    <property name="expand">False</property>
135
 
                  </packing>
136
 
                </child>
137
 
              </widget>
138
 
            </child>
139
 
          </widget>
140
 
          <packing>
141
 
            <property name="band">1</property>
142
 
            <property name="behavior">BONOBO_DOCK_ITEM_BEH_EXCLUSIVE | BONOBO_DOCK_ITEM_BEH_NEVER_FLOATING | BONOBO_DOCK_ITEM_BEH_NEVER_VERTICAL | BONOBO_DOCK_ITEM_BEH_NEVER_HORIZONTAL | BONOBO_DOCK_ITEM_BEH_LOCKED</property>
143
 
          </packing>
144
 
        </child>
145
 
        <child>
146
 
          <widget class="BonoboDockItem" id="bonobodockitem2">
147
 
            <property name="visible">True</property>
148
 
            <child>
149
 
              <widget class="GtkAlignment" id="alignment1">
150
 
                <property name="visible">True</property>
151
 
                <child>
152
 
                  <widget class="GtkMenuBar" id="menu">
153
 
                    <property name="visible">True</property>
154
 
                    <child>
155
 
                      <widget class="GtkMenuItem" id="menuitem_file">
156
 
                        <property name="visible">True</property>
157
 
                        <property name="label" translatable="yes">_File</property>
158
 
                        <property name="use_underline">True</property>
159
 
                        <child>
160
 
                          <widget class="GtkMenu" id="menuitem_file_menu">
161
 
                            <child>
162
 
                              <widget class="GtkImageMenuItem" id="menu_file_new">
163
 
                                <property name="visible">True</property>
164
 
                                <property name="label" translatable="yes">_New...</property>
165
 
                                <property name="use_underline">True</property>
166
 
                                <signal name="activate" handler="on_menu_file_new_activate"/>
167
 
                                <accelerator key="n" modifiers="GDK_CONTROL_MASK" signal="activate"/>
168
 
                                <child internal-child="image">
169
 
                                  <widget class="GtkImage" id="image722">
170
 
                                    <property name="visible">True</property>
171
 
                                    <property name="stock">gtk-new</property>
172
 
                                    <property name="icon_size">1</property>
173
 
                                  </widget>
174
 
                                </child>
175
 
                              </widget>
176
 
                            </child>
177
 
                            <child>
178
 
                              <widget class="GtkImageMenuItem" id="menu_file_save">
179
 
                                <property name="visible">True</property>
180
 
                                <property name="label" translatable="yes">_Save</property>
181
 
                                <property name="use_underline">True</property>
182
 
                                <signal name="activate" handler="on_menu_save_activate"/>
183
 
                                <accelerator key="s" modifiers="GDK_CONTROL_MASK" signal="activate"/>
184
 
                                <child internal-child="image">
185
 
                                  <widget class="GtkImage" id="image724">
186
 
                                    <property name="visible">True</property>
187
 
                                    <property name="stock">gtk-save</property>
188
 
                                    <property name="icon_size">1</property>
189
 
                                  </widget>
190
 
                                </child>
191
 
                              </widget>
192
 
                            </child>
193
 
                            <child>
194
 
                              <widget class="GtkImageMenuItem" id="menu_file_save_as">
195
 
                                <property name="visible">True</property>
196
 
                                <property name="label" translatable="yes">Save _As</property>
197
 
                                <property name="use_underline">True</property>
198
 
                                <signal name="activate" handler="on_menu_save_as_activate"/>
199
 
                                <accelerator key="s" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK" signal="activate"/>
200
 
                                <child internal-child="image">
201
 
                                  <widget class="GtkImage" id="image723">
202
 
                                    <property name="visible">True</property>
203
 
                                    <property name="stock">gtk-save-as</property>
204
 
                                    <property name="icon_size">1</property>
205
 
                                  </widget>
206
 
                                </child>
207
 
                              </widget>
208
 
                            </child>
209
 
                            <child>
210
 
                              <widget class="GtkSeparatorMenuItem" id="separator4">
211
 
                                <property name="visible">True</property>
212
 
                              </widget>
213
 
                            </child>
214
 
                            <child>
215
 
                              <widget class="GtkImageMenuItem" id="menu_file_close">
216
 
                                <property name="visible">True</property>
217
 
                                <property name="label">gtk-close</property>
218
 
                                <property name="use_underline">True</property>
219
 
                                <property name="use_stock">True</property>
220
 
                                <signal name="activate" handler="on_menu_close_activate"/>
221
 
                              </widget>
222
 
                            </child>
223
 
                            <child>
224
 
                              <widget class="GtkImageMenuItem" id="menu_file_quit">
225
 
                                <property name="visible">True</property>
226
 
                                <property name="label">gtk-quit</property>
227
 
                                <property name="use_underline">True</property>
228
 
                                <property name="use_stock">True</property>
229
 
                                <signal name="activate" handler="on_menu_quit_activate"/>
230
 
                              </widget>
231
 
                            </child>
232
 
                          </widget>
233
 
                        </child>
234
 
                      </widget>
235
 
                    </child>
236
 
                    <child>
237
 
                      <widget class="GtkMenuItem" id="menuitem_edit">
238
 
                        <property name="visible">True</property>
239
 
                        <property name="label" translatable="yes">_Edit</property>
240
 
                        <property name="use_underline">True</property>
241
 
                        <child>
242
 
                          <widget class="GtkMenu" id="menuitem_edit_menu">
243
 
                            <child>
244
 
                              <widget class="GtkImageMenuItem" id="menu_edit_undo">
245
 
                                <property name="visible">True</property>
246
 
                                <property name="label">gtk-undo</property>
247
 
                                <property name="use_underline">True</property>
248
 
                                <property name="use_stock">True</property>
249
 
                                <signal name="activate" handler="on_menu_undo_activate"/>
250
 
                                <accelerator key="z" modifiers="GDK_CONTROL_MASK" signal="activate"/>
251
 
                              </widget>
252
 
                            </child>
253
 
                            <child>
254
 
                              <widget class="GtkImageMenuItem" id="menu_edit_redo">
255
 
                                <property name="visible">True</property>
256
 
                                <property name="label">gtk-redo</property>
257
 
                                <property name="use_underline">True</property>
258
 
                                <property name="use_stock">True</property>
259
 
                                <signal name="activate" handler="on_menu_redo_activate"/>
260
 
                                <accelerator key="z" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK" signal="activate"/>
261
 
                              </widget>
262
 
                            </child>
263
 
                            <child>
264
 
                              <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
265
 
                                <property name="visible">True</property>
266
 
                              </widget>
267
 
                            </child>
268
 
                            <child>
269
 
                              <widget class="GtkImageMenuItem" id="cut1">
270
 
                                <property name="visible">True</property>
271
 
                                <property name="label">gtk-cut</property>
272
 
                                <property name="use_underline">True</property>
273
 
                                <property name="use_stock">True</property>
274
 
                                <signal name="activate" handler="on_menu_cut_activate"/>
275
 
                              </widget>
276
 
                            </child>
277
 
                            <child>
278
 
                              <widget class="GtkImageMenuItem" id="copy1">
279
 
                                <property name="visible">True</property>
280
 
                                <property name="label">gtk-copy</property>
281
 
                                <property name="use_underline">True</property>
282
 
                                <property name="use_stock">True</property>
283
 
                                <signal name="activate" handler="on_menu_copy_activate"/>
284
 
                              </widget>
285
 
                            </child>
286
 
                            <child>
287
 
                              <widget class="GtkImageMenuItem" id="paste1">
288
 
                                <property name="visible">True</property>
289
 
                                <property name="label">gtk-paste</property>
290
 
                                <property name="use_underline">True</property>
291
 
                                <property name="use_stock">True</property>
292
 
                                <signal name="activate" handler="on_menu_paste_activate"/>
293
 
                              </widget>
294
 
                            </child>
295
 
                            <child>
296
 
                              <widget class="GtkSeparatorMenuItem" id="separator5">
297
 
                                <property name="visible">True</property>
298
 
                              </widget>
299
 
                            </child>
300
 
                            <child>
301
 
                              <widget class="GtkImageMenuItem" id="menu_edit_find">
302
 
                                <property name="visible">True</property>
303
 
                                <property name="label">gtk-find</property>
304
 
                                <property name="use_underline">True</property>
305
 
                                <property name="use_stock">True</property>
306
 
                                <signal name="activate" handler="on_menu_find_activate"/>
307
 
                              </widget>
308
 
                            </child>
309
 
                            <child>
310
 
                              <widget class="GtkImageMenuItem" id="menu_edit_find_next">
311
 
                                <property name="visible">True</property>
312
 
                                <property name="label" translatable="yes">Find Ne_xt</property>
313
 
                                <property name="use_underline">True</property>
314
 
                                <signal name="activate" handler="on_menu_find_next_activate"/>
315
 
                                <accelerator key="g" modifiers="GDK_CONTROL_MASK" signal="activate"/>
316
 
                              </widget>
317
 
                            </child>
318
 
                            <child>
319
 
                              <widget class="GtkSeparatorMenuItem" id="separator6">
320
 
                                <property name="visible">True</property>
321
 
                              </widget>
322
 
                            </child>
323
 
                            <child>
324
 
                              <widget class="GtkImageMenuItem" id="menu_edit_down">
325
 
                                <property name="visible">True</property>
326
 
                                <property name="label" translatable="yes">_Down</property>
327
 
                                <property name="use_underline">True</property>
328
 
                                <signal name="activate" handler="on_menu_edit_down_activate"/>
329
 
                                <accelerator key="d" modifiers="GDK_CONTROL_MASK" signal="activate"/>
330
 
                                <child internal-child="image">
331
 
                                  <widget class="GtkImage" id="image727">
332
 
                                    <property name="visible">True</property>
333
 
                                    <property name="stock">gtk-go-down</property>
334
 
                                    <property name="icon_size">1</property>
335
 
                                  </widget>
336
 
                                </child>
337
 
                              </widget>
338
 
                            </child>
339
 
                            <child>
340
 
                              <widget class="GtkImageMenuItem" id="menu_edit_up">
341
 
                                <property name="visible">True</property>
342
 
                                <property name="label" translatable="yes">_Up</property>
343
 
                                <property name="use_underline">True</property>
344
 
                                <signal name="activate" handler="on_menu_edit_up_activate"/>
345
 
                                <accelerator key="e" modifiers="GDK_CONTROL_MASK" signal="activate"/>
346
 
                                <child internal-child="image">
347
 
                                  <widget class="GtkImage" id="image728">
348
 
                                    <property name="visible">True</property>
349
 
                                    <property name="stock">gtk-go-up</property>
350
 
                                    <property name="icon_size">1</property>
351
 
                                  </widget>
352
 
                                </child>
353
 
                              </widget>
354
 
                            </child>
355
 
                            <child>
356
 
                              <widget class="GtkSeparatorMenuItem" id="separator7">
357
 
                                <property name="visible">True</property>
358
 
                              </widget>
359
 
                            </child>
360
 
                            <child>
361
 
                              <widget class="GtkImageMenuItem" id="settings_preferences">
362
 
                                <property name="visible">True</property>
363
 
                                <property name="label">gtk-preferences</property>
364
 
                                <property name="use_underline">True</property>
365
 
                                <property name="use_stock">True</property>
366
 
                                <signal name="activate" handler="on_menu_preferences_activate"/>
367
 
                              </widget>
368
 
                            </child>
369
 
                          </widget>
370
 
                        </child>
371
 
                      </widget>
372
 
                    </child>
373
 
                    <child>
374
 
                      <widget class="GtkMenuItem" id="view">
375
 
                        <property name="visible">True</property>
376
 
                        <property name="label" translatable="yes">_View</property>
377
 
                        <property name="use_underline">True</property>
378
 
                        <child>
379
 
                          <widget class="GtkMenu" id="menu1">
380
 
                            <property name="visible">True</property>
381
 
                            <child>
382
 
                              <widget class="GtkImageMenuItem" id="menu_view_stop">
383
 
                                <property name="visible">True</property>
384
 
                                <property name="label" translatable="yes">_Stop</property>
385
 
                                <property name="use_underline">True</property>
386
 
                                <signal name="activate" handler="on_toolbar_stop_clicked"/>
387
 
                                <accelerator key="Escape" signal="activate"/>
388
 
                                <child internal-child="image">
389
 
                                  <widget class="GtkImage" id="menu-item-image16">
390
 
                                    <property name="visible">True</property>
391
 
                                    <property name="stock">gtk-stop</property>
392
 
                                  </widget>
393
 
                                </child>
394
 
                              </widget>
395
 
                            </child>
396
 
                            <child>
397
 
                              <widget class="GtkImageMenuItem" id="menu_edit_refresh">
398
 
                                <property name="visible">True</property>
399
 
                                <property name="label" translatable="yes">Refresh</property>
400
 
                                <property name="use_underline">True</property>
401
 
                                <signal name="activate" handler="on_menu_refresh_activate"/>
402
 
                                <accelerator key="r" modifiers="GDK_CONTROL_MASK" signal="activate"/>
403
 
                                <child internal-child="image">
404
 
                                  <widget class="GtkImage" id="image725">
405
 
                                    <property name="visible">True</property>
406
 
                                    <property name="stock">gtk-refresh</property>
407
 
                                    <property name="icon_size">1</property>
408
 
                                  </widget>
409
 
                                </child>
410
 
                              </widget>
411
 
                            </child>
412
 
                            <child>
413
 
                              <widget class="GtkImageMenuItem" id="menu_edit_reload">
414
 
                                <property name="visible">True</property>
415
 
                                <property name="label" translatable="yes">Reload</property>
416
 
                                <property name="use_underline">True</property>
417
 
                                <signal name="activate" handler="on_menu_reload_activate"/>
418
 
                                <accelerator key="r" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK" signal="activate"/>
419
 
                                <child internal-child="image">
420
 
                                  <widget class="GtkImage" id="image726">
421
 
                                    <property name="visible">True</property>
422
 
                                    <property name="stock">gtk-refresh</property>
423
 
                                    <property name="icon_size">1</property>
424
 
                                  </widget>
425
 
                                </child>
426
 
                              </widget>
427
 
                            </child>
428
 
                          </widget>
429
 
                        </child>
430
 
                      </widget>
431
 
                    </child>
432
 
                    <child>
433
 
                      <widget class="GtkMenuItem" id="menuitem_help">
434
 
                        <property name="visible">True</property>
435
 
                        <property name="label" translatable="yes">_Help</property>
436
 
                        <property name="use_underline">True</property>
437
 
                        <child>
438
 
                          <widget class="GtkMenu" id="menuitem_help_menu">
439
 
                            <child>
440
 
                              <widget class="GtkImageMenuItem" id="menu_help_users_manual">
441
 
                                <property name="visible">True</property>
442
 
                                <property name="label" translatable="yes">_Contents</property>
443
 
                                <property name="use_underline">True</property>
444
 
                                <signal name="activate" handler="on_menu_users_manual_activate"/>
445
 
                                <accelerator key="F1" modifiers="" signal="activate"/>
446
 
                                <child internal-child="image">
447
 
                                  <widget class="GtkImage" id="image729">
448
 
                                    <property name="visible">True</property>
449
 
                                    <property name="stock">gtk-help</property>
450
 
                                    <property name="icon_size">1</property>
451
 
                                  </widget>
452
 
                                </child>
453
 
                              </widget>
454
 
                            </child>
455
 
                            <child>
456
 
                              <widget class="GtkImageMenuItem" id="menu_help_bug">
457
 
                                <property name="visible">True</property>
458
 
                                <property name="label" translatable="yes">Report _Bug</property>
459
 
                                <property name="use_underline">True</property>
460
 
                                <signal name="activate" handler="on_menu_help_bug_activate"/>
461
 
                                <child internal-child="image">
462
 
                                  <widget class="GtkImage" id="image730">
463
 
                                    <property name="visible">True</property>
464
 
                                    <property name="stock">gtk-dialog-warning</property>
465
 
                                    <property name="icon_size">1</property>
466
 
                                  </widget>
467
 
                                </child>
468
 
                              </widget>
469
 
                            </child>
470
 
                            <child>
471
 
                              <widget class="GtkImageMenuItem" id="menu_help_list">
472
 
                                <property name="visible">True</property>
473
 
                                <property name="label" translatable="yes">Mailing _List</property>
474
 
                                <property name="use_underline">True</property>
475
 
                                <signal name="activate" handler="on_menu_help_list_activate"/>
476
 
                                <child internal-child="image">
477
 
                                  <widget class="GtkImage" id="image731">
478
 
                                    <property name="visible">True</property>
479
 
                                    <property name="stock">gnome-stock-mail</property>
480
 
                                    <property name="icon_size">1</property>
481
 
                                  </widget>
482
 
                                </child>
483
 
                              </widget>
484
 
                            </child>
485
 
                            <child>
486
 
                              <widget class="GtkImageMenuItem" id="about1">
487
 
                                <property name="visible">True</property>
488
 
                                <property name="label">gtk-about</property>
489
 
                                <property name="use_underline">True</property>
490
 
                                <property name="use_stock">True</property>
491
 
                                <signal name="activate" handler="on_menu_about_activate"/>
492
 
                              </widget>
493
 
                            </child>
494
 
                          </widget>
495
 
                        </child>
496
 
                      </widget>
497
 
                    </child>
498
 
                  </widget>
499
 
                </child>
500
 
              </widget>
501
 
            </child>
502
 
          </widget>
503
 
          <packing>
504
 
            <property name="behavior">BONOBO_DOCK_ITEM_BEH_EXCLUSIVE | BONOBO_DOCK_ITEM_BEH_NEVER_FLOATING | BONOBO_DOCK_ITEM_BEH_NEVER_VERTICAL | BONOBO_DOCK_ITEM_BEH_LOCKED</property>
505
 
          </packing>
506
 
        </child>
507
 
        <child>
508
 
          <widget class="GtkVBox" id="vbox44">
 
12
        <child>
 
13
          <widget class="GtkVBox" id="appvbox">
509
14
            <property name="visible">True</property>
510
15
            <child>
511
16
              <widget class="GtkNotebook" id="notebook">
516
21
                <signal name="key_press_event" handler="on_notebook_key_press_event"/>
517
22
                <signal name="switch_page" handler="on_switch_page"/>
518
23
              </widget>
 
24
              <packing>
 
25
                <property name="position">1</property>
 
26
                <property name="pack_type">GTK_PACK_END</property>
 
27
              </packing>
519
28
            </child>
520
29
            <child>
521
30
              <widget class="GtkHBox" id="status_box">
554
63
              <packing>
555
64
                <property name="expand">False</property>
556
65
                <property name="fill">False</property>
557
 
                <property name="position">1</property>
 
66
                <property name="position">0</property>
 
67
                <property name="pack_type">GTK_PACK_END</property>
558
68
              </packing>
559
69
            </child>
560
70
          </widget>
561
71
        </child>
562
 
      </widget>
563
 
      <packing>
564
 
        <property name="expand">True</property>
565
 
        <property name="fill">True</property>
566
 
      </packing>
567
 
    </child>
568
72
  </widget>
569
73
  <widget class="GnomeAbout" id="about">
570
74
    <property name="visible">True</property>
1387
891
                                  </packing>
1388
892
                                </child>
1389
893
                                <child>
 
894
                                  <widget class="GtkCheckButton" id="checkbutton_spaces_instead_of_tabs">
 
895
                                    <property name="visible">True</property>
 
896
                                    <property name="can_focus">True</property>
 
897
                                    <property name="label" translatable="yes">Insert spaces instead of tabs</property>
 
898
                                    <property name="use_underline">True</property>
 
899
                                    <property name="response_id">0</property>
 
900
                                    <property name="draw_indicator">True</property>
 
901
                                    <signal name="toggled" handler="on_checkbutton_spaces_instead_of_tabs_toggled"/>
 
902
                                  </widget>
 
903
                                  <packing>
 
904
                                    <property name="expand">False</property>
 
905
                                    <property name="fill">False</property>
 
906
                                    <property name="position">1</property>
 
907
                                  </packing>
 
908
                                </child>
 
909
                                <child>
1390
910
                                  <widget class="GtkHBox" id="hbox38">
1391
911
                                    <property name="visible">True</property>
1392
912
                                    <child>
1403
923
                                      <widget class="GtkOptionMenu" id="option_wrap_lines">
1404
924
                                        <property name="visible">True</property>
1405
925
                                        <property name="can_focus">True</property>
1406
 
                                        <property name="response_id">0</property>
 
926
                                        <property name="history">0</property>
1407
927
                                        <signal name="changed" handler="on_option_wrap_lines_changed"/>
 
928
 
 
929
                                        <child>
 
930
                                          <widget class="GtkMenu" id="menu1">
 
931
 
 
932
                                            <child>
 
933
                                              <widget class="GtkMenuItem" id="menu_wrap_none">
 
934
                                                <property name="visible">True</property>
 
935
                                                <property name="label" translatable="yes">_None</property>
 
936
                                                <property name="use_underline">True</property>
 
937
                                                <signal name="activate" handler="on_wrap_activate" last_modification_time="Wed, 17 Mar 2004 21:30:49 GMT"/>
 
938
                                              </widget>
 
939
                                            </child>
 
940
 
 
941
                                            <child>
 
942
                                              <widget class="GtkMenuItem" id="menu_wrap_char">
 
943
                                                <property name="visible">True</property>
 
944
                                                <property name="label" translatable="yes">_Character</property>
 
945
                                                <property name="use_underline">True</property>
 
946
                                                <signal name="activate" handler="on_wrap_activate" last_modification_time="Wed, 17 Mar 2004 21:30:49 GMT"/>
 
947
                                              </widget>
 
948
                                            </child>
 
949
 
 
950
                                            <child>
 
951
                                              <widget class="GtkMenuItem" id="menu_wrap_word">
 
952
                                                <property name="visible">True</property>
 
953
                                                <property name="label" translatable="yes">_Word</property>
 
954
                                                <property name="use_underline">True</property>
 
955
                                                <signal name="activate" handler="on_wrap_activate" last_modification_time="Wed, 17 Mar 2004 21:30:49 GMT"/>
 
956
                                              </widget>
 
957
                                            </child>
 
958
                                          </widget>
 
959
                                        </child>
1408
960
                                      </widget>
1409
961
                                      <packing>
1410
962
                                        <property name="expand">False</property>
1416
968
                                  <packing>
1417
969
                                    <property name="expand">False</property>
1418
970
                                    <property name="fill">False</property>
1419
 
                                    <property name="position">1</property>
 
971
                                    <property name="position">2</property>
1420
972
                                  </packing>
1421
973
                                </child>
1422
974
                                <child>
1432
984
                                  <packing>
1433
985
                                    <property name="expand">False</property>
1434
986
                                    <property name="fill">False</property>
1435
 
                                    <property name="position">2</property>
 
987
                                    <property name="position">3</property>
1436
988
                                  </packing>
1437
989
                                </child>
1438
990
                                <child>
1448
1000
                                  <packing>
1449
1001
                                    <property name="expand">False</property>
1450
1002
                                    <property name="fill">False</property>
1451
 
                                    <property name="position">3</property>
 
1003
                                    <property name="position">4</property>
1452
1004
                                  </packing>
1453
1005
                                </child>
1454
1006
                                <child>
1464
1016
                                  <packing>
1465
1017
                                    <property name="expand">False</property>
1466
1018
                                    <property name="fill">False</property>
1467
 
                                    <property name="position">4</property>
 
1019
                                    <property name="position">5</property>
1468
1020
                                  </packing>
1469
1021
                                </child>
1470
1022
                              </widget>