1
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
5
<requires lib="gnome"/>
7
<widget class="GtkDialog" id="mc_preferences_dialog">
8
<property name="border_width">5</property>
9
<property name="title" translatable="yes">Command Line Preferences</property>
10
<property name="type">GTK_WINDOW_TOPLEVEL</property>
11
<property name="window_position">GTK_WIN_POS_NONE</property>
12
<property name="modal">False</property>
13
<property name="resizable">True</property>
14
<property name="destroy_with_parent">False</property>
15
<property name="decorated">True</property>
16
<property name="skip_taskbar_hint">False</property>
17
<property name="skip_pager_hint">False</property>
18
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
19
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
20
<property name="has_separator">False</property>
22
<child internal-child="vbox">
23
<widget class="GtkVBox" id="dialog-vbox2">
24
<property name="visible">True</property>
25
<property name="homogeneous">False</property>
26
<property name="spacing">2</property>
28
<child internal-child="action_area">
29
<widget class="GtkHButtonBox" id="dialog-action_area2">
30
<property name="visible">True</property>
31
<property name="layout_style">GTK_BUTTONBOX_END</property>
34
<widget class="GtkButton" id="help_button">
35
<property name="visible">True</property>
36
<property name="can_default">True</property>
37
<property name="can_focus">True</property>
38
<property name="label">gtk-help</property>
39
<property name="use_stock">True</property>
40
<property name="relief">GTK_RELIEF_NORMAL</property>
41
<property name="focus_on_click">True</property>
42
<property name="response_id">-11</property>
47
<widget class="GtkButton" id="done_button">
48
<property name="visible">True</property>
49
<property name="can_default">True</property>
50
<property name="has_default">True</property>
51
<property name="can_focus">True</property>
52
<property name="label">gtk-close</property>
53
<property name="use_stock">True</property>
54
<property name="relief">GTK_RELIEF_NORMAL</property>
55
<property name="focus_on_click">True</property>
56
<property name="response_id">-7</property>
65
<property name="padding">0</property>
66
<property name="expand">False</property>
67
<property name="fill">True</property>
68
<property name="pack_type">GTK_PACK_END</property>
73
<widget class="GtkNotebook" id="preferences_notebook">
74
<property name="border_width">5</property>
75
<property name="visible">True</property>
76
<property name="can_focus">True</property>
77
<property name="show_tabs">True</property>
78
<property name="show_border">True</property>
79
<property name="tab_pos">GTK_POS_TOP</property>
80
<property name="scrollable">False</property>
81
<property name="enable_popup">False</property>
84
<widget class="GtkVBox" id="general_page_vbox">
85
<property name="border_width">12</property>
86
<property name="visible">True</property>
87
<property name="homogeneous">False</property>
88
<property name="spacing">18</property>
91
<widget class="GtkVBox" id="vbox10">
92
<property name="visible">True</property>
93
<property name="homogeneous">False</property>
94
<property name="spacing">6</property>
97
<widget class="GtkLabel" id="label24">
98
<property name="visible">True</property>
99
<property name="label" translatable="yes"><b>Auto Completion</b></property>
100
<property name="use_underline">False</property>
101
<property name="use_markup">True</property>
102
<property name="justify">GTK_JUSTIFY_LEFT</property>
103
<property name="wrap">False</property>
104
<property name="selectable">False</property>
105
<property name="xalign">0</property>
106
<property name="yalign">0.5</property>
107
<property name="xpad">0</property>
108
<property name="ypad">0</property>
111
<property name="padding">0</property>
112
<property name="expand">False</property>
113
<property name="fill">False</property>
118
<widget class="GtkHBox" id="hbox6">
119
<property name="visible">True</property>
120
<property name="homogeneous">False</property>
121
<property name="spacing">0</property>
124
<widget class="GtkLabel" id="label25">
125
<property name="visible">True</property>
126
<property name="label" translatable="yes"> </property>
127
<property name="use_underline">False</property>
128
<property name="use_markup">False</property>
129
<property name="justify">GTK_JUSTIFY_LEFT</property>
130
<property name="wrap">False</property>
131
<property name="selectable">False</property>
132
<property name="xalign">0.5</property>
133
<property name="yalign">0.5</property>
134
<property name="xpad">0</property>
135
<property name="ypad">0</property>
138
<property name="padding">0</property>
139
<property name="expand">False</property>
140
<property name="fill">False</property>
145
<widget class="GtkCheckButton" id="auto_complete_history_toggle">
146
<property name="visible">True</property>
147
<property name="can_focus">True</property>
148
<property name="label" translatable="yes">E_nable history-based auto completion</property>
149
<property name="use_underline">True</property>
150
<property name="relief">GTK_RELIEF_NORMAL</property>
151
<property name="focus_on_click">True</property>
152
<property name="active">False</property>
153
<property name="inconsistent">False</property>
154
<property name="draw_indicator">True</property>
157
<property name="padding">0</property>
158
<property name="expand">False</property>
159
<property name="fill">False</property>
164
<property name="padding">0</property>
165
<property name="expand">True</property>
166
<property name="fill">True</property>
171
<property name="padding">0</property>
172
<property name="expand">True</property>
173
<property name="fill">True</property>
178
<widget class="GtkVBox" id="vbox11">
179
<property name="visible">True</property>
180
<property name="homogeneous">False</property>
181
<property name="spacing">6</property>
184
<widget class="GtkLabel" id="label26">
185
<property name="visible">True</property>
186
<property name="label" translatable="yes"><b>Size</b></property>
187
<property name="use_underline">False</property>
188
<property name="use_markup">True</property>
189
<property name="justify">GTK_JUSTIFY_LEFT</property>
190
<property name="wrap">False</property>
191
<property name="selectable">False</property>
192
<property name="xalign">0</property>
193
<property name="yalign">0.5</property>
194
<property name="xpad">0</property>
195
<property name="ypad">0</property>
198
<property name="padding">0</property>
199
<property name="expand">False</property>
200
<property name="fill">False</property>
205
<widget class="GtkHBox" id="hbox7">
206
<property name="visible">True</property>
207
<property name="homogeneous">False</property>
208
<property name="spacing">0</property>
211
<widget class="GtkLabel" id="label27">
212
<property name="visible">True</property>
213
<property name="label" translatable="yes"> </property>
214
<property name="use_underline">False</property>
215
<property name="use_markup">False</property>
216
<property name="justify">GTK_JUSTIFY_LEFT</property>
217
<property name="wrap">False</property>
218
<property name="selectable">False</property>
219
<property name="xalign">0.5</property>
220
<property name="yalign">0.5</property>
221
<property name="xpad">0</property>
222
<property name="ypad">0</property>
225
<property name="padding">0</property>
226
<property name="expand">False</property>
227
<property name="fill">False</property>
232
<widget class="GtkHBox" id="hbox1">
233
<property name="visible">True</property>
234
<property name="homogeneous">False</property>
235
<property name="spacing">12</property>
238
<widget class="GtkLabel" id="size_label">
239
<property name="visible">True</property>
240
<property name="label" translatable="yes">_Width:</property>
241
<property name="use_underline">True</property>
242
<property name="use_markup">False</property>
243
<property name="justify">GTK_JUSTIFY_LEFT</property>
244
<property name="wrap">False</property>
245
<property name="selectable">False</property>
246
<property name="xalign">0.5</property>
247
<property name="yalign">0.5</property>
248
<property name="xpad">0</property>
249
<property name="ypad">0</property>
250
<property name="mnemonic_widget">size_spinner</property>
253
<property name="padding">0</property>
254
<property name="expand">False</property>
255
<property name="fill">False</property>
260
<widget class="GtkHBox" id="hbox9">
261
<property name="visible">True</property>
262
<property name="homogeneous">False</property>
263
<property name="spacing">6</property>
266
<widget class="GtkSpinButton" id="size_spinner">
267
<property name="visible">True</property>
268
<property name="can_focus">True</property>
269
<property name="climb_rate">10</property>
270
<property name="digits">0</property>
271
<property name="numeric">True</property>
272
<property name="update_policy">GTK_UPDATE_ALWAYS</property>
273
<property name="snap_to_ticks">False</property>
274
<property name="wrap">False</property>
275
<property name="adjustment">1 50 400 5 10 10</property>
277
<atkrelation target="size_label" type="labelled-by"/>
278
<atkrelation target="size_post_label" type="labelled-by"/>
282
<property name="padding">0</property>
283
<property name="expand">False</property>
284
<property name="fill">False</property>
289
<widget class="GtkLabel" id="size_post_label">
290
<property name="visible">True</property>
291
<property name="label" translatable="yes">pixels</property>
292
<property name="use_underline">False</property>
293
<property name="use_markup">False</property>
294
<property name="justify">GTK_JUSTIFY_LEFT</property>
295
<property name="wrap">False</property>
296
<property name="selectable">False</property>
297
<property name="xalign">0.5</property>
298
<property name="yalign">0.5</property>
299
<property name="xpad">0</property>
300
<property name="ypad">0</property>
302
<atkrelation target="size_spinner" type="label-for"/>
306
<property name="padding">0</property>
307
<property name="expand">False</property>
308
<property name="fill">False</property>
313
<property name="padding">0</property>
314
<property name="expand">False</property>
315
<property name="fill">True</property>
320
<property name="padding">0</property>
321
<property name="expand">True</property>
322
<property name="fill">True</property>
327
<property name="padding">0</property>
328
<property name="expand">True</property>
329
<property name="fill">True</property>
334
<property name="padding">0</property>
335
<property name="expand">True</property>
336
<property name="fill">True</property>
341
<widget class="GtkVBox" id="vbox12">
342
<property name="visible">True</property>
343
<property name="homogeneous">False</property>
344
<property name="spacing">6</property>
347
<widget class="GtkLabel" id="label28">
348
<property name="visible">True</property>
349
<property name="label" translatable="yes"><b>Colors</b></property>
350
<property name="use_underline">False</property>
351
<property name="use_markup">True</property>
352
<property name="justify">GTK_JUSTIFY_LEFT</property>
353
<property name="wrap">False</property>
354
<property name="selectable">False</property>
355
<property name="xalign">0</property>
356
<property name="yalign">0.5</property>
357
<property name="xpad">0</property>
358
<property name="ypad">0</property>
361
<property name="padding">0</property>
362
<property name="expand">False</property>
363
<property name="fill">False</property>
368
<widget class="GtkHBox" id="hbox8">
369
<property name="visible">True</property>
370
<property name="homogeneous">False</property>
371
<property name="spacing">0</property>
374
<widget class="GtkLabel" id="label29">
375
<property name="visible">True</property>
376
<property name="label" translatable="yes"> </property>
377
<property name="use_underline">False</property>
378
<property name="use_markup">False</property>
379
<property name="justify">GTK_JUSTIFY_LEFT</property>
380
<property name="wrap">False</property>
381
<property name="selectable">False</property>
382
<property name="xalign">0.5</property>
383
<property name="yalign">0.5</property>
384
<property name="xpad">0</property>
385
<property name="ypad">0</property>
388
<property name="padding">0</property>
389
<property name="expand">False</property>
390
<property name="fill">False</property>
395
<widget class="GtkTable" id="table2">
396
<property name="visible">True</property>
397
<property name="n_rows">3</property>
398
<property name="n_columns">2</property>
399
<property name="homogeneous">False</property>
400
<property name="row_spacing">6</property>
401
<property name="column_spacing">12</property>
404
<widget class="GtkCheckButton" id="default_theme_toggle">
405
<property name="visible">True</property>
406
<property name="can_focus">True</property>
407
<property name="label" translatable="yes">_Use default theme colors</property>
408
<property name="use_underline">True</property>
409
<property name="relief">GTK_RELIEF_NORMAL</property>
410
<property name="focus_on_click">True</property>
411
<property name="active">False</property>
412
<property name="inconsistent">False</property>
413
<property name="draw_indicator">True</property>
416
<property name="left_attach">0</property>
417
<property name="right_attach">1</property>
418
<property name="top_attach">0</property>
419
<property name="bottom_attach">1</property>
420
<property name="x_options">fill</property>
421
<property name="y_options"></property>
426
<widget class="GtkLabel" id="fg_color_label">
427
<property name="visible">True</property>
428
<property name="label" translatable="yes">Command line _foreground:</property>
429
<property name="use_underline">True</property>
430
<property name="use_markup">False</property>
431
<property name="justify">GTK_JUSTIFY_RIGHT</property>
432
<property name="wrap">False</property>
433
<property name="selectable">False</property>
434
<property name="xalign">0</property>
435
<property name="yalign">0.5</property>
436
<property name="xpad">0</property>
437
<property name="ypad">0</property>
438
<property name="mnemonic_widget">fg_color_picker</property>
441
<property name="left_attach">0</property>
442
<property name="right_attach">1</property>
443
<property name="top_attach">1</property>
444
<property name="bottom_attach">2</property>
445
<property name="x_options">fill</property>
446
<property name="y_options"></property>
451
<widget class="GtkLabel" id="bg_color_label">
452
<property name="visible">True</property>
453
<property name="label" translatable="yes">Command line _background:</property>
454
<property name="use_underline">True</property>
455
<property name="use_markup">False</property>
456
<property name="justify">GTK_JUSTIFY_RIGHT</property>
457
<property name="wrap">False</property>
458
<property name="selectable">False</property>
459
<property name="xalign">0</property>
460
<property name="yalign">0.5</property>
461
<property name="xpad">0</property>
462
<property name="ypad">0</property>
463
<property name="mnemonic_widget">bg_color_picker</property>
466
<property name="left_attach">0</property>
467
<property name="right_attach">1</property>
468
<property name="top_attach">2</property>
469
<property name="bottom_attach">3</property>
470
<property name="x_options">fill</property>
471
<property name="y_options"></property>
476
<widget class="GtkColorButton" id="fg_color_picker">
477
<property name="visible">True</property>
478
<property name="sensitive">False</property>
479
<property name="can_focus">True</property>
480
<property name="use_alpha">False</property>
481
<property name="title" translatable="yes">Pick a color</property>
482
<property name="focus_on_click">True</property>
485
<property name="left_attach">1</property>
486
<property name="right_attach">2</property>
487
<property name="top_attach">1</property>
488
<property name="bottom_attach">2</property>
489
<property name="x_options">fill</property>
490
<property name="y_options"></property>
495
<widget class="GtkColorButton" id="bg_color_picker">
496
<property name="visible">True</property>
497
<property name="sensitive">False</property>
498
<property name="can_focus">True</property>
499
<property name="use_alpha">False</property>
500
<property name="title" translatable="yes">Pick a color</property>
501
<property name="focus_on_click">True</property>
504
<property name="left_attach">1</property>
505
<property name="right_attach">2</property>
506
<property name="top_attach">2</property>
507
<property name="bottom_attach">3</property>
508
<property name="x_options">fill</property>
509
<property name="y_options"></property>
514
<property name="padding">0</property>
515
<property name="expand">True</property>
516
<property name="fill">True</property>
521
<property name="padding">0</property>
522
<property name="expand">True</property>
523
<property name="fill">True</property>
528
<property name="padding">0</property>
529
<property name="expand">True</property>
530
<property name="fill">True</property>
535
<property name="tab_expand">False</property>
536
<property name="tab_fill">True</property>
541
<widget class="GtkLabel" id="general_label">
542
<property name="visible">True</property>
543
<property name="label" translatable="yes">General</property>
544
<property name="use_underline">False</property>
545
<property name="use_markup">False</property>
546
<property name="justify">GTK_JUSTIFY_LEFT</property>
547
<property name="wrap">False</property>
548
<property name="selectable">False</property>
549
<property name="xalign">0.5</property>
550
<property name="yalign">0.5</property>
551
<property name="xpad">0</property>
552
<property name="ypad">0</property>
555
<property name="type">tab</property>
560
<widget class="GtkVBox" id="vbox13">
561
<property name="border_width">12</property>
562
<property name="visible">True</property>
563
<property name="homogeneous">False</property>
564
<property name="spacing">6</property>
567
<widget class="GtkLabel" id="label30">
568
<property name="visible">True</property>
569
<property name="label" translatable="yes">_Macros:</property>
570
<property name="use_underline">True</property>
571
<property name="use_markup">False</property>
572
<property name="justify">GTK_JUSTIFY_LEFT</property>
573
<property name="wrap">False</property>
574
<property name="selectable">False</property>
575
<property name="xalign">0</property>
576
<property name="yalign">0.5</property>
577
<property name="xpad">0</property>
578
<property name="ypad">0</property>
579
<property name="mnemonic_widget">macros_tree</property>
582
<property name="padding">0</property>
583
<property name="expand">False</property>
584
<property name="fill">False</property>
589
<widget class="GtkHBox" id="hbox4">
590
<property name="visible">True</property>
591
<property name="homogeneous">False</property>
592
<property name="spacing">12</property>
595
<widget class="GtkScrolledWindow" id="macros_scrolled_tree">
596
<property name="visible">True</property>
597
<property name="can_focus">True</property>
598
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
599
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
600
<property name="shadow_type">GTK_SHADOW_IN</property>
601
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
604
<widget class="GtkTreeView" id="macros_tree">
605
<property name="visible">True</property>
606
<property name="can_focus">True</property>
607
<property name="headers_visible">True</property>
608
<property name="rules_hint">False</property>
609
<property name="reorderable">False</property>
610
<property name="enable_search">True</property>
615
<property name="padding">0</property>
616
<property name="expand">True</property>
617
<property name="fill">True</property>
622
<widget class="GtkVBox" id="vbox7">
623
<property name="border_width">4</property>
624
<property name="visible">True</property>
625
<property name="homogeneous">False</property>
626
<property name="spacing">6</property>
629
<widget class="GtkButton" id="add_button">
630
<property name="visible">True</property>
631
<property name="can_focus">True</property>
632
<property name="relief">GTK_RELIEF_NORMAL</property>
633
<property name="focus_on_click">True</property>
636
<widget class="GtkAlignment" id="alignment2">
637
<property name="visible">True</property>
638
<property name="xalign">0</property>
639
<property name="yalign">0.5</property>
640
<property name="xscale">0</property>
641
<property name="yscale">0</property>
642
<property name="top_padding">0</property>
643
<property name="bottom_padding">0</property>
644
<property name="left_padding">0</property>
645
<property name="right_padding">0</property>
648
<widget class="GtkHBox" id="hbox3">
649
<property name="visible">True</property>
650
<property name="homogeneous">False</property>
651
<property name="spacing">2</property>
654
<widget class="GtkImage" id="image2">
655
<property name="visible">True</property>
656
<property name="stock">gtk-add</property>
657
<property name="icon_size">4</property>
658
<property name="xalign">0.5</property>
659
<property name="yalign">0.5</property>
660
<property name="xpad">0</property>
661
<property name="ypad">0</property>
664
<property name="padding">0</property>
665
<property name="expand">False</property>
666
<property name="fill">False</property>
671
<widget class="GtkLabel" id="label20">
672
<property name="visible">True</property>
673
<property name="label" translatable="yes">_Add Macro...</property>
674
<property name="use_underline">True</property>
675
<property name="use_markup">False</property>
676
<property name="justify">GTK_JUSTIFY_LEFT</property>
677
<property name="wrap">False</property>
678
<property name="selectable">False</property>
679
<property name="xalign">0.5</property>
680
<property name="yalign">0.5</property>
681
<property name="xpad">0</property>
682
<property name="ypad">0</property>
685
<property name="padding">0</property>
686
<property name="expand">False</property>
687
<property name="fill">False</property>
696
<property name="padding">0</property>
697
<property name="expand">False</property>
698
<property name="fill">False</property>
703
<widget class="GtkButton" id="delete_button">
704
<property name="visible">True</property>
705
<property name="can_focus">True</property>
706
<property name="relief">GTK_RELIEF_NORMAL</property>
707
<property name="focus_on_click">True</property>
710
<widget class="GtkAlignment" id="alignment1">
711
<property name="visible">True</property>
712
<property name="xalign">0</property>
713
<property name="yalign">0.5</property>
714
<property name="xscale">0</property>
715
<property name="yscale">0</property>
716
<property name="top_padding">0</property>
717
<property name="bottom_padding">0</property>
718
<property name="left_padding">0</property>
719
<property name="right_padding">0</property>
722
<widget class="GtkHBox" id="hbox2">
723
<property name="visible">True</property>
724
<property name="homogeneous">False</property>
725
<property name="spacing">2</property>
728
<widget class="GtkImage" id="image1">
729
<property name="visible">True</property>
730
<property name="stock">gtk-delete</property>
731
<property name="icon_size">4</property>
732
<property name="xalign">0.5</property>
733
<property name="yalign">0.5</property>
734
<property name="xpad">0</property>
735
<property name="ypad">0</property>
738
<property name="padding">0</property>
739
<property name="expand">False</property>
740
<property name="fill">False</property>
745
<widget class="GtkLabel" id="label19">
746
<property name="visible">True</property>
747
<property name="label" translatable="yes">_Delete Macro</property>
748
<property name="use_underline">True</property>
749
<property name="use_markup">False</property>
750
<property name="justify">GTK_JUSTIFY_LEFT</property>
751
<property name="wrap">False</property>
752
<property name="selectable">False</property>
753
<property name="xalign">0.5</property>
754
<property name="yalign">0.5</property>
755
<property name="xpad">0</property>
756
<property name="ypad">0</property>
759
<property name="padding">0</property>
760
<property name="expand">False</property>
761
<property name="fill">False</property>
770
<property name="padding">0</property>
771
<property name="expand">False</property>
772
<property name="fill">False</property>
777
<property name="padding">0</property>
778
<property name="expand">False</property>
779
<property name="fill">True</property>
784
<property name="padding">0</property>
785
<property name="expand">True</property>
786
<property name="fill">True</property>
791
<property name="tab_expand">False</property>
792
<property name="tab_fill">True</property>
797
<widget class="GtkLabel" id="label21">
798
<property name="visible">True</property>
799
<property name="label" translatable="yes">Macros</property>
800
<property name="use_underline">True</property>
801
<property name="use_markup">False</property>
802
<property name="justify">GTK_JUSTIFY_LEFT</property>
803
<property name="wrap">False</property>
804
<property name="selectable">False</property>
805
<property name="xalign">0.5</property>
806
<property name="yalign">0.5</property>
807
<property name="xpad">0</property>
808
<property name="ypad">0</property>
811
<property name="type">tab</property>
816
<property name="padding">0</property>
817
<property name="expand">True</property>
818
<property name="fill">True</property>
825
<widget class="GtkDialog" id="mc_macro_add_dialog">
826
<property name="border_width">5</property>
827
<property name="visible">True</property>
828
<property name="title" translatable="yes">Add New Macro</property>
829
<property name="type">GTK_WINDOW_TOPLEVEL</property>
830
<property name="window_position">GTK_WIN_POS_NONE</property>
831
<property name="modal">False</property>
832
<property name="resizable">False</property>
833
<property name="destroy_with_parent">False</property>
834
<property name="decorated">True</property>
835
<property name="skip_taskbar_hint">False</property>
836
<property name="skip_pager_hint">False</property>
837
<property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
838
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
839
<property name="has_separator">False</property>
841
<child internal-child="vbox">
842
<widget class="GtkVBox" id="dialog-vbox3">
843
<property name="visible">True</property>
844
<property name="homogeneous">False</property>
845
<property name="spacing">2</property>
847
<child internal-child="action_area">
848
<widget class="GtkHButtonBox" id="dialog-action_area3">
849
<property name="visible">True</property>
850
<property name="layout_style">GTK_BUTTONBOX_END</property>
853
<widget class="GtkButton" id="helpbutton1">
854
<property name="visible">True</property>
855
<property name="can_default">True</property>
856
<property name="can_focus">True</property>
857
<property name="label">gtk-help</property>
858
<property name="use_stock">True</property>
859
<property name="relief">GTK_RELIEF_NORMAL</property>
860
<property name="focus_on_click">True</property>
861
<property name="response_id">-11</property>
866
<widget class="GtkButton" id="button1">
867
<property name="visible">True</property>
868
<property name="can_default">True</property>
869
<property name="can_focus">True</property>
870
<property name="label">gtk-cancel</property>
871
<property name="use_stock">True</property>
872
<property name="relief">GTK_RELIEF_NORMAL</property>
873
<property name="focus_on_click">True</property>
874
<property name="response_id">-6</property>
879
<widget class="GtkButton" id="button2">
880
<property name="visible">True</property>
881
<property name="can_default">True</property>
882
<property name="has_default">True</property>
883
<property name="can_focus">True</property>
884
<property name="label">gtk-add</property>
885
<property name="use_stock">True</property>
886
<property name="relief">GTK_RELIEF_NORMAL</property>
887
<property name="focus_on_click">True</property>
888
<property name="response_id">-5</property>
893
<property name="padding">0</property>
894
<property name="expand">False</property>
895
<property name="fill">True</property>
896
<property name="pack_type">GTK_PACK_END</property>
901
<widget class="GtkTable" id="table3">
902
<property name="border_width">5</property>
903
<property name="visible">True</property>
904
<property name="n_rows">2</property>
905
<property name="n_columns">2</property>
906
<property name="homogeneous">False</property>
907
<property name="row_spacing">6</property>
908
<property name="column_spacing">12</property>
911
<widget class="GtkLabel" id="pattern_label">
912
<property name="visible">True</property>
913
<property name="label" translatable="yes">_Pattern:</property>
914
<property name="use_underline">True</property>
915
<property name="use_markup">False</property>
916
<property name="justify">GTK_JUSTIFY_LEFT</property>
917
<property name="wrap">False</property>
918
<property name="selectable">False</property>
919
<property name="xalign">0</property>
920
<property name="yalign">0.5</property>
921
<property name="xpad">0</property>
922
<property name="ypad">0</property>
923
<property name="mnemonic_widget">pattern_entry</property>
926
<property name="left_attach">0</property>
927
<property name="right_attach">1</property>
928
<property name="top_attach">0</property>
929
<property name="bottom_attach">1</property>
930
<property name="x_options">fill</property>
931
<property name="y_options"></property>
936
<widget class="GtkLabel" id="command_label">
937
<property name="visible">True</property>
938
<property name="label" translatable="yes">Co_mmand:</property>
939
<property name="use_underline">True</property>
940
<property name="use_markup">False</property>
941
<property name="justify">GTK_JUSTIFY_LEFT</property>
942
<property name="wrap">False</property>
943
<property name="selectable">False</property>
944
<property name="xalign">0</property>
945
<property name="yalign">0.5</property>
946
<property name="xpad">0</property>
947
<property name="ypad">0</property>
948
<property name="mnemonic_widget">command_entry</property>
951
<property name="left_attach">0</property>
952
<property name="right_attach">1</property>
953
<property name="top_attach">1</property>
954
<property name="bottom_attach">2</property>
955
<property name="x_options">fill</property>
956
<property name="y_options"></property>
961
<widget class="GtkEntry" id="pattern_entry">
962
<property name="visible">True</property>
963
<property name="can_focus">True</property>
964
<property name="editable">True</property>
965
<property name="visibility">True</property>
966
<property name="max_length">0</property>
967
<property name="text" translatable="yes"></property>
968
<property name="has_frame">True</property>
969
<property name="invisible_char" translatable="yes">*</property>
970
<property name="activates_default">True</property>
973
<property name="left_attach">1</property>
974
<property name="right_attach">2</property>
975
<property name="top_attach">0</property>
976
<property name="bottom_attach">1</property>
977
<property name="y_options"></property>
982
<widget class="GtkEntry" id="command_entry">
983
<property name="visible">True</property>
984
<property name="can_focus">True</property>
985
<property name="editable">True</property>
986
<property name="visibility">True</property>
987
<property name="max_length">0</property>
988
<property name="text" translatable="yes"></property>
989
<property name="has_frame">True</property>
990
<property name="invisible_char" translatable="yes">*</property>
991
<property name="activates_default">True</property>
994
<property name="left_attach">1</property>
995
<property name="right_attach">2</property>
996
<property name="top_attach">1</property>
997
<property name="bottom_attach">2</property>
998
<property name="y_options"></property>
1003
<property name="padding">0</property>
1004
<property name="expand">True</property>
1005
<property name="fill">True</property>