]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/matita.glade
exportation completed!!
[helm.git] / helm / software / matita / matita.glade
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
3
4 <glade-interface>
5
6 <widget class="GtkWindow" id="BrowserWin">
7   <property name="visible">True</property>
8   <property name="title" translatable="yes">Cic browser</property>
9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
10   <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
11   <property name="modal">False</property>
12   <property name="default_width">500</property>
13   <property name="default_height">500</property>
14   <property name="resizable">True</property>
15   <property name="destroy_with_parent">False</property>
16   <property name="decorated">True</property>
17   <property name="skip_taskbar_hint">False</property>
18   <property name="skip_pager_hint">False</property>
19   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
20   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
21   <property name="focus_on_map">True</property>
22   <property name="urgency_hint">False</property>
23
24   <child>
25     <widget class="GtkEventBox" id="BrowserWinEventBox">
26       <property name="visible">True</property>
27       <property name="visible_window">True</property>
28       <property name="above_child">False</property>
29
30       <child>
31         <widget class="GtkVBox" id="BrowserVBox">
32           <property name="visible">True</property>
33           <property name="homogeneous">False</property>
34           <property name="spacing">0</property>
35
36           <child>
37             <widget class="GtkMenuBar" id="menubar2">
38               <property name="visible">True</property>
39               <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
40               <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
41
42               <child>
43                 <widget class="GtkMenuItem" id="BrowserFileMenu">
44                   <property name="visible">True</property>
45                   <property name="label" translatable="yes">_File</property>
46                   <property name="use_underline">True</property>
47
48                   <child>
49                     <widget class="GtkMenu" id="BrowserFileMenu_menu">
50
51                       <child>
52                         <widget class="GtkImageMenuItem" id="BrowserNewMenuItem">
53                           <property name="visible">True</property>
54                           <property name="label">gtk-new</property>
55                           <property name="use_stock">True</property>
56                         </widget>
57                       </child>
58
59                       <child>
60                         <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
61                           <property name="visible">True</property>
62                         </widget>
63                       </child>
64
65                       <child>
66                         <widget class="GtkImageMenuItem" id="BrowserCloseMenuItem">
67                           <property name="visible">True</property>
68                           <property name="label">gtk-close</property>
69                           <property name="use_stock">True</property>
70                         </widget>
71                       </child>
72                     </widget>
73                   </child>
74                 </widget>
75               </child>
76
77               <child>
78                 <widget class="GtkMenuItem" id="BrowserEditMenu">
79                   <property name="visible">True</property>
80                   <property name="label" translatable="yes">_Edit</property>
81                   <property name="use_underline">True</property>
82
83                   <child>
84                     <widget class="GtkMenu" id="BrowserEditMenu_menu">
85
86                       <child>
87                         <widget class="GtkImageMenuItem" id="BrowserCopyMenuItem">
88                           <property name="visible">True</property>
89                           <property name="label">gtk-copy</property>
90                           <property name="use_stock">True</property>
91                         </widget>
92                       </child>
93                     </widget>
94                   </child>
95                 </widget>
96               </child>
97
98               <child>
99                 <widget class="GtkMenuItem" id="BrowserViewMenu">
100                   <property name="visible">True</property>
101                   <property name="label" translatable="yes">_View</property>
102                   <property name="use_underline">True</property>
103
104                   <child>
105                     <widget class="GtkMenu" id="BrowserViewMenu_menu">
106
107                       <child>
108                         <widget class="GtkMenuItem" id="BrowserMetadataMenuItem">
109                           <property name="visible">True</property>
110                           <property name="label" translatable="yes">_Metadata</property>
111                           <property name="use_underline">True</property>
112                         </widget>
113                       </child>
114
115                       <child>
116                         <widget class="GtkMenuItem" id="DepGraphMenuItem">
117                           <property name="visible">True</property>
118                           <property name="tooltip" translatable="yes">View the graph of objects on which the current one depends on</property>
119                           <property name="label" translatable="yes">(Direct) Dependencies</property>
120                           <property name="use_underline">True</property>
121                         </widget>
122                       </child>
123
124                       <child>
125                         <widget class="GtkMenuItem" id="InvDepGraphMenuItem">
126                           <property name="visible">True</property>
127                           <property name="tooltip" translatable="yes">View the graph of objects which depends on the current one</property>
128                           <property name="label" translatable="yes">(Inverse) Dependencies</property>
129                           <property name="use_underline">True</property>
130                         </widget>
131                       </child>
132                     </widget>
133                   </child>
134                 </widget>
135               </child>
136             </widget>
137             <packing>
138               <property name="padding">0</property>
139               <property name="expand">False</property>
140               <property name="fill">False</property>
141             </packing>
142           </child>
143
144           <child>
145             <widget class="GtkFrame" id="frame2">
146               <property name="visible">True</property>
147               <property name="label_xalign">0</property>
148               <property name="label_yalign">0</property>
149               <property name="shadow_type">GTK_SHADOW_NONE</property>
150
151               <child>
152                 <widget class="GtkHBox" id="BrowserHBox">
153                   <property name="visible">True</property>
154                   <property name="homogeneous">False</property>
155                   <property name="spacing">0</property>
156
157                   <child>
158                     <widget class="GtkButton" id="BrowserNewButton">
159                       <property name="visible">True</property>
160                       <property name="can_focus">True</property>
161                       <property name="relief">GTK_RELIEF_NONE</property>
162                       <property name="focus_on_click">True</property>
163
164                       <child>
165                         <widget class="GtkImage" id="image303">
166                           <property name="visible">True</property>
167                           <property name="stock">gtk-new</property>
168                           <property name="icon_size">4</property>
169                           <property name="xalign">0.5</property>
170                           <property name="yalign">0.5</property>
171                           <property name="xpad">0</property>
172                           <property name="ypad">0</property>
173                         </widget>
174                       </child>
175                     </widget>
176                     <packing>
177                       <property name="padding">0</property>
178                       <property name="expand">False</property>
179                       <property name="fill">False</property>
180                     </packing>
181                   </child>
182
183                   <child>
184                     <widget class="GtkButton" id="BrowserBackButton">
185                       <property name="visible">True</property>
186                       <property name="can_focus">True</property>
187                       <property name="relief">GTK_RELIEF_NONE</property>
188                       <property name="focus_on_click">True</property>
189
190                       <child>
191                         <widget class="GtkImage" id="image304">
192                           <property name="visible">True</property>
193                           <property name="stock">gtk-go-back</property>
194                           <property name="icon_size">4</property>
195                           <property name="xalign">0.5</property>
196                           <property name="yalign">0.5</property>
197                           <property name="xpad">0</property>
198                           <property name="ypad">0</property>
199                         </widget>
200                       </child>
201                     </widget>
202                     <packing>
203                       <property name="padding">0</property>
204                       <property name="expand">False</property>
205                       <property name="fill">False</property>
206                     </packing>
207                   </child>
208
209                   <child>
210                     <widget class="GtkButton" id="BrowserForwardButton">
211                       <property name="visible">True</property>
212                       <property name="can_focus">True</property>
213                       <property name="relief">GTK_RELIEF_NONE</property>
214                       <property name="focus_on_click">True</property>
215
216                       <child>
217                         <widget class="GtkImage" id="image305">
218                           <property name="visible">True</property>
219                           <property name="stock">gtk-go-forward</property>
220                           <property name="icon_size">4</property>
221                           <property name="xalign">0.5</property>
222                           <property name="yalign">0.5</property>
223                           <property name="xpad">0</property>
224                           <property name="ypad">0</property>
225                         </widget>
226                       </child>
227                     </widget>
228                     <packing>
229                       <property name="padding">0</property>
230                       <property name="expand">False</property>
231                       <property name="fill">False</property>
232                     </packing>
233                   </child>
234
235                   <child>
236                     <widget class="GtkButton" id="BrowserRefreshButton">
237                       <property name="visible">True</property>
238                       <property name="tooltip" translatable="yes">refresh</property>
239                       <property name="can_default">True</property>
240                       <property name="can_focus">True</property>
241                       <property name="relief">GTK_RELIEF_NONE</property>
242                       <property name="focus_on_click">True</property>
243
244                       <child>
245                         <widget class="GtkImage" id="image229">
246                           <property name="visible">True</property>
247                           <property name="stock">gtk-refresh</property>
248                           <property name="icon_size">4</property>
249                           <property name="xalign">0.5</property>
250                           <property name="yalign">0.5</property>
251                           <property name="xpad">0</property>
252                           <property name="ypad">0</property>
253                         </widget>
254                       </child>
255                     </widget>
256                     <packing>
257                       <property name="padding">0</property>
258                       <property name="expand">False</property>
259                       <property name="fill">False</property>
260                     </packing>
261                   </child>
262
263                   <child>
264                     <widget class="GtkButton" id="BrowserHomeButton">
265                       <property name="visible">True</property>
266                       <property name="tooltip" translatable="yes">home</property>
267                       <property name="can_default">True</property>
268                       <property name="can_focus">True</property>
269                       <property name="relief">GTK_RELIEF_NONE</property>
270                       <property name="focus_on_click">True</property>
271
272                       <child>
273                         <widget class="GtkImage" id="image190">
274                           <property name="visible">True</property>
275                           <property name="stock">gtk-home</property>
276                           <property name="icon_size">4</property>
277                           <property name="xalign">0.5</property>
278                           <property name="yalign">0.5</property>
279                           <property name="xpad">0</property>
280                           <property name="ypad">0</property>
281                         </widget>
282                       </child>
283                     </widget>
284                     <packing>
285                       <property name="padding">0</property>
286                       <property name="expand">False</property>
287                       <property name="fill">False</property>
288                     </packing>
289                   </child>
290
291                   <child>
292                     <widget class="GtkImage" id="image301">
293                       <property name="visible">True</property>
294                       <property name="stock">gtk-jump-to</property>
295                       <property name="icon_size">2</property>
296                       <property name="xalign">0.5</property>
297                       <property name="yalign">0.5</property>
298                       <property name="xpad">0</property>
299                       <property name="ypad">0</property>
300                     </widget>
301                     <packing>
302                       <property name="padding">3</property>
303                       <property name="expand">False</property>
304                       <property name="fill">False</property>
305                     </packing>
306                   </child>
307
308                   <child>
309                     <widget class="GtkHBox" id="UriHBox">
310                       <property name="visible">True</property>
311                       <property name="homogeneous">False</property>
312                       <property name="spacing">0</property>
313
314                       <child>
315                         <placeholder/>
316                       </child>
317                     </widget>
318                     <packing>
319                       <property name="padding">0</property>
320                       <property name="expand">True</property>
321                       <property name="fill">True</property>
322                     </packing>
323                   </child>
324                 </widget>
325               </child>
326             </widget>
327             <packing>
328               <property name="padding">0</property>
329               <property name="expand">False</property>
330               <property name="fill">True</property>
331             </packing>
332           </child>
333
334           <child>
335             <widget class="GtkHBox" id="whelpBarBox">
336               <property name="border_width">3</property>
337               <property name="visible">True</property>
338               <property name="homogeneous">False</property>
339               <property name="spacing">6</property>
340
341               <child>
342                 <widget class="GtkImage" id="WhelpBarImage">
343                   <property name="visible">True</property>
344                   <property name="xalign">0.5</property>
345                   <property name="yalign">0.5</property>
346                   <property name="xpad">0</property>
347                   <property name="ypad">0</property>
348                 </widget>
349                 <packing>
350                   <property name="padding">0</property>
351                   <property name="expand">False</property>
352                   <property name="fill">True</property>
353                 </packing>
354               </child>
355
356               <child>
357                 <widget class="GtkEntry" id="queryInputText">
358                   <property name="visible">True</property>
359                   <property name="can_focus">True</property>
360                   <property name="editable">True</property>
361                   <property name="visibility">True</property>
362                   <property name="max_length">0</property>
363                   <property name="text" translatable="yes"></property>
364                   <property name="has_frame">True</property>
365                   <property name="invisible_char">*</property>
366                   <property name="activates_default">False</property>
367                 </widget>
368                 <packing>
369                   <property name="padding">0</property>
370                   <property name="expand">True</property>
371                   <property name="fill">True</property>
372                 </packing>
373               </child>
374
375               <child>
376                 <widget class="GtkVBox" id="whelpBarComboVbox">
377                   <property name="visible">True</property>
378                   <property name="homogeneous">False</property>
379                   <property name="spacing">0</property>
380
381                   <child>
382                     <widget class="GtkAlignment" id="alignment4">
383                       <property name="visible">True</property>
384                       <property name="xalign">0.5</property>
385                       <property name="yalign">0.5</property>
386                       <property name="xscale">1</property>
387                       <property name="yscale">1</property>
388                       <property name="top_padding">0</property>
389                       <property name="bottom_padding">0</property>
390                       <property name="left_padding">0</property>
391                       <property name="right_padding">0</property>
392
393                       <child>
394                         <placeholder/>
395                       </child>
396                     </widget>
397                     <packing>
398                       <property name="padding">0</property>
399                       <property name="expand">False</property>
400                       <property name="fill">False</property>
401                     </packing>
402                   </child>
403                 </widget>
404                 <packing>
405                   <property name="padding">0</property>
406                   <property name="expand">False</property>
407                   <property name="fill">True</property>
408                 </packing>
409               </child>
410             </widget>
411             <packing>
412               <property name="padding">0</property>
413               <property name="expand">False</property>
414               <property name="fill">True</property>
415             </packing>
416           </child>
417
418           <child>
419             <widget class="GtkNotebook" id="mathOrListNotebook">
420               <property name="visible">True</property>
421               <property name="can_focus">True</property>
422               <property name="show_tabs">True</property>
423               <property name="show_border">True</property>
424               <property name="tab_pos">GTK_POS_TOP</property>
425               <property name="scrollable">False</property>
426               <property name="enable_popup">False</property>
427
428               <child>
429                 <widget class="GtkScrolledWindow" id="ScrolledBrowser">
430                   <property name="visible">True</property>
431                   <property name="can_focus">True</property>
432                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
433                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
434                   <property name="shadow_type">GTK_SHADOW_NONE</property>
435                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
436
437                   <child>
438                     <placeholder/>
439                   </child>
440                 </widget>
441                 <packing>
442                   <property name="tab_expand">False</property>
443                   <property name="tab_fill">True</property>
444                 </packing>
445               </child>
446
447               <child>
448                 <widget class="GtkLabel" id="mathLabel">
449                   <property name="visible">True</property>
450                   <property name="label" translatable="yes">MathView</property>
451                   <property name="use_underline">False</property>
452                   <property name="use_markup">False</property>
453                   <property name="justify">GTK_JUSTIFY_LEFT</property>
454                   <property name="wrap">False</property>
455                   <property name="selectable">False</property>
456                   <property name="xalign">0.5</property>
457                   <property name="yalign">0.5</property>
458                   <property name="xpad">0</property>
459                   <property name="ypad">0</property>
460                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
461                   <property name="width_chars">-1</property>
462                   <property name="single_line_mode">False</property>
463                   <property name="angle">0</property>
464                 </widget>
465                 <packing>
466                   <property name="type">tab</property>
467                 </packing>
468               </child>
469
470               <child>
471                 <widget class="GtkScrolledWindow" id="scrolledwindow9">
472                   <property name="visible">True</property>
473                   <property name="can_focus">True</property>
474                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
475                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
476                   <property name="shadow_type">GTK_SHADOW_IN</property>
477                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
478
479                   <child>
480                     <widget class="GtkTreeView" id="whelpResultTreeview">
481                       <property name="visible">True</property>
482                       <property name="can_focus">True</property>
483                       <property name="headers_visible">False</property>
484                       <property name="rules_hint">False</property>
485                       <property name="reorderable">False</property>
486                       <property name="enable_search">True</property>
487                       <property name="fixed_height_mode">False</property>
488                       <property name="hover_selection">False</property>
489                       <property name="hover_expand">False</property>
490                     </widget>
491                   </child>
492                 </widget>
493                 <packing>
494                   <property name="tab_expand">False</property>
495                   <property name="tab_fill">True</property>
496                 </packing>
497               </child>
498
499               <child>
500                 <widget class="GtkLabel" id="listLabel">
501                   <property name="visible">True</property>
502                   <property name="label" translatable="yes">WhelpResults</property>
503                   <property name="use_underline">False</property>
504                   <property name="use_markup">False</property>
505                   <property name="justify">GTK_JUSTIFY_LEFT</property>
506                   <property name="wrap">False</property>
507                   <property name="selectable">False</property>
508                   <property name="xalign">0.5</property>
509                   <property name="yalign">0.5</property>
510                   <property name="xpad">0</property>
511                   <property name="ypad">0</property>
512                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
513                   <property name="width_chars">-1</property>
514                   <property name="single_line_mode">False</property>
515                   <property name="angle">0</property>
516                 </widget>
517                 <packing>
518                   <property name="type">tab</property>
519                 </packing>
520               </child>
521
522               <child>
523                 <widget class="GtkScrolledWindow" id="scrolledwindow11">
524                   <property name="visible">True</property>
525                   <property name="can_focus">True</property>
526                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
527                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
528                   <property name="shadow_type">GTK_SHADOW_NONE</property>
529                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
530
531                   <child>
532                     <widget class="GtkViewport" id="viewport2">
533                       <property name="visible">True</property>
534                       <property name="shadow_type">GTK_SHADOW_NONE</property>
535
536                       <child>
537                         <widget class="GtkImage" id="BrowserImage">
538                           <property name="visible">True</property>
539                           <property name="xalign">0.5</property>
540                           <property name="yalign">0.5</property>
541                           <property name="xpad">0</property>
542                           <property name="ypad">0</property>
543                         </widget>
544                       </child>
545                     </widget>
546                   </child>
547                 </widget>
548                 <packing>
549                   <property name="tab_expand">False</property>
550                   <property name="tab_fill">True</property>
551                 </packing>
552               </child>
553
554               <child>
555                 <widget class="GtkLabel" id="EasterEggLabel">
556                   <property name="visible">True</property>
557                   <property name="label" translatable="yes">WhelpEasterEgg</property>
558                   <property name="use_underline">False</property>
559                   <property name="use_markup">False</property>
560                   <property name="justify">GTK_JUSTIFY_LEFT</property>
561                   <property name="wrap">False</property>
562                   <property name="selectable">False</property>
563                   <property name="xalign">0.5</property>
564                   <property name="yalign">0.5</property>
565                   <property name="xpad">0</property>
566                   <property name="ypad">0</property>
567                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
568                   <property name="width_chars">-1</property>
569                   <property name="single_line_mode">False</property>
570                   <property name="angle">0</property>
571                 </widget>
572                 <packing>
573                   <property name="type">tab</property>
574                 </packing>
575               </child>
576
577               <child>
578                 <widget class="GtkScrolledWindow" id="GraphScrolledWin">
579                   <property name="visible">True</property>
580                   <property name="can_focus">True</property>
581                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
582                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
583                   <property name="shadow_type">GTK_SHADOW_NONE</property>
584                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
585
586                   <child>
587                     <placeholder/>
588                   </child>
589                 </widget>
590                 <packing>
591                   <property name="tab_expand">False</property>
592                   <property name="tab_fill">True</property>
593                 </packing>
594               </child>
595
596               <child>
597                 <widget class="GtkLabel" id="label26">
598                   <property name="visible">True</property>
599                   <property name="label" translatable="yes">Graph</property>
600                   <property name="use_underline">False</property>
601                   <property name="use_markup">False</property>
602                   <property name="justify">GTK_JUSTIFY_LEFT</property>
603                   <property name="wrap">False</property>
604                   <property name="selectable">False</property>
605                   <property name="xalign">0.5</property>
606                   <property name="yalign">0.5</property>
607                   <property name="xpad">0</property>
608                   <property name="ypad">0</property>
609                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
610                   <property name="width_chars">-1</property>
611                   <property name="single_line_mode">False</property>
612                   <property name="angle">0</property>
613                 </widget>
614                 <packing>
615                   <property name="type">tab</property>
616                 </packing>
617               </child>
618             </widget>
619             <packing>
620               <property name="padding">0</property>
621               <property name="expand">True</property>
622               <property name="fill">True</property>
623             </packing>
624           </child>
625         </widget>
626       </child>
627     </widget>
628   </child>
629 </widget>
630
631 <widget class="GtkDialog" id="ConfirmationDialog">
632   <property name="title" translatable="yes">DUMMY</property>
633   <property name="type">GTK_WINDOW_TOPLEVEL</property>
634   <property name="window_position">GTK_WIN_POS_CENTER</property>
635   <property name="modal">True</property>
636   <property name="resizable">False</property>
637   <property name="destroy_with_parent">False</property>
638   <property name="decorated">True</property>
639   <property name="skip_taskbar_hint">False</property>
640   <property name="skip_pager_hint">False</property>
641   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
642   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
643   <property name="focus_on_map">True</property>
644   <property name="urgency_hint">False</property>
645   <property name="has_separator">True</property>
646
647   <child internal-child="vbox">
648     <widget class="GtkVBox" id="dialog-vbox1">
649       <property name="visible">True</property>
650       <property name="homogeneous">False</property>
651       <property name="spacing">0</property>
652
653       <child internal-child="action_area">
654         <widget class="GtkHButtonBox" id="dialog-action_area1">
655           <property name="visible">True</property>
656           <property name="layout_style">GTK_BUTTONBOX_END</property>
657
658           <child>
659             <widget class="GtkButton" id="ConfirmationDialogCancelButton">
660               <property name="visible">True</property>
661               <property name="can_default">True</property>
662               <property name="can_focus">True</property>
663               <property name="label">gtk-cancel</property>
664               <property name="use_stock">True</property>
665               <property name="relief">GTK_RELIEF_NORMAL</property>
666               <property name="focus_on_click">True</property>
667               <property name="response_id">-6</property>
668             </widget>
669           </child>
670
671           <child>
672             <widget class="GtkButton" id="ConfirmationDialogOkButton">
673               <property name="visible">True</property>
674               <property name="can_default">True</property>
675               <property name="can_focus">True</property>
676               <property name="label">gtk-ok</property>
677               <property name="use_stock">True</property>
678               <property name="relief">GTK_RELIEF_NORMAL</property>
679               <property name="focus_on_click">True</property>
680               <property name="response_id">-5</property>
681             </widget>
682           </child>
683         </widget>
684         <packing>
685           <property name="padding">0</property>
686           <property name="expand">False</property>
687           <property name="fill">True</property>
688           <property name="pack_type">GTK_PACK_END</property>
689         </packing>
690       </child>
691
692       <child>
693         <widget class="GtkLabel" id="ConfirmationDialogLabel">
694           <property name="visible">True</property>
695           <property name="label" translatable="yes">DUMMY</property>
696           <property name="use_underline">False</property>
697           <property name="use_markup">False</property>
698           <property name="justify">GTK_JUSTIFY_CENTER</property>
699           <property name="wrap">False</property>
700           <property name="selectable">False</property>
701           <property name="xalign">0.5</property>
702           <property name="yalign">0.5</property>
703           <property name="xpad">0</property>
704           <property name="ypad">0</property>
705           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
706           <property name="width_chars">-1</property>
707           <property name="single_line_mode">False</property>
708           <property name="angle">0</property>
709         </widget>
710         <packing>
711           <property name="padding">0</property>
712           <property name="expand">False</property>
713           <property name="fill">False</property>
714         </packing>
715       </child>
716     </widget>
717   </child>
718 </widget>
719
720 <widget class="GtkDialog" id="EmptyDialog">
721   <property name="visible">True</property>
722   <property name="title" translatable="yes">DUMMY</property>
723   <property name="type">GTK_WINDOW_TOPLEVEL</property>
724   <property name="window_position">GTK_WIN_POS_NONE</property>
725   <property name="modal">False</property>
726   <property name="resizable">True</property>
727   <property name="destroy_with_parent">False</property>
728   <property name="decorated">True</property>
729   <property name="skip_taskbar_hint">False</property>
730   <property name="skip_pager_hint">False</property>
731   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
732   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
733   <property name="focus_on_map">True</property>
734   <property name="urgency_hint">False</property>
735   <property name="has_separator">True</property>
736
737   <child internal-child="vbox">
738     <widget class="GtkVBox" id="EmptyDialogVBox">
739       <property name="visible">True</property>
740       <property name="homogeneous">False</property>
741       <property name="spacing">0</property>
742
743       <child internal-child="action_area">
744         <widget class="GtkHButtonBox" id="dialog-action_area5">
745           <property name="visible">True</property>
746           <property name="layout_style">GTK_BUTTONBOX_END</property>
747
748           <child>
749             <widget class="GtkButton" id="EmptyDialogCancelButton">
750               <property name="visible">True</property>
751               <property name="can_default">True</property>
752               <property name="can_focus">True</property>
753               <property name="label">gtk-cancel</property>
754               <property name="use_stock">True</property>
755               <property name="relief">GTK_RELIEF_NORMAL</property>
756               <property name="focus_on_click">True</property>
757               <property name="response_id">-6</property>
758             </widget>
759           </child>
760
761           <child>
762             <widget class="GtkButton" id="EmptyDialogOkButton">
763               <property name="visible">True</property>
764               <property name="can_default">True</property>
765               <property name="can_focus">True</property>
766               <property name="label">gtk-ok</property>
767               <property name="use_stock">True</property>
768               <property name="relief">GTK_RELIEF_NORMAL</property>
769               <property name="focus_on_click">True</property>
770               <property name="response_id">-5</property>
771             </widget>
772           </child>
773         </widget>
774         <packing>
775           <property name="padding">0</property>
776           <property name="expand">False</property>
777           <property name="fill">True</property>
778           <property name="pack_type">GTK_PACK_END</property>
779         </packing>
780       </child>
781
782       <child>
783         <widget class="GtkLabel" id="EmptyDialogLabel">
784           <property name="visible">True</property>
785           <property name="label" translatable="yes">DUMMY</property>
786           <property name="use_underline">False</property>
787           <property name="use_markup">False</property>
788           <property name="justify">GTK_JUSTIFY_LEFT</property>
789           <property name="wrap">False</property>
790           <property name="selectable">False</property>
791           <property name="xalign">0.5</property>
792           <property name="yalign">0.5</property>
793           <property name="xpad">0</property>
794           <property name="ypad">0</property>
795           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
796           <property name="width_chars">-1</property>
797           <property name="single_line_mode">False</property>
798           <property name="angle">0</property>
799         </widget>
800         <packing>
801           <property name="padding">0</property>
802           <property name="expand">False</property>
803           <property name="fill">False</property>
804         </packing>
805       </child>
806
807       <child>
808         <placeholder/>
809       </child>
810     </widget>
811   </child>
812 </widget>
813
814 <widget class="GtkFileSelection" id="FileSelectionWin">
815   <property name="border_width">10</property>
816   <property name="title" translatable="yes">Select File</property>
817   <property name="type">GTK_WINDOW_TOPLEVEL</property>
818   <property name="window_position">GTK_WIN_POS_CENTER</property>
819   <property name="modal">True</property>
820   <property name="resizable">True</property>
821   <property name="destroy_with_parent">False</property>
822   <property name="decorated">True</property>
823   <property name="skip_taskbar_hint">False</property>
824   <property name="skip_pager_hint">False</property>
825   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
826   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
827   <property name="focus_on_map">True</property>
828   <property name="urgency_hint">False</property>
829   <property name="show_fileops">True</property>
830
831   <child internal-child="cancel_button">
832     <widget class="GtkButton" id="fileSelCancelButton">
833       <property name="visible">True</property>
834       <property name="can_default">True</property>
835       <property name="can_focus">True</property>
836       <property name="relief">GTK_RELIEF_NORMAL</property>
837       <property name="focus_on_click">True</property>
838     </widget>
839   </child>
840
841   <child internal-child="ok_button">
842     <widget class="GtkButton" id="fileSelOkButton">
843       <property name="visible">True</property>
844       <property name="can_default">True</property>
845       <property name="can_focus">True</property>
846       <property name="relief">GTK_RELIEF_NORMAL</property>
847       <property name="focus_on_click">True</property>
848     </widget>
849   </child>
850 </widget>
851
852 <widget class="GtkDialog" id="RecordChoiceDialog">
853   <property name="width_request">450</property>
854   <property name="height_request">400</property>
855   <property name="title" translatable="yes">title</property>
856   <property name="type">GTK_WINDOW_TOPLEVEL</property>
857   <property name="window_position">GTK_WIN_POS_NONE</property>
858   <property name="modal">True</property>
859   <property name="resizable">True</property>
860   <property name="destroy_with_parent">False</property>
861   <property name="decorated">True</property>
862   <property name="skip_taskbar_hint">False</property>
863   <property name="skip_pager_hint">False</property>
864   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
865   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
866   <property name="focus_on_map">True</property>
867   <property name="urgency_hint">False</property>
868   <property name="has_separator">True</property>
869
870   <child internal-child="vbox">
871     <widget class="GtkVBox" id="dialog-vbox4">
872       <property name="visible">True</property>
873       <property name="homogeneous">False</property>
874       <property name="spacing">0</property>
875
876       <child internal-child="action_area">
877         <widget class="GtkHButtonBox" id="dialog-action_area4">
878           <property name="visible">True</property>
879           <property name="layout_style">GTK_BUTTONBOX_END</property>
880
881           <child>
882             <widget class="GtkButton" id="RecordChoiceHelpButton">
883               <property name="visible">True</property>
884               <property name="can_default">True</property>
885               <property name="can_focus">True</property>
886               <property name="label">gtk-help</property>
887               <property name="use_stock">True</property>
888               <property name="relief">GTK_RELIEF_NORMAL</property>
889               <property name="focus_on_click">True</property>
890               <property name="response_id">-11</property>
891             </widget>
892           </child>
893
894           <child>
895             <widget class="GtkButton" id="RecordChoiceCancelButton">
896               <property name="visible">True</property>
897               <property name="can_default">True</property>
898               <property name="can_focus">True</property>
899               <property name="label">gtk-cancel</property>
900               <property name="use_stock">True</property>
901               <property name="relief">GTK_RELIEF_NORMAL</property>
902               <property name="focus_on_click">True</property>
903               <property name="response_id">-6</property>
904             </widget>
905           </child>
906
907           <child>
908             <widget class="GtkButton" id="RecordChoiceOkButton">
909               <property name="visible">True</property>
910               <property name="can_default">True</property>
911               <property name="can_focus">True</property>
912               <property name="label">gtk-ok</property>
913               <property name="use_stock">True</property>
914               <property name="relief">GTK_RELIEF_NORMAL</property>
915               <property name="focus_on_click">True</property>
916               <property name="response_id">-5</property>
917             </widget>
918           </child>
919         </widget>
920         <packing>
921           <property name="padding">0</property>
922           <property name="expand">False</property>
923           <property name="fill">True</property>
924           <property name="pack_type">GTK_PACK_END</property>
925         </packing>
926       </child>
927
928       <child>
929         <widget class="GtkVBox" id="vbox3">
930           <property name="visible">True</property>
931           <property name="homogeneous">False</property>
932           <property name="spacing">0</property>
933
934           <child>
935             <widget class="GtkLabel" id="RecordChoiceDialogLabel">
936               <property name="visible">True</property>
937               <property name="label" translatable="yes">some informative message here ...</property>
938               <property name="use_underline">False</property>
939               <property name="use_markup">False</property>
940               <property name="justify">GTK_JUSTIFY_LEFT</property>
941               <property name="wrap">False</property>
942               <property name="selectable">False</property>
943               <property name="xalign">0.5</property>
944               <property name="yalign">0.5</property>
945               <property name="xpad">0</property>
946               <property name="ypad">0</property>
947               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
948               <property name="width_chars">-1</property>
949               <property name="single_line_mode">False</property>
950               <property name="angle">0</property>
951             </widget>
952             <packing>
953               <property name="padding">0</property>
954               <property name="expand">False</property>
955               <property name="fill">False</property>
956             </packing>
957           </child>
958
959           <child>
960             <widget class="GtkScrolledWindow" id="scrolledwindow4">
961               <property name="visible">True</property>
962               <property name="can_focus">True</property>
963               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
964               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
965               <property name="shadow_type">GTK_SHADOW_IN</property>
966               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
967
968               <child>
969                 <widget class="GtkTreeView" id="RecordChoiceTreeView">
970                   <property name="visible">True</property>
971                   <property name="can_focus">True</property>
972                   <property name="headers_visible">False</property>
973                   <property name="rules_hint">False</property>
974                   <property name="reorderable">False</property>
975                   <property name="enable_search">True</property>
976                   <property name="fixed_height_mode">False</property>
977                   <property name="hover_selection">False</property>
978                   <property name="hover_expand">False</property>
979                 </widget>
980               </child>
981             </widget>
982             <packing>
983               <property name="padding">0</property>
984               <property name="expand">True</property>
985               <property name="fill">True</property>
986             </packing>
987           </child>
988         </widget>
989         <packing>
990           <property name="padding">0</property>
991           <property name="expand">True</property>
992           <property name="fill">True</property>
993         </packing>
994       </child>
995     </widget>
996   </child>
997 </widget>
998
999 <widget class="GtkWindow" id="MainWin">
1000   <property name="title" translatable="yes">Matita</property>
1001   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1002   <property name="window_position">GTK_WIN_POS_NONE</property>
1003   <property name="modal">False</property>
1004   <property name="resizable">True</property>
1005   <property name="destroy_with_parent">False</property>
1006   <property name="decorated">True</property>
1007   <property name="skip_taskbar_hint">False</property>
1008   <property name="skip_pager_hint">False</property>
1009   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
1010   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1011   <property name="focus_on_map">True</property>
1012   <property name="urgency_hint">False</property>
1013
1014   <child>
1015     <widget class="GtkEventBox" id="MainWinEventBox">
1016       <property name="visible">True</property>
1017       <property name="visible_window">True</property>
1018       <property name="above_child">False</property>
1019
1020       <child>
1021         <widget class="GtkVBox" id="vbox8">
1022           <property name="visible">True</property>
1023           <property name="homogeneous">False</property>
1024           <property name="spacing">0</property>
1025
1026           <child>
1027             <widget class="GtkHandleBox" id="menuBarHandleBox">
1028               <property name="visible">True</property>
1029               <property name="shadow_type">GTK_SHADOW_OUT</property>
1030               <property name="handle_position">GTK_POS_LEFT</property>
1031               <property name="snap_edge">GTK_POS_TOP</property>
1032
1033               <child>
1034                 <widget class="GtkMenuBar" id="menubar1">
1035                   <property name="visible">True</property>
1036                   <property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
1037                   <property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
1038
1039                   <child>
1040                     <widget class="GtkMenuItem" id="fileMenu">
1041                       <property name="visible">True</property>
1042                       <property name="label" translatable="yes">_File</property>
1043                       <property name="use_underline">True</property>
1044
1045                       <child>
1046                         <widget class="GtkMenu" id="fileMenu_menu">
1047
1048                           <child>
1049                             <widget class="GtkImageMenuItem" id="newMenuItem">
1050                               <property name="visible">True</property>
1051                               <property name="label" translatable="yes">_New</property>
1052                               <property name="use_underline">True</property>
1053                               <accelerator key="n" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1054
1055                               <child internal-child="image">
1056                                 <widget class="GtkImage" id="image889">
1057                                   <property name="visible">True</property>
1058                                   <property name="stock">gtk-new</property>
1059                                   <property name="icon_size">1</property>
1060                                   <property name="xalign">0.5</property>
1061                                   <property name="yalign">0.5</property>
1062                                   <property name="xpad">0</property>
1063                                   <property name="ypad">0</property>
1064                                 </widget>
1065                               </child>
1066                             </widget>
1067                           </child>
1068
1069                           <child>
1070                             <widget class="GtkImageMenuItem" id="openMenuItem">
1071                               <property name="visible">True</property>
1072                               <property name="label" translatable="yes">_Open...</property>
1073                               <property name="use_underline">True</property>
1074                               <accelerator key="o" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1075
1076                               <child internal-child="image">
1077                                 <widget class="GtkImage" id="image890">
1078                                   <property name="visible">True</property>
1079                                   <property name="stock">gtk-open</property>
1080                                   <property name="icon_size">1</property>
1081                                   <property name="xalign">0.5</property>
1082                                   <property name="yalign">0.5</property>
1083                                   <property name="xpad">0</property>
1084                                   <property name="ypad">0</property>
1085                                 </widget>
1086                               </child>
1087                             </widget>
1088                           </child>
1089
1090                           <child>
1091                             <widget class="GtkImageMenuItem" id="saveMenuItem">
1092                               <property name="visible">True</property>
1093                               <property name="label" translatable="yes">_Save</property>
1094                               <property name="use_underline">True</property>
1095                               <accelerator key="s" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1096
1097                               <child internal-child="image">
1098                                 <widget class="GtkImage" id="image891">
1099                                   <property name="visible">True</property>
1100                                   <property name="stock">gtk-save</property>
1101                                   <property name="icon_size">1</property>
1102                                   <property name="xalign">0.5</property>
1103                                   <property name="yalign">0.5</property>
1104                                   <property name="xpad">0</property>
1105                                   <property name="ypad">0</property>
1106                                 </widget>
1107                               </child>
1108                             </widget>
1109                           </child>
1110
1111                           <child>
1112                             <widget class="GtkImageMenuItem" id="saveAsMenuItem">
1113                               <property name="visible">True</property>
1114                               <property name="label" translatable="yes">Save _As ...</property>
1115                               <property name="use_underline">True</property>
1116                               <accelerator key="s" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
1117
1118                               <child internal-child="image">
1119                                 <widget class="GtkImage" id="image892">
1120                                   <property name="visible">True</property>
1121                                   <property name="stock">gtk-save-as</property>
1122                                   <property name="icon_size">1</property>
1123                                   <property name="xalign">0.5</property>
1124                                   <property name="yalign">0.5</property>
1125                                   <property name="xpad">0</property>
1126                                   <property name="ypad">0</property>
1127                                 </widget>
1128                               </child>
1129                             </widget>
1130                           </child>
1131
1132                           <child>
1133                             <widget class="GtkImageMenuItem" id="developmentsMenuItem">
1134                               <property name="visible">True</property>
1135                               <property name="label" translatable="yes">_Developments...</property>
1136                               <property name="use_underline">True</property>
1137                               <accelerator key="d" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1138
1139                               <child internal-child="image">
1140                                 <widget class="GtkImage" id="image893">
1141                                   <property name="visible">True</property>
1142                                   <property name="stock">gtk-execute</property>
1143                                   <property name="icon_size">1</property>
1144                                   <property name="xalign">0.5</property>
1145                                   <property name="yalign">0.5</property>
1146                                   <property name="xpad">0</property>
1147                                   <property name="ypad">0</property>
1148                                 </widget>
1149                               </child>
1150                             </widget>
1151                           </child>
1152
1153                           <child>
1154                             <widget class="GtkSeparatorMenuItem" id="separator2">
1155                               <property name="visible">True</property>
1156                             </widget>
1157                           </child>
1158
1159                           <child>
1160                             <widget class="GtkImageMenuItem" id="quitMenuItem">
1161                               <property name="visible">True</property>
1162                               <property name="label" translatable="yes">_Quit</property>
1163                               <property name="use_underline">True</property>
1164                               <accelerator key="q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1165
1166                               <child internal-child="image">
1167                                 <widget class="GtkImage" id="image894">
1168                                   <property name="visible">True</property>
1169                                   <property name="stock">gtk-quit</property>
1170                                   <property name="icon_size">1</property>
1171                                   <property name="xalign">0.5</property>
1172                                   <property name="yalign">0.5</property>
1173                                   <property name="xpad">0</property>
1174                                   <property name="ypad">0</property>
1175                                 </widget>
1176                               </child>
1177                             </widget>
1178                           </child>
1179                         </widget>
1180                       </child>
1181                     </widget>
1182                   </child>
1183
1184                   <child>
1185                     <widget class="GtkMenuItem" id="editMenu">
1186                       <property name="visible">True</property>
1187                       <property name="label" translatable="yes">_Edit</property>
1188                       <property name="use_underline">True</property>
1189
1190                       <child>
1191                         <widget class="GtkMenu" id="editMenu_menu">
1192
1193                           <child>
1194                             <widget class="GtkImageMenuItem" id="undoMenuItem">
1195                               <property name="visible">True</property>
1196                               <property name="sensitive">False</property>
1197                               <property name="label" translatable="yes">_Undo</property>
1198                               <property name="use_underline">True</property>
1199                               <accelerator key="z" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1200
1201                               <child internal-child="image">
1202                                 <widget class="GtkImage" id="image895">
1203                                   <property name="visible">True</property>
1204                                   <property name="stock">gtk-undo</property>
1205                                   <property name="icon_size">1</property>
1206                                   <property name="xalign">0.5</property>
1207                                   <property name="yalign">0.5</property>
1208                                   <property name="xpad">0</property>
1209                                   <property name="ypad">0</property>
1210                                 </widget>
1211                               </child>
1212                             </widget>
1213                           </child>
1214
1215                           <child>
1216                             <widget class="GtkImageMenuItem" id="redoMenuItem">
1217                               <property name="visible">True</property>
1218                               <property name="sensitive">False</property>
1219                               <property name="label" translatable="yes">_Redo</property>
1220                               <property name="use_underline">True</property>
1221                               <accelerator key="z" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
1222
1223                               <child internal-child="image">
1224                                 <widget class="GtkImage" id="image896">
1225                                   <property name="visible">True</property>
1226                                   <property name="stock">gtk-redo</property>
1227                                   <property name="icon_size">1</property>
1228                                   <property name="xalign">0.5</property>
1229                                   <property name="yalign">0.5</property>
1230                                   <property name="xpad">0</property>
1231                                   <property name="ypad">0</property>
1232                                 </widget>
1233                               </child>
1234                             </widget>
1235                           </child>
1236
1237                           <child>
1238                             <widget class="GtkSeparatorMenuItem" id="separator3">
1239                               <property name="visible">True</property>
1240                             </widget>
1241                           </child>
1242
1243                           <child>
1244                             <widget class="GtkImageMenuItem" id="cutMenuItem">
1245                               <property name="visible">True</property>
1246                               <property name="label" translatable="yes">Cu_t</property>
1247                               <property name="use_underline">True</property>
1248                               <accelerator key="x" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1249
1250                               <child internal-child="image">
1251                                 <widget class="GtkImage" id="image897">
1252                                   <property name="visible">True</property>
1253                                   <property name="stock">gtk-cut</property>
1254                                   <property name="icon_size">1</property>
1255                                   <property name="xalign">0.5</property>
1256                                   <property name="yalign">0.5</property>
1257                                   <property name="xpad">0</property>
1258                                   <property name="ypad">0</property>
1259                                 </widget>
1260                               </child>
1261                             </widget>
1262                           </child>
1263
1264                           <child>
1265                             <widget class="GtkImageMenuItem" id="copyMenuItem">
1266                               <property name="visible">True</property>
1267                               <property name="label" translatable="yes">_Copy</property>
1268                               <property name="use_underline">True</property>
1269                               <accelerator key="c" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1270
1271                               <child internal-child="image">
1272                                 <widget class="GtkImage" id="image898">
1273                                   <property name="visible">True</property>
1274                                   <property name="stock">gtk-copy</property>
1275                                   <property name="icon_size">1</property>
1276                                   <property name="xalign">0.5</property>
1277                                   <property name="yalign">0.5</property>
1278                                   <property name="xpad">0</property>
1279                                   <property name="ypad">0</property>
1280                                 </widget>
1281                               </child>
1282                             </widget>
1283                           </child>
1284
1285                           <child>
1286                             <widget class="GtkImageMenuItem" id="pasteMenuItem">
1287                               <property name="visible">True</property>
1288                               <property name="label" translatable="yes">_Paste</property>
1289                               <property name="use_underline">True</property>
1290                               <accelerator key="v" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1291
1292                               <child internal-child="image">
1293                                 <widget class="GtkImage" id="image899">
1294                                   <property name="visible">True</property>
1295                                   <property name="stock">gtk-paste</property>
1296                                   <property name="icon_size">1</property>
1297                                   <property name="xalign">0.5</property>
1298                                   <property name="yalign">0.5</property>
1299                                   <property name="xpad">0</property>
1300                                   <property name="ypad">0</property>
1301                                 </widget>
1302                               </child>
1303                             </widget>
1304                           </child>
1305
1306                           <child>
1307                             <widget class="GtkMenuItem" id="pastePatternMenuItem">
1308                               <property name="visible">True</property>
1309                               <property name="label" translatable="yes">Paste as pattern</property>
1310                               <property name="use_underline">True</property>
1311                             </widget>
1312                           </child>
1313
1314                           <child>
1315                             <widget class="GtkImageMenuItem" id="deleteMenuItem">
1316                               <property name="visible">True</property>
1317                               <property name="label" translatable="yes">_Delete</property>
1318                               <property name="use_underline">True</property>
1319
1320                               <child internal-child="image">
1321                                 <widget class="GtkImage" id="image900">
1322                                   <property name="visible">True</property>
1323                                   <property name="stock">gtk-delete</property>
1324                                   <property name="icon_size">1</property>
1325                                   <property name="xalign">0.5</property>
1326                                   <property name="yalign">0.5</property>
1327                                   <property name="xpad">0</property>
1328                                   <property name="ypad">0</property>
1329                                 </widget>
1330                               </child>
1331                             </widget>
1332                           </child>
1333
1334                           <child>
1335                             <widget class="GtkSeparatorMenuItem" id="separator4">
1336                               <property name="visible">True</property>
1337                             </widget>
1338                           </child>
1339
1340                           <child>
1341                             <widget class="GtkMenuItem" id="selectAllMenuItem">
1342                               <property name="visible">True</property>
1343                               <property name="label" translatable="yes">Select _All</property>
1344                               <property name="use_underline">True</property>
1345                             </widget>
1346                           </child>
1347
1348                           <child>
1349                             <widget class="GtkSeparatorMenuItem" id="separator7">
1350                               <property name="visible">True</property>
1351                             </widget>
1352                           </child>
1353
1354                           <child>
1355                             <widget class="GtkImageMenuItem" id="findReplMenuItem">
1356                               <property name="visible">True</property>
1357                               <property name="label" translatable="yes">_Find &amp; Replace ...</property>
1358                               <property name="use_underline">True</property>
1359                               <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1360
1361                               <child internal-child="image">
1362                                 <widget class="GtkImage" id="image901">
1363                                   <property name="visible">True</property>
1364                                   <property name="stock">gtk-find-and-replace</property>
1365                                   <property name="icon_size">1</property>
1366                                   <property name="xalign">0.5</property>
1367                                   <property name="yalign">0.5</property>
1368                                   <property name="xpad">0</property>
1369                                   <property name="ypad">0</property>
1370                                 </widget>
1371                               </child>
1372                             </widget>
1373                           </child>
1374
1375                           <child>
1376                             <widget class="GtkSeparatorMenuItem" id="separator8">
1377                               <property name="visible">True</property>
1378                             </widget>
1379                           </child>
1380
1381                           <child>
1382                             <widget class="GtkMenuItem" id="LigatureButton">
1383                               <property name="visible">True</property>
1384                               <property name="label" translatable="yes">Next ligature</property>
1385                               <property name="use_underline">True</property>
1386                               <accelerator key="l" modifiers="GDK_MOD1_MASK" signal="activate"/>
1387                             </widget>
1388                           </child>
1389
1390                           <child>
1391                             <widget class="GtkMenuItem" id="externalEditorMenuItem">
1392                               <property name="visible">True</property>
1393                               <property name="label" translatable="yes">Edit with E_xternal Editor</property>
1394                               <property name="use_underline">True</property>
1395                             </widget>
1396                           </child>
1397                         </widget>
1398                       </child>
1399                     </widget>
1400                   </child>
1401
1402                   <child>
1403                     <widget class="GtkMenuItem" id="scriptMenu">
1404                       <property name="visible">True</property>
1405                       <property name="label" translatable="yes">_Script</property>
1406                       <property name="use_underline">True</property>
1407
1408                       <child>
1409                         <widget class="GtkMenu" id="scriptMenu_menu">
1410
1411                           <child>
1412                             <widget class="GtkMenuItem" id="scriptAdvanceMenuItem">
1413                               <property name="visible">True</property>
1414                               <property name="label" translatable="yes">Execute 1 phrase</property>
1415                               <property name="use_underline">True</property>
1416                               <accelerator key="Page_Down" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1417                             </widget>
1418                           </child>
1419
1420                           <child>
1421                             <widget class="GtkMenuItem" id="scriptRetractMenuItem">
1422                               <property name="visible">True</property>
1423                               <property name="label" translatable="yes">Retract 1 phrase</property>
1424                               <property name="use_underline">True</property>
1425                               <accelerator key="Page_Up" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1426                             </widget>
1427                           </child>
1428
1429                           <child>
1430                             <widget class="GtkSeparatorMenuItem" id="separator9">
1431                               <property name="visible">True</property>
1432                             </widget>
1433                           </child>
1434
1435                           <child>
1436                             <widget class="GtkMenuItem" id="scriptBottomMenuItem">
1437                               <property name="visible">True</property>
1438                               <property name="label" translatable="yes">Execute all</property>
1439                               <property name="use_underline">True</property>
1440                               <accelerator key="End" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1441                             </widget>
1442                           </child>
1443
1444                           <child>
1445                             <widget class="GtkMenuItem" id="scriptTopMenuItem">
1446                               <property name="visible">True</property>
1447                               <property name="label" translatable="yes">Restart</property>
1448                               <property name="use_underline">True</property>
1449                               <accelerator key="Home" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1450                             </widget>
1451                           </child>
1452
1453                           <child>
1454                             <widget class="GtkSeparatorMenuItem" id="separator10">
1455                               <property name="visible">True</property>
1456                             </widget>
1457                           </child>
1458
1459                           <child>
1460                             <widget class="GtkMenuItem" id="scriptJumpMenuItem">
1461                               <property name="visible">True</property>
1462                               <property name="label" translatable="yes">Execute until cursor</property>
1463                               <property name="use_underline">True</property>
1464                               <accelerator key="period" modifiers="GDK_CONTROL_MASK | GDK_MOD1_MASK" signal="activate"/>
1465                             </widget>
1466                           </child>
1467                         </widget>
1468                       </child>
1469                     </widget>
1470                   </child>
1471
1472                   <child>
1473                     <widget class="GtkMenuItem" id="viewMenu">
1474                       <property name="visible">True</property>
1475                       <property name="label" translatable="yes">_View</property>
1476                       <property name="use_underline">True</property>
1477
1478                       <child>
1479                         <widget class="GtkMenu" id="viewMenu_menu">
1480
1481                           <child>
1482                             <widget class="GtkCheckMenuItem" id="tacticsBarMenuItem">
1483                               <property name="visible">True</property>
1484                               <property name="label" translatable="yes">Show _Tactics Bar</property>
1485                               <property name="use_underline">True</property>
1486                               <property name="active">True</property>
1487                               <accelerator key="F2" modifiers="0" signal="activate"/>
1488                             </widget>
1489                           </child>
1490
1491                           <child>
1492                             <widget class="GtkMenuItem" id="newCicBrowserMenuItem">
1493                               <property name="visible">True</property>
1494                               <property name="label" translatable="yes">New Cic _Browser</property>
1495                               <property name="use_underline">True</property>
1496                               <accelerator key="F3" modifiers="0" signal="activate"/>
1497                             </widget>
1498                           </child>
1499
1500                           <child>
1501                             <widget class="GtkSeparatorMenuItem" id="separator5">
1502                               <property name="visible">True</property>
1503                             </widget>
1504                           </child>
1505
1506                           <child>
1507                             <widget class="GtkCheckMenuItem" id="fullscreenMenuItem">
1508                               <property name="visible">True</property>
1509                               <property name="label" translatable="yes">_Fullscreen</property>
1510                               <property name="use_underline">True</property>
1511                               <property name="active">False</property>
1512                               <accelerator key="F11" modifiers="0" signal="activate"/>
1513                             </widget>
1514                           </child>
1515
1516                           <child>
1517                             <widget class="GtkSeparatorMenuItem" id="separator1">
1518                               <property name="visible">True</property>
1519                             </widget>
1520                           </child>
1521
1522                           <child>
1523                             <widget class="GtkImageMenuItem" id="increaseFontSizeMenuItem">
1524                               <property name="visible">True</property>
1525                               <property name="label" translatable="yes">Zoom _In</property>
1526                               <property name="use_underline">True</property>
1527                               <signal name="activate" handler="on_increaseFontSizeMenuItem_activate" last_modification_time="Wed, 15 Jun 2005 15:06:29 GMT"/>
1528                               <accelerator key="plus" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1529
1530                               <child internal-child="image">
1531                                 <widget class="GtkImage" id="image902">
1532                                   <property name="visible">True</property>
1533                                   <property name="stock">gtk-zoom-in</property>
1534                                   <property name="icon_size">1</property>
1535                                   <property name="xalign">0.5</property>
1536                                   <property name="yalign">0.5</property>
1537                                   <property name="xpad">0</property>
1538                                   <property name="ypad">0</property>
1539                                 </widget>
1540                               </child>
1541                             </widget>
1542                           </child>
1543
1544                           <child>
1545                             <widget class="GtkImageMenuItem" id="decreaseFontSizeMenuItem">
1546                               <property name="visible">True</property>
1547                               <property name="label" translatable="yes">Zoom _Out</property>
1548                               <property name="use_underline">True</property>
1549                               <signal name="activate" handler="on_decreaseFontSizeMenuItem_activate" last_modification_time="Wed, 15 Jun 2005 15:06:29 GMT"/>
1550                               <accelerator key="minus" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1551
1552                               <child internal-child="image">
1553                                 <widget class="GtkImage" id="image903">
1554                                   <property name="visible">True</property>
1555                                   <property name="stock">gtk-zoom-out</property>
1556                                   <property name="icon_size">1</property>
1557                                   <property name="xalign">0.5</property>
1558                                   <property name="yalign">0.5</property>
1559                                   <property name="xpad">0</property>
1560                                   <property name="ypad">0</property>
1561                                 </widget>
1562                               </child>
1563                             </widget>
1564                           </child>
1565
1566                           <child>
1567                             <widget class="GtkImageMenuItem" id="normalFontSizeMenuItem">
1568                               <property name="visible">True</property>
1569                               <property name="label" translatable="yes">_Normal Size</property>
1570                               <property name="use_underline">True</property>
1571                               <accelerator key="equal" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1572
1573                               <child internal-child="image">
1574                                 <widget class="GtkImage" id="image904">
1575                                   <property name="visible">True</property>
1576                                   <property name="stock">gtk-zoom-100</property>
1577                                   <property name="icon_size">1</property>
1578                                   <property name="xalign">0.5</property>
1579                                   <property name="yalign">0.5</property>
1580                                   <property name="xpad">0</property>
1581                                   <property name="ypad">0</property>
1582                                 </widget>
1583                               </child>
1584                             </widget>
1585                           </child>
1586                         </widget>
1587                       </child>
1588                     </widget>
1589                   </child>
1590
1591                   <child>
1592                     <widget class="GtkMenuItem" id="debugMenu">
1593                       <property name="visible">True</property>
1594                       <property name="label" translatable="yes">_Debug</property>
1595                       <property name="use_underline">True</property>
1596
1597                       <child>
1598                         <widget class="GtkMenu" id="debugMenu_menu">
1599
1600                           <child>
1601                             <widget class="GtkSeparatorMenuItem" id="separator6">
1602                               <property name="visible">True</property>
1603                             </widget>
1604                           </child>
1605                         </widget>
1606                       </child>
1607                     </widget>
1608                   </child>
1609
1610                   <child>
1611                     <widget class="GtkMenuItem" id="helpMenu">
1612                       <property name="visible">True</property>
1613                       <property name="label" translatable="yes">_Help</property>
1614                       <property name="use_underline">True</property>
1615
1616                       <child>
1617                         <widget class="GtkMenu" id="helpMenu_menu">
1618
1619                           <child>
1620                             <widget class="GtkImageMenuItem" id="contentsMenuItem">
1621                               <property name="visible">True</property>
1622                               <property name="label" translatable="yes">_Contents</property>
1623                               <property name="use_underline">True</property>
1624                               <accelerator key="F1" modifiers="0" signal="activate"/>
1625
1626                               <child internal-child="image">
1627                                 <widget class="GtkImage" id="image905">
1628                                   <property name="visible">True</property>
1629                                   <property name="stock">gtk-help</property>
1630                                   <property name="icon_size">1</property>
1631                                   <property name="xalign">0.5</property>
1632                                   <property name="yalign">0.5</property>
1633                                   <property name="xpad">0</property>
1634                                   <property name="ypad">0</property>
1635                                 </widget>
1636                               </child>
1637                             </widget>
1638                           </child>
1639
1640                           <child>
1641                             <widget class="GtkImageMenuItem" id="aboutMenuItem">
1642                               <property name="visible">True</property>
1643                               <property name="label" translatable="yes">_About</property>
1644                               <property name="use_underline">True</property>
1645
1646                               <child internal-child="image">
1647                                 <widget class="GtkImage" id="image906">
1648                                   <property name="visible">True</property>
1649                                   <property name="stock">gtk-about</property>
1650                                   <property name="icon_size">1</property>
1651                                   <property name="xalign">0.5</property>
1652                                   <property name="yalign">0.5</property>
1653                                   <property name="xpad">0</property>
1654                                   <property name="ypad">0</property>
1655                                 </widget>
1656                               </child>
1657                             </widget>
1658                           </child>
1659                         </widget>
1660                       </child>
1661                     </widget>
1662                   </child>
1663                 </widget>
1664               </child>
1665             </widget>
1666             <packing>
1667               <property name="padding">0</property>
1668               <property name="expand">False</property>
1669               <property name="fill">False</property>
1670             </packing>
1671           </child>
1672
1673           <child>
1674             <widget class="GtkHBox" id="hbox9">
1675               <property name="visible">True</property>
1676               <property name="homogeneous">False</property>
1677               <property name="spacing">0</property>
1678
1679               <child>
1680                 <widget class="GtkHPaned" id="hpaneScriptSequent">
1681                   <property name="visible">True</property>
1682                   <property name="can_focus">True</property>
1683
1684                   <child>
1685                     <widget class="GtkHBox" id="hbox18">
1686                       <property name="visible">True</property>
1687                       <property name="homogeneous">False</property>
1688                       <property name="spacing">0</property>
1689
1690                       <child>
1691                         <widget class="GtkHandleBox" id="TacticsButtonsHandlebox">
1692                           <property name="visible">True</property>
1693                           <property name="shadow_type">GTK_SHADOW_OUT</property>
1694                           <property name="handle_position">GTK_POS_TOP</property>
1695                           <property name="snap_edge">GTK_POS_TOP</property>
1696
1697                           <child>
1698                             <widget class="GtkTable" id="ToolBarTable">
1699                               <property name="visible">True</property>
1700                               <property name="n_rows">17</property>
1701                               <property name="n_columns">2</property>
1702                               <property name="homogeneous">False</property>
1703                               <property name="row_spacing">4</property>
1704                               <property name="column_spacing">0</property>
1705
1706                               <child>
1707                                 <widget class="GtkButton" id="applyButton">
1708                                   <property name="visible">True</property>
1709                                   <property name="tooltip" translatable="yes">Apply</property>
1710                                   <property name="can_focus">True</property>
1711                                   <property name="label" translatable="yes">apply</property>
1712                                   <property name="use_underline">True</property>
1713                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1714                                   <property name="focus_on_click">True</property>
1715                                 </widget>
1716                                 <packing>
1717                                   <property name="left_attach">1</property>
1718                                   <property name="right_attach">2</property>
1719                                   <property name="top_attach">0</property>
1720                                   <property name="bottom_attach">1</property>
1721                                   <property name="x_options">fill</property>
1722                                   <property name="y_options"></property>
1723                                 </packing>
1724                               </child>
1725
1726                               <child>
1727                                 <widget class="GtkButton" id="introsButton">
1728                                   <property name="visible">True</property>
1729                                   <property name="tooltip" translatable="yes">Intros</property>
1730                                   <property name="can_focus">True</property>
1731                                   <property name="label" translatable="yes">intro</property>
1732                                   <property name="use_underline">True</property>
1733                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1734                                   <property name="focus_on_click">True</property>
1735                                 </widget>
1736                                 <packing>
1737                                   <property name="left_attach">0</property>
1738                                   <property name="right_attach">1</property>
1739                                   <property name="top_attach">0</property>
1740                                   <property name="bottom_attach">1</property>
1741                                   <property name="x_options">fill</property>
1742                                   <property name="y_options"></property>
1743                                 </packing>
1744                               </child>
1745
1746                               <child>
1747                                 <widget class="GtkButton" id="exactButton">
1748                                   <property name="visible">True</property>
1749                                   <property name="tooltip" translatable="yes">Exact</property>
1750                                   <property name="can_focus">True</property>
1751                                   <property name="label" translatable="yes">exact</property>
1752                                   <property name="use_underline">True</property>
1753                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1754                                   <property name="focus_on_click">True</property>
1755                                 </widget>
1756                                 <packing>
1757                                   <property name="left_attach">0</property>
1758                                   <property name="right_attach">1</property>
1759                                   <property name="top_attach">2</property>
1760                                   <property name="bottom_attach">3</property>
1761                                   <property name="x_options">fill</property>
1762                                   <property name="y_options"></property>
1763                                 </packing>
1764                               </child>
1765
1766                               <child>
1767                                 <widget class="GtkButton" id="elimButton">
1768                                   <property name="visible">True</property>
1769                                   <property name="tooltip" translatable="yes">Elim</property>
1770                                   <property name="can_focus">True</property>
1771                                   <property name="label" translatable="yes">elim</property>
1772                                   <property name="use_underline">True</property>
1773                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1774                                   <property name="focus_on_click">True</property>
1775                                 </widget>
1776                                 <packing>
1777                                   <property name="left_attach">0</property>
1778                                   <property name="right_attach">1</property>
1779                                   <property name="top_attach">4</property>
1780                                   <property name="bottom_attach">5</property>
1781                                   <property name="x_options">fill</property>
1782                                   <property name="y_options"></property>
1783                                 </packing>
1784                               </child>
1785
1786                               <child>
1787                                 <widget class="GtkButton" id="reflexivityButton">
1788                                   <property name="visible">True</property>
1789                                   <property name="tooltip" translatable="yes">Reflexivity</property>
1790                                   <property name="can_focus">True</property>
1791                                   <property name="label" translatable="yes">refl</property>
1792                                   <property name="use_underline">True</property>
1793                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1794                                   <property name="focus_on_click">True</property>
1795                                 </widget>
1796                                 <packing>
1797                                   <property name="left_attach">0</property>
1798                                   <property name="right_attach">1</property>
1799                                   <property name="top_attach">8</property>
1800                                   <property name="bottom_attach">9</property>
1801                                   <property name="x_options">fill</property>
1802                                   <property name="y_options"></property>
1803                                 </packing>
1804                               </child>
1805
1806                               <child>
1807                                 <widget class="GtkButton" id="symmetryButton">
1808                                   <property name="visible">True</property>
1809                                   <property name="tooltip" translatable="yes">Symmetry</property>
1810                                   <property name="can_focus">True</property>
1811                                   <property name="label" translatable="yes">sym</property>
1812                                   <property name="use_underline">True</property>
1813                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1814                                   <property name="focus_on_click">True</property>
1815                                 </widget>
1816                                 <packing>
1817                                   <property name="left_attach">1</property>
1818                                   <property name="right_attach">2</property>
1819                                   <property name="top_attach">8</property>
1820                                   <property name="bottom_attach">9</property>
1821                                   <property name="x_options">fill</property>
1822                                   <property name="y_options"></property>
1823                                 </packing>
1824                               </child>
1825
1826                               <child>
1827                                 <widget class="GtkButton" id="transitivityButton">
1828                                   <property name="visible">True</property>
1829                                   <property name="tooltip" translatable="yes">Transitivity</property>
1830                                   <property name="can_focus">True</property>
1831                                   <property name="label" translatable="yes">trans</property>
1832                                   <property name="use_underline">True</property>
1833                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1834                                   <property name="focus_on_click">True</property>
1835                                 </widget>
1836                                 <packing>
1837                                   <property name="left_attach">0</property>
1838                                   <property name="right_attach">1</property>
1839                                   <property name="top_attach">9</property>
1840                                   <property name="bottom_attach">10</property>
1841                                   <property name="x_options">fill</property>
1842                                   <property name="y_options"></property>
1843                                 </packing>
1844                               </child>
1845
1846                               <child>
1847                                 <widget class="GtkButton" id="simplifyButton">
1848                                   <property name="visible">True</property>
1849                                   <property name="tooltip" translatable="yes">Simplify</property>
1850                                   <property name="can_focus">True</property>
1851                                   <property name="label" translatable="yes">simpl</property>
1852                                   <property name="use_underline">True</property>
1853                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1854                                   <property name="focus_on_click">True</property>
1855                                 </widget>
1856                                 <packing>
1857                                   <property name="left_attach">0</property>
1858                                   <property name="right_attach">1</property>
1859                                   <property name="top_attach">11</property>
1860                                   <property name="bottom_attach">12</property>
1861                                   <property name="x_options">fill</property>
1862                                   <property name="y_options"></property>
1863                                 </packing>
1864                               </child>
1865
1866                               <child>
1867                                 <widget class="GtkButton" id="reduceButton">
1868                                   <property name="visible">True</property>
1869                                   <property name="tooltip" translatable="yes">Reduce</property>
1870                                   <property name="can_focus">True</property>
1871                                   <property name="label" translatable="yes">red</property>
1872                                   <property name="use_underline">True</property>
1873                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1874                                   <property name="focus_on_click">True</property>
1875                                 </widget>
1876                                 <packing>
1877                                   <property name="left_attach">1</property>
1878                                   <property name="right_attach">2</property>
1879                                   <property name="top_attach">11</property>
1880                                   <property name="bottom_attach">12</property>
1881                                   <property name="x_options">fill</property>
1882                                   <property name="y_options"></property>
1883                                 </packing>
1884                               </child>
1885
1886                               <child>
1887                                 <widget class="GtkButton" id="whdButton">
1888                                   <property name="visible">True</property>
1889                                   <property name="tooltip" translatable="yes">Whd</property>
1890                                   <property name="can_focus">True</property>
1891                                   <property name="label" translatable="yes">whd</property>
1892                                   <property name="use_underline">True</property>
1893                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1894                                   <property name="focus_on_click">True</property>
1895                                 </widget>
1896                                 <packing>
1897                                   <property name="left_attach">0</property>
1898                                   <property name="right_attach">1</property>
1899                                   <property name="top_attach">12</property>
1900                                   <property name="bottom_attach">13</property>
1901                                   <property name="x_options">fill</property>
1902                                   <property name="y_options"></property>
1903                                 </packing>
1904                               </child>
1905
1906                               <child>
1907                                 <widget class="GtkButton" id="assumptionButton">
1908                                   <property name="visible">True</property>
1909                                   <property name="tooltip" translatable="yes">Assumption</property>
1910                                   <property name="can_focus">True</property>
1911                                   <property name="label" translatable="yes">assum</property>
1912                                   <property name="use_underline">True</property>
1913                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1914                                   <property name="focus_on_click">True</property>
1915                                 </widget>
1916                                 <packing>
1917                                   <property name="left_attach">0</property>
1918                                   <property name="right_attach">1</property>
1919                                   <property name="top_attach">14</property>
1920                                   <property name="bottom_attach">15</property>
1921                                   <property name="x_options">fill</property>
1922                                   <property name="y_options"></property>
1923                                 </packing>
1924                               </child>
1925
1926                               <child>
1927                                 <widget class="GtkButton" id="autoButton">
1928                                   <property name="visible">True</property>
1929                                   <property name="tooltip" translatable="yes">Auto</property>
1930                                   <property name="can_focus">True</property>
1931                                   <property name="label" translatable="yes">auto</property>
1932                                   <property name="use_underline">True</property>
1933                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1934                                   <property name="focus_on_click">True</property>
1935                                 </widget>
1936                                 <packing>
1937                                   <property name="left_attach">1</property>
1938                                   <property name="right_attach">2</property>
1939                                   <property name="top_attach">14</property>
1940                                   <property name="bottom_attach">15</property>
1941                                   <property name="x_options">fill</property>
1942                                   <property name="y_options"></property>
1943                                 </packing>
1944                               </child>
1945
1946                               <child>
1947                                 <widget class="GtkButton" id="cutButton">
1948                                   <property name="visible">True</property>
1949                                   <property name="tooltip" translatable="yes">Cut</property>
1950                                   <property name="can_focus">True</property>
1951                                   <property name="label" translatable="yes">cut</property>
1952                                   <property name="use_underline">True</property>
1953                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1954                                   <property name="focus_on_click">True</property>
1955                                 </widget>
1956                                 <packing>
1957                                   <property name="left_attach">0</property>
1958                                   <property name="right_attach">1</property>
1959                                   <property name="top_attach">16</property>
1960                                   <property name="bottom_attach">17</property>
1961                                   <property name="x_options">fill</property>
1962                                   <property name="y_options"></property>
1963                                 </packing>
1964                               </child>
1965
1966                               <child>
1967                                 <widget class="GtkButton" id="replaceButton">
1968                                   <property name="visible">True</property>
1969                                   <property name="tooltip" translatable="yes">Replace</property>
1970                                   <property name="can_focus">True</property>
1971                                   <property name="label" translatable="yes">repl</property>
1972                                   <property name="use_underline">True</property>
1973                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1974                                   <property name="focus_on_click">True</property>
1975                                 </widget>
1976                                 <packing>
1977                                   <property name="left_attach">1</property>
1978                                   <property name="right_attach">2</property>
1979                                   <property name="top_attach">16</property>
1980                                   <property name="bottom_attach">17</property>
1981                                   <property name="x_options">fill</property>
1982                                   <property name="y_options"></property>
1983                                 </packing>
1984                               </child>
1985
1986                               <child>
1987                                 <widget class="GtkButton" id="elimTypeButton">
1988                                   <property name="visible">True</property>
1989                                   <property name="tooltip" translatable="yes">ElimType</property>
1990                                   <property name="can_focus">True</property>
1991                                   <property name="label" translatable="yes">elimTy</property>
1992                                   <property name="use_underline">True</property>
1993                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1994                                   <property name="focus_on_click">True</property>
1995                                 </widget>
1996                                 <packing>
1997                                   <property name="left_attach">1</property>
1998                                   <property name="right_attach">2</property>
1999                                   <property name="top_attach">4</property>
2000                                   <property name="bottom_attach">5</property>
2001                                   <property name="x_options">fill</property>
2002                                   <property name="y_options"></property>
2003                                 </packing>
2004                               </child>
2005
2006                               <child>
2007                                 <widget class="GtkHBox" id="hbox18">
2008                                   <property name="visible">True</property>
2009                                   <property name="homogeneous">True</property>
2010                                   <property name="spacing">0</property>
2011
2012                                   <child>
2013                                     <widget class="GtkButton" id="rightButton">
2014                                       <property name="visible">True</property>
2015                                       <property name="tooltip" translatable="yes">Right</property>
2016                                       <property name="can_focus">True</property>
2017                                       <property name="label" translatable="yes">R</property>
2018                                       <property name="use_underline">True</property>
2019                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2020                                       <property name="focus_on_click">True</property>
2021                                     </widget>
2022                                     <packing>
2023                                       <property name="padding">0</property>
2024                                       <property name="expand">True</property>
2025                                       <property name="fill">True</property>
2026                                     </packing>
2027                                   </child>
2028
2029                                   <child>
2030                                     <widget class="GtkButton" id="existsButton">
2031                                       <property name="visible">True</property>
2032                                       <property name="tooltip" translatable="yes">Exists</property>
2033                                       <property name="can_focus">True</property>
2034                                       <property name="label" translatable="yes">∃</property>
2035                                       <property name="use_underline">True</property>
2036                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2037                                       <property name="focus_on_click">True</property>
2038                                     </widget>
2039                                     <packing>
2040                                       <property name="padding">0</property>
2041                                       <property name="expand">True</property>
2042                                       <property name="fill">True</property>
2043                                     </packing>
2044                                   </child>
2045                                 </widget>
2046                                 <packing>
2047                                   <property name="left_attach">1</property>
2048                                   <property name="right_attach">2</property>
2049                                   <property name="top_attach">6</property>
2050                                   <property name="bottom_attach">7</property>
2051                                   <property name="x_options">fill</property>
2052                                   <property name="y_options">fill</property>
2053                                 </packing>
2054                               </child>
2055
2056                               <child>
2057                                 <widget class="GtkHBox" id="hbox17">
2058                                   <property name="visible">True</property>
2059                                   <property name="homogeneous">True</property>
2060                                   <property name="spacing">0</property>
2061
2062                                   <child>
2063                                     <widget class="GtkButton" id="splitButton">
2064                                       <property name="visible">True</property>
2065                                       <property name="tooltip" translatable="yes">Split</property>
2066                                       <property name="can_focus">True</property>
2067                                       <property name="label" translatable="yes">∧</property>
2068                                       <property name="use_underline">True</property>
2069                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2070                                       <property name="focus_on_click">True</property>
2071                                     </widget>
2072                                     <packing>
2073                                       <property name="padding">0</property>
2074                                       <property name="expand">True</property>
2075                                       <property name="fill">True</property>
2076                                     </packing>
2077                                   </child>
2078
2079                                   <child>
2080                                     <widget class="GtkButton" id="leftButton">
2081                                       <property name="visible">True</property>
2082                                       <property name="tooltip" translatable="yes">Left</property>
2083                                       <property name="can_focus">True</property>
2084                                       <property name="label" translatable="yes">L</property>
2085                                       <property name="use_underline">True</property>
2086                                       <property name="relief">GTK_RELIEF_NORMAL</property>
2087                                       <property name="focus_on_click">True</property>
2088                                     </widget>
2089                                     <packing>
2090                                       <property name="padding">0</property>
2091                                       <property name="expand">True</property>
2092                                       <property name="fill">True</property>
2093                                     </packing>
2094                                   </child>
2095                                 </widget>
2096                                 <packing>
2097                                   <property name="left_attach">0</property>
2098                                   <property name="right_attach">1</property>
2099                                   <property name="top_attach">6</property>
2100                                   <property name="bottom_attach">7</property>
2101                                   <property name="x_options">fill</property>
2102                                   <property name="y_options">fill</property>
2103                                 </packing>
2104                               </child>
2105
2106                               <child>
2107                                 <widget class="GtkAlignment" id="alignment6">
2108                                   <property name="visible">True</property>
2109                                   <property name="xalign">0.5</property>
2110                                   <property name="yalign">0.5</property>
2111                                   <property name="xscale">1</property>
2112                                   <property name="yscale">1</property>
2113                                   <property name="top_padding">0</property>
2114                                   <property name="bottom_padding">0</property>
2115                                   <property name="left_padding">0</property>
2116                                   <property name="right_padding">0</property>
2117
2118                                   <child>
2119                                     <placeholder/>
2120                                   </child>
2121                                 </widget>
2122                                 <packing>
2123                                   <property name="left_attach">0</property>
2124                                   <property name="right_attach">1</property>
2125                                   <property name="top_attach">1</property>
2126                                   <property name="bottom_attach">2</property>
2127                                   <property name="x_options">fill</property>
2128                                 </packing>
2129                               </child>
2130
2131                               <child>
2132                                 <widget class="GtkAlignment" id="alignment7">
2133                                   <property name="visible">True</property>
2134                                   <property name="xalign">0.5</property>
2135                                   <property name="yalign">0.5</property>
2136                                   <property name="xscale">1</property>
2137                                   <property name="yscale">1</property>
2138                                   <property name="top_padding">0</property>
2139                                   <property name="bottom_padding">0</property>
2140                                   <property name="left_padding">0</property>
2141                                   <property name="right_padding">0</property>
2142
2143                                   <child>
2144                                     <placeholder/>
2145                                   </child>
2146                                 </widget>
2147                                 <packing>
2148                                   <property name="left_attach">0</property>
2149                                   <property name="right_attach">1</property>
2150                                   <property name="top_attach">3</property>
2151                                   <property name="bottom_attach">4</property>
2152                                   <property name="x_options">fill</property>
2153                                 </packing>
2154                               </child>
2155
2156                               <child>
2157                                 <widget class="GtkAlignment" id="alignment8">
2158                                   <property name="visible">True</property>
2159                                   <property name="xalign">0.5</property>
2160                                   <property name="yalign">0.5</property>
2161                                   <property name="xscale">1</property>
2162                                   <property name="yscale">1</property>
2163                                   <property name="top_padding">0</property>
2164                                   <property name="bottom_padding">0</property>
2165                                   <property name="left_padding">0</property>
2166                                   <property name="right_padding">0</property>
2167
2168                                   <child>
2169                                     <placeholder/>
2170                                   </child>
2171                                 </widget>
2172                                 <packing>
2173                                   <property name="left_attach">0</property>
2174                                   <property name="right_attach">1</property>
2175                                   <property name="top_attach">5</property>
2176                                   <property name="bottom_attach">6</property>
2177                                   <property name="x_options">fill</property>
2178                                 </packing>
2179                               </child>
2180
2181                               <child>
2182                                 <widget class="GtkAlignment" id="alignment9">
2183                                   <property name="visible">True</property>
2184                                   <property name="xalign">0.5</property>
2185                                   <property name="yalign">0.5</property>
2186                                   <property name="xscale">1</property>
2187                                   <property name="yscale">1</property>
2188                                   <property name="top_padding">0</property>
2189                                   <property name="bottom_padding">0</property>
2190                                   <property name="left_padding">0</property>
2191                                   <property name="right_padding">0</property>
2192
2193                                   <child>
2194                                     <placeholder/>
2195                                   </child>
2196                                 </widget>
2197                                 <packing>
2198                                   <property name="left_attach">0</property>
2199                                   <property name="right_attach">1</property>
2200                                   <property name="top_attach">7</property>
2201                                   <property name="bottom_attach">8</property>
2202                                   <property name="x_options">fill</property>
2203                                 </packing>
2204                               </child>
2205
2206                               <child>
2207                                 <widget class="GtkAlignment" id="alignment10">
2208                                   <property name="visible">True</property>
2209                                   <property name="xalign">0.5</property>
2210                                   <property name="yalign">0.5</property>
2211                                   <property name="xscale">1</property>
2212                                   <property name="yscale">1</property>
2213                                   <property name="top_padding">0</property>
2214                                   <property name="bottom_padding">0</property>
2215                                   <property name="left_padding">0</property>
2216                                   <property name="right_padding">0</property>
2217
2218                                   <child>
2219                                     <placeholder/>
2220                                   </child>
2221                                 </widget>
2222                                 <packing>
2223                                   <property name="left_attach">0</property>
2224                                   <property name="right_attach">1</property>
2225                                   <property name="top_attach">10</property>
2226                                   <property name="bottom_attach">11</property>
2227                                   <property name="x_options">fill</property>
2228                                 </packing>
2229                               </child>
2230
2231                               <child>
2232                                 <widget class="GtkAlignment" id="alignment11">
2233                                   <property name="visible">True</property>
2234                                   <property name="xalign">0.5</property>
2235                                   <property name="yalign">0.5</property>
2236                                   <property name="xscale">1</property>
2237                                   <property name="yscale">1</property>
2238                                   <property name="top_padding">0</property>
2239                                   <property name="bottom_padding">0</property>
2240                                   <property name="left_padding">0</property>
2241                                   <property name="right_padding">0</property>
2242
2243                                   <child>
2244                                     <placeholder/>
2245                                   </child>
2246                                 </widget>
2247                                 <packing>
2248                                   <property name="left_attach">0</property>
2249                                   <property name="right_attach">1</property>
2250                                   <property name="top_attach">13</property>
2251                                   <property name="bottom_attach">14</property>
2252                                   <property name="x_options">fill</property>
2253                                 </packing>
2254                               </child>
2255
2256                               <child>
2257                                 <widget class="GtkAlignment" id="alignment12">
2258                                   <property name="visible">True</property>
2259                                   <property name="xalign">0.5</property>
2260                                   <property name="yalign">0.5</property>
2261                                   <property name="xscale">1</property>
2262                                   <property name="yscale">1</property>
2263                                   <property name="top_padding">0</property>
2264                                   <property name="bottom_padding">0</property>
2265                                   <property name="left_padding">0</property>
2266                                   <property name="right_padding">0</property>
2267
2268                                   <child>
2269                                     <placeholder/>
2270                                   </child>
2271                                 </widget>
2272                                 <packing>
2273                                   <property name="left_attach">0</property>
2274                                   <property name="right_attach">1</property>
2275                                   <property name="top_attach">15</property>
2276                                   <property name="bottom_attach">16</property>
2277                                   <property name="x_options">fill</property>
2278                                 </packing>
2279                               </child>
2280                             </widget>
2281                           </child>
2282                         </widget>
2283                         <packing>
2284                           <property name="padding">0</property>
2285                           <property name="expand">False</property>
2286                           <property name="fill">True</property>
2287                         </packing>
2288                       </child>
2289
2290                       <child>
2291                         <widget class="GtkVBox" id="vboxScript">
2292                           <property name="width_request">400</property>
2293                           <property name="visible">True</property>
2294                           <property name="homogeneous">False</property>
2295                           <property name="spacing">0</property>
2296
2297                           <child>
2298                             <widget class="GtkToolbar" id="buttonsToolbar">
2299                               <property name="visible">True</property>
2300                               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
2301                               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
2302                               <property name="tooltips">True</property>
2303                               <property name="show_arrow">True</property>
2304
2305                               <child>
2306                                 <widget class="GtkToolItem" id="toolitem25">
2307                                   <property name="visible">True</property>
2308                                   <property name="visible_horizontal">True</property>
2309                                   <property name="visible_vertical">True</property>
2310                                   <property name="is_important">False</property>
2311
2312                                   <child>
2313                                     <widget class="GtkButton" id="scriptTopButton">
2314                                       <property name="visible">True</property>
2315                                       <property name="tooltip" translatable="yes">Restart</property>
2316                                       <property name="can_focus">True</property>
2317                                       <property name="relief">GTK_RELIEF_NONE</property>
2318                                       <property name="focus_on_click">True</property>
2319
2320                                       <child>
2321                                         <widget class="GtkImage" id="image253">
2322                                           <property name="visible">True</property>
2323                                           <property name="stock">gtk-goto-top</property>
2324                                           <property name="icon_size">4</property>
2325                                           <property name="xalign">0.5</property>
2326                                           <property name="yalign">0.5</property>
2327                                           <property name="xpad">0</property>
2328                                           <property name="ypad">0</property>
2329                                         </widget>
2330                                       </child>
2331                                     </widget>
2332                                   </child>
2333                                 </widget>
2334                                 <packing>
2335                                   <property name="expand">False</property>
2336                                   <property name="homogeneous">False</property>
2337                                 </packing>
2338                               </child>
2339
2340                               <child>
2341                                 <widget class="GtkToolItem" id="toolitem26">
2342                                   <property name="visible">True</property>
2343                                   <property name="visible_horizontal">True</property>
2344                                   <property name="visible_vertical">True</property>
2345                                   <property name="is_important">False</property>
2346
2347                                   <child>
2348                                     <widget class="GtkButton" id="scriptRetractButton">
2349                                       <property name="visible">True</property>
2350                                       <property name="tooltip" translatable="yes">Retract 1 phrase</property>
2351                                       <property name="can_focus">True</property>
2352                                       <property name="relief">GTK_RELIEF_NONE</property>
2353                                       <property name="focus_on_click">True</property>
2354
2355                                       <child>
2356                                         <widget class="GtkImage" id="image254">
2357                                           <property name="visible">True</property>
2358                                           <property name="stock">gtk-go-up</property>
2359                                           <property name="icon_size">4</property>
2360                                           <property name="xalign">0.5</property>
2361                                           <property name="yalign">0.5</property>
2362                                           <property name="xpad">0</property>
2363                                           <property name="ypad">0</property>
2364                                         </widget>
2365                                       </child>
2366                                     </widget>
2367                                   </child>
2368                                 </widget>
2369                                 <packing>
2370                                   <property name="expand">False</property>
2371                                   <property name="homogeneous">False</property>
2372                                 </packing>
2373                               </child>
2374
2375                               <child>
2376                                 <widget class="GtkToolItem" id="toolitem27">
2377                                   <property name="visible">True</property>
2378                                   <property name="visible_horizontal">True</property>
2379                                   <property name="visible_vertical">True</property>
2380                                   <property name="is_important">False</property>
2381
2382                                   <child>
2383                                     <widget class="GtkButton" id="scriptJumpButton">
2384                                       <property name="visible">True</property>
2385                                       <property name="tooltip" translatable="yes">Execute until point</property>
2386                                       <property name="can_focus">True</property>
2387                                       <property name="relief">GTK_RELIEF_NONE</property>
2388                                       <property name="focus_on_click">True</property>
2389
2390                                       <child>
2391                                         <widget class="GtkImage" id="image255">
2392                                           <property name="visible">True</property>
2393                                           <property name="stock">gtk-jump-to</property>
2394                                           <property name="icon_size">4</property>
2395                                           <property name="xalign">0.5</property>
2396                                           <property name="yalign">0.5</property>
2397                                           <property name="xpad">0</property>
2398                                           <property name="ypad">0</property>
2399                                         </widget>
2400                                       </child>
2401                                     </widget>
2402                                   </child>
2403                                 </widget>
2404                                 <packing>
2405                                   <property name="expand">False</property>
2406                                   <property name="homogeneous">False</property>
2407                                 </packing>
2408                               </child>
2409
2410                               <child>
2411                                 <widget class="GtkToolItem" id="toolitem28">
2412                                   <property name="visible">True</property>
2413                                   <property name="visible_horizontal">True</property>
2414                                   <property name="visible_vertical">True</property>
2415                                   <property name="is_important">False</property>
2416
2417                                   <child>
2418                                     <widget class="GtkButton" id="scriptAdvanceButton">
2419                                       <property name="visible">True</property>
2420                                       <property name="tooltip" translatable="yes">Execute 1 phrase</property>
2421                                       <property name="can_focus">True</property>
2422                                       <property name="relief">GTK_RELIEF_NONE</property>
2423                                       <property name="focus_on_click">True</property>
2424
2425                                       <child>
2426                                         <widget class="GtkImage" id="image256">
2427                                           <property name="visible">True</property>
2428                                           <property name="stock">gtk-go-down</property>
2429                                           <property name="icon_size">4</property>
2430                                           <property name="xalign">0.5</property>
2431                                           <property name="yalign">0.5</property>
2432                                           <property name="xpad">0</property>
2433                                           <property name="ypad">0</property>
2434                                         </widget>
2435                                       </child>
2436                                     </widget>
2437                                   </child>
2438                                 </widget>
2439                                 <packing>
2440                                   <property name="expand">False</property>
2441                                   <property name="homogeneous">False</property>
2442                                 </packing>
2443                               </child>
2444
2445                               <child>
2446                                 <widget class="GtkToolItem" id="toolitem29">
2447                                   <property name="visible">True</property>
2448                                   <property name="visible_horizontal">True</property>
2449                                   <property name="visible_vertical">True</property>
2450                                   <property name="is_important">False</property>
2451
2452                                   <child>
2453                                     <widget class="GtkButton" id="scriptBottomButton">
2454                                       <property name="visible">True</property>
2455                                       <property name="tooltip" translatable="yes">Execute all</property>
2456                                       <property name="can_focus">True</property>
2457                                       <property name="relief">GTK_RELIEF_NONE</property>
2458                                       <property name="focus_on_click">True</property>
2459
2460                                       <child>
2461                                         <widget class="GtkImage" id="image257">
2462                                           <property name="visible">True</property>
2463                                           <property name="stock">gtk-goto-bottom</property>
2464                                           <property name="icon_size">4</property>
2465                                           <property name="xalign">0.5</property>
2466                                           <property name="yalign">0.5</property>
2467                                           <property name="xpad">0</property>
2468                                           <property name="ypad">0</property>
2469                                         </widget>
2470                                       </child>
2471                                     </widget>
2472                                   </child>
2473                                 </widget>
2474                                 <packing>
2475                                   <property name="expand">False</property>
2476                                   <property name="homogeneous">False</property>
2477                                 </packing>
2478                               </child>
2479                             </widget>
2480                             <packing>
2481                               <property name="padding">0</property>
2482                               <property name="expand">False</property>
2483                               <property name="fill">False</property>
2484                             </packing>
2485                           </child>
2486
2487                           <child>
2488                             <widget class="GtkNotebook" id="scriptNotebook">
2489                               <property name="visible">True</property>
2490                               <property name="can_focus">True</property>
2491                               <property name="show_tabs">True</property>
2492                               <property name="show_border">True</property>
2493                               <property name="tab_pos">GTK_POS_BOTTOM</property>
2494                               <property name="scrollable">False</property>
2495                               <property name="enable_popup">False</property>
2496
2497                               <child>
2498                                 <widget class="GtkScrolledWindow" id="ScriptScrolledWin">
2499                                   <property name="visible">True</property>
2500                                   <property name="can_focus">True</property>
2501                                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2502                                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2503                                   <property name="shadow_type">GTK_SHADOW_NONE</property>
2504                                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2505
2506                                   <child>
2507                                     <placeholder/>
2508                                   </child>
2509                                 </widget>
2510                                 <packing>
2511                                   <property name="tab_expand">False</property>
2512                                   <property name="tab_fill">True</property>
2513                                 </packing>
2514                               </child>
2515
2516                               <child>
2517                                 <widget class="GtkLabel" id="scriptLabel">
2518                                   <property name="visible">True</property>
2519                                   <property name="label" translatable="yes">script</property>
2520                                   <property name="use_underline">False</property>
2521                                   <property name="use_markup">False</property>
2522                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2523                                   <property name="wrap">False</property>
2524                                   <property name="selectable">False</property>
2525                                   <property name="xalign">0.5</property>
2526                                   <property name="yalign">0.5</property>
2527                                   <property name="xpad">0</property>
2528                                   <property name="ypad">0</property>
2529                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2530                                   <property name="width_chars">-1</property>
2531                                   <property name="single_line_mode">False</property>
2532                                   <property name="angle">0</property>
2533                                 </widget>
2534                                 <packing>
2535                                   <property name="type">tab</property>
2536                                 </packing>
2537                               </child>
2538
2539                               <child>
2540                                 <widget class="GtkScrolledWindow" id="scrolledwindow8">
2541                                   <property name="visible">True</property>
2542                                   <property name="can_focus">True</property>
2543                                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2544                                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2545                                   <property name="shadow_type">GTK_SHADOW_NONE</property>
2546                                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2547
2548                                   <child>
2549                                     <widget class="GtkViewport" id="viewport1">
2550                                       <property name="visible">True</property>
2551                                       <property name="shadow_type">GTK_SHADOW_IN</property>
2552
2553                                       <child>
2554                                         <widget class="GtkLabel" id="label25">
2555                                           <property name="visible">True</property>
2556                                           <property name="label" translatable="yes">Not implemented.</property>
2557                                           <property name="use_underline">False</property>
2558                                           <property name="use_markup">False</property>
2559                                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2560                                           <property name="wrap">False</property>
2561                                           <property name="selectable">False</property>
2562                                           <property name="xalign">0.5</property>
2563                                           <property name="yalign">0.5</property>
2564                                           <property name="xpad">0</property>
2565                                           <property name="ypad">0</property>
2566                                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2567                                           <property name="width_chars">-1</property>
2568                                           <property name="single_line_mode">False</property>
2569                                           <property name="angle">0</property>
2570                                         </widget>
2571                                       </child>
2572                                     </widget>
2573                                   </child>
2574                                 </widget>
2575                                 <packing>
2576                                   <property name="tab_expand">False</property>
2577                                   <property name="tab_fill">True</property>
2578                                 </packing>
2579                               </child>
2580
2581                               <child>
2582                                 <widget class="GtkLabel" id="label13">
2583                                   <property name="visible">True</property>
2584                                   <property name="label" translatable="yes">outline</property>
2585                                   <property name="use_underline">False</property>
2586                                   <property name="use_markup">False</property>
2587                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2588                                   <property name="wrap">False</property>
2589                                   <property name="selectable">False</property>
2590                                   <property name="xalign">0.5</property>
2591                                   <property name="yalign">0.5</property>
2592                                   <property name="xpad">0</property>
2593                                   <property name="ypad">0</property>
2594                                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2595                                   <property name="width_chars">-1</property>
2596                                   <property name="single_line_mode">False</property>
2597                                   <property name="angle">0</property>
2598                                 </widget>
2599                                 <packing>
2600                                   <property name="type">tab</property>
2601                                 </packing>
2602                               </child>
2603                             </widget>
2604                             <packing>
2605                               <property name="padding">0</property>
2606                               <property name="expand">True</property>
2607                               <property name="fill">True</property>
2608                             </packing>
2609                           </child>
2610                         </widget>
2611                         <packing>
2612                           <property name="padding">0</property>
2613                           <property name="expand">True</property>
2614                           <property name="fill">True</property>
2615                         </packing>
2616                       </child>
2617                     </widget>
2618                     <packing>
2619                       <property name="shrink">True</property>
2620                       <property name="resize">False</property>
2621                     </packing>
2622                   </child>
2623
2624                   <child>
2625                     <widget class="GtkVPaned" id="vpaned1">
2626                       <property name="width_request">250</property>
2627                       <property name="height_request">500</property>
2628                       <property name="visible">True</property>
2629                       <property name="can_focus">True</property>
2630                       <property name="position">380</property>
2631
2632                       <child>
2633                         <widget class="GtkNotebook" id="sequentsNotebook">
2634                           <property name="visible">True</property>
2635                           <property name="can_focus">True</property>
2636                           <property name="show_tabs">True</property>
2637                           <property name="show_border">True</property>
2638                           <property name="tab_pos">GTK_POS_TOP</property>
2639                           <property name="scrollable">False</property>
2640                           <property name="enable_popup">False</property>
2641                         </widget>
2642                         <packing>
2643                           <property name="shrink">True</property>
2644                           <property name="resize">False</property>
2645                         </packing>
2646                       </child>
2647
2648                       <child>
2649                         <widget class="GtkHBox" id="hbox9">
2650                           <property name="visible">True</property>
2651                           <property name="homogeneous">False</property>
2652                           <property name="spacing">0</property>
2653
2654                           <child>
2655                             <widget class="GtkScrolledWindow" id="logScrolledWin">
2656                               <property name="visible">True</property>
2657                               <property name="can_focus">True</property>
2658                               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2659                               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
2660                               <property name="shadow_type">GTK_SHADOW_IN</property>
2661                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2662
2663                               <child>
2664                                 <widget class="GtkTextView" id="logTextView">
2665                                   <property name="visible">True</property>
2666                                   <property name="can_focus">True</property>
2667                                   <property name="editable">False</property>
2668                                   <property name="overwrite">False</property>
2669                                   <property name="accepts_tab">True</property>
2670                                   <property name="justification">GTK_JUSTIFY_LEFT</property>
2671                                   <property name="wrap_mode">GTK_WRAP_CHAR</property>
2672                                   <property name="cursor_visible">False</property>
2673                                   <property name="pixels_above_lines">0</property>
2674                                   <property name="pixels_below_lines">0</property>
2675                                   <property name="pixels_inside_wrap">0</property>
2676                                   <property name="left_margin">0</property>
2677                                   <property name="right_margin">0</property>
2678                                   <property name="indent">0</property>
2679                                   <property name="text" translatable="yes"></property>
2680                                 </widget>
2681                               </child>
2682                             </widget>
2683                             <packing>
2684                               <property name="padding">0</property>
2685                               <property name="expand">True</property>
2686                               <property name="fill">True</property>
2687                             </packing>
2688                           </child>
2689                         </widget>
2690                         <packing>
2691                           <property name="shrink">True</property>
2692                           <property name="resize">True</property>
2693                         </packing>
2694                       </child>
2695                     </widget>
2696                     <packing>
2697                       <property name="shrink">True</property>
2698                       <property name="resize">True</property>
2699                     </packing>
2700                   </child>
2701                 </widget>
2702                 <packing>
2703                   <property name="padding">0</property>
2704                   <property name="expand">True</property>
2705                   <property name="fill">True</property>
2706                 </packing>
2707               </child>
2708             </widget>
2709             <packing>
2710               <property name="padding">0</property>
2711               <property name="expand">True</property>
2712               <property name="fill">True</property>
2713             </packing>
2714           </child>
2715
2716           <child>
2717             <widget class="GtkHBox" id="hbox10">
2718               <property name="visible">True</property>
2719               <property name="homogeneous">False</property>
2720               <property name="spacing">0</property>
2721
2722               <child>
2723                 <widget class="GtkStatusbar" id="StatusBar">
2724                   <property name="visible">True</property>
2725                   <property name="has_resize_grip">False</property>
2726                 </widget>
2727                 <packing>
2728                   <property name="padding">0</property>
2729                   <property name="expand">True</property>
2730                   <property name="fill">True</property>
2731                 </packing>
2732               </child>
2733
2734               <child>
2735                 <widget class="GtkNotebook" id="HintNotebook">
2736                   <property name="visible">True</property>
2737                   <property name="show_tabs">False</property>
2738                   <property name="show_border">True</property>
2739                   <property name="tab_pos">GTK_POS_TOP</property>
2740                   <property name="scrollable">False</property>
2741                   <property name="enable_popup">False</property>
2742
2743                   <child>
2744                     <widget class="GtkImage" id="HintLowImage">
2745                       <property name="visible">True</property>
2746                       <property name="xalign">0.5</property>
2747                       <property name="yalign">0.5</property>
2748                       <property name="xpad">0</property>
2749                       <property name="ypad">0</property>
2750                     </widget>
2751                     <packing>
2752                       <property name="tab_expand">False</property>
2753                       <property name="tab_fill">True</property>
2754                     </packing>
2755                   </child>
2756
2757                   <child>
2758                     <widget class="GtkLabel" id="label14">
2759                       <property name="visible">True</property>
2760                       <property name="label" translatable="yes">label14</property>
2761                       <property name="use_underline">False</property>
2762                       <property name="use_markup">False</property>
2763                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2764                       <property name="wrap">False</property>
2765                       <property name="selectable">False</property>
2766                       <property name="xalign">0.5</property>
2767                       <property name="yalign">0.5</property>
2768                       <property name="xpad">0</property>
2769                       <property name="ypad">0</property>
2770                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2771                       <property name="width_chars">-1</property>
2772                       <property name="single_line_mode">False</property>
2773                       <property name="angle">0</property>
2774                     </widget>
2775                     <packing>
2776                       <property name="type">tab</property>
2777                     </packing>
2778                   </child>
2779
2780                   <child>
2781                     <widget class="GtkImage" id="HintMediumImage">
2782                       <property name="visible">True</property>
2783                       <property name="xalign">0.5</property>
2784                       <property name="yalign">0.5</property>
2785                       <property name="xpad">0</property>
2786                       <property name="ypad">0</property>
2787                     </widget>
2788                     <packing>
2789                       <property name="tab_expand">False</property>
2790                       <property name="tab_fill">True</property>
2791                     </packing>
2792                   </child>
2793
2794                   <child>
2795                     <widget class="GtkLabel" id="label15">
2796                       <property name="visible">True</property>
2797                       <property name="label" translatable="yes">label15</property>
2798                       <property name="use_underline">False</property>
2799                       <property name="use_markup">False</property>
2800                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2801                       <property name="wrap">False</property>
2802                       <property name="selectable">False</property>
2803                       <property name="xalign">0.5</property>
2804                       <property name="yalign">0.5</property>
2805                       <property name="xpad">0</property>
2806                       <property name="ypad">0</property>
2807                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2808                       <property name="width_chars">-1</property>
2809                       <property name="single_line_mode">False</property>
2810                       <property name="angle">0</property>
2811                     </widget>
2812                     <packing>
2813                       <property name="type">tab</property>
2814                     </packing>
2815                   </child>
2816
2817                   <child>
2818                     <widget class="GtkImage" id="HintHighImage">
2819                       <property name="visible">True</property>
2820                       <property name="xalign">0.5</property>
2821                       <property name="yalign">0.5</property>
2822                       <property name="xpad">0</property>
2823                       <property name="ypad">0</property>
2824                     </widget>
2825                     <packing>
2826                       <property name="tab_expand">False</property>
2827                       <property name="tab_fill">True</property>
2828                     </packing>
2829                   </child>
2830
2831                   <child>
2832                     <widget class="GtkLabel" id="label16">
2833                       <property name="visible">True</property>
2834                       <property name="label" translatable="yes">label16</property>
2835                       <property name="use_underline">False</property>
2836                       <property name="use_markup">False</property>
2837                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2838                       <property name="wrap">False</property>
2839                       <property name="selectable">False</property>
2840                       <property name="xalign">0.5</property>
2841                       <property name="yalign">0.5</property>
2842                       <property name="xpad">0</property>
2843                       <property name="ypad">0</property>
2844                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2845                       <property name="width_chars">-1</property>
2846                       <property name="single_line_mode">False</property>
2847                       <property name="angle">0</property>
2848                     </widget>
2849                     <packing>
2850                       <property name="type">tab</property>
2851                     </packing>
2852                   </child>
2853                 </widget>
2854                 <packing>
2855                   <property name="padding">0</property>
2856                   <property name="expand">False</property>
2857                   <property name="fill">True</property>
2858                 </packing>
2859               </child>
2860             </widget>
2861             <packing>
2862               <property name="padding">0</property>
2863               <property name="expand">False</property>
2864               <property name="fill">False</property>
2865             </packing>
2866           </child>
2867         </widget>
2868       </child>
2869     </widget>
2870   </child>
2871 </widget>
2872
2873 <widget class="GtkDialog" id="TextDialog">
2874   <property name="title" translatable="yes">DUMMY</property>
2875   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2876   <property name="window_position">GTK_WIN_POS_NONE</property>
2877   <property name="modal">False</property>
2878   <property name="resizable">True</property>
2879   <property name="destroy_with_parent">False</property>
2880   <property name="decorated">True</property>
2881   <property name="skip_taskbar_hint">False</property>
2882   <property name="skip_pager_hint">False</property>
2883   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2884   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2885   <property name="focus_on_map">True</property>
2886   <property name="urgency_hint">False</property>
2887   <property name="has_separator">True</property>
2888
2889   <child internal-child="vbox">
2890     <widget class="GtkVBox" id="vbox5">
2891       <property name="visible">True</property>
2892       <property name="homogeneous">False</property>
2893       <property name="spacing">0</property>
2894
2895       <child internal-child="action_area">
2896         <widget class="GtkHButtonBox" id="hbuttonbox1">
2897           <property name="visible">True</property>
2898           <property name="layout_style">GTK_BUTTONBOX_END</property>
2899
2900           <child>
2901             <widget class="GtkButton" id="TextDialogCancelButton">
2902               <property name="visible">True</property>
2903               <property name="can_default">True</property>
2904               <property name="can_focus">True</property>
2905               <property name="label">gtk-cancel</property>
2906               <property name="use_stock">True</property>
2907               <property name="relief">GTK_RELIEF_NORMAL</property>
2908               <property name="focus_on_click">True</property>
2909               <property name="response_id">-6</property>
2910             </widget>
2911           </child>
2912
2913           <child>
2914             <widget class="GtkButton" id="TextDialogOkButton">
2915               <property name="visible">True</property>
2916               <property name="can_default">True</property>
2917               <property name="can_focus">True</property>
2918               <property name="label">gtk-ok</property>
2919               <property name="use_stock">True</property>
2920               <property name="relief">GTK_RELIEF_NORMAL</property>
2921               <property name="focus_on_click">True</property>
2922               <property name="response_id">-5</property>
2923             </widget>
2924           </child>
2925         </widget>
2926         <packing>
2927           <property name="padding">0</property>
2928           <property name="expand">False</property>
2929           <property name="fill">True</property>
2930           <property name="pack_type">GTK_PACK_END</property>
2931         </packing>
2932       </child>
2933
2934       <child>
2935         <widget class="GtkLabel" id="TextDialogLabel">
2936           <property name="visible">True</property>
2937           <property name="label" translatable="yes">DUMMY</property>
2938           <property name="use_underline">False</property>
2939           <property name="use_markup">False</property>
2940           <property name="justify">GTK_JUSTIFY_LEFT</property>
2941           <property name="wrap">False</property>
2942           <property name="selectable">False</property>
2943           <property name="xalign">0.5</property>
2944           <property name="yalign">0.5</property>
2945           <property name="xpad">0</property>
2946           <property name="ypad">0</property>
2947           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2948           <property name="width_chars">-1</property>
2949           <property name="single_line_mode">False</property>
2950           <property name="angle">0</property>
2951         </widget>
2952         <packing>
2953           <property name="padding">0</property>
2954           <property name="expand">False</property>
2955           <property name="fill">False</property>
2956         </packing>
2957       </child>
2958
2959       <child>
2960         <widget class="GtkScrolledWindow" id="scrolledwindow2">
2961           <property name="visible">True</property>
2962           <property name="can_focus">True</property>
2963           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2964           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2965           <property name="shadow_type">GTK_SHADOW_IN</property>
2966           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2967
2968           <child>
2969             <widget class="GtkTextView" id="TextDialogTextView">
2970               <property name="visible">True</property>
2971               <property name="can_focus">True</property>
2972               <property name="editable">True</property>
2973               <property name="overwrite">False</property>
2974               <property name="accepts_tab">True</property>
2975               <property name="justification">GTK_JUSTIFY_LEFT</property>
2976               <property name="wrap_mode">GTK_WRAP_NONE</property>
2977               <property name="cursor_visible">True</property>
2978               <property name="pixels_above_lines">0</property>
2979               <property name="pixels_below_lines">0</property>
2980               <property name="pixels_inside_wrap">0</property>
2981               <property name="left_margin">0</property>
2982               <property name="right_margin">0</property>
2983               <property name="indent">0</property>
2984               <property name="text" translatable="yes"></property>
2985             </widget>
2986           </child>
2987         </widget>
2988         <packing>
2989           <property name="padding">0</property>
2990           <property name="expand">True</property>
2991           <property name="fill">True</property>
2992         </packing>
2993       </child>
2994     </widget>
2995   </child>
2996 </widget>
2997
2998 <widget class="GtkDialog" id="UriChoiceDialog">
2999   <property name="height_request">280</property>
3000   <property name="title" translatable="yes">Uri choice</property>
3001   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3002   <property name="window_position">GTK_WIN_POS_CENTER</property>
3003   <property name="modal">True</property>
3004   <property name="resizable">True</property>
3005   <property name="destroy_with_parent">False</property>
3006   <property name="decorated">True</property>
3007   <property name="skip_taskbar_hint">False</property>
3008   <property name="skip_pager_hint">False</property>
3009   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3010   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3011   <property name="focus_on_map">True</property>
3012   <property name="urgency_hint">False</property>
3013   <property name="has_separator">True</property>
3014
3015   <child internal-child="vbox">
3016     <widget class="GtkVBox" id="dialog-vbox3">
3017       <property name="visible">True</property>
3018       <property name="homogeneous">False</property>
3019       <property name="spacing">4</property>
3020
3021       <child internal-child="action_area">
3022         <widget class="GtkHButtonBox" id="dialog-action_area3">
3023           <property name="visible">True</property>
3024           <property name="layout_style">GTK_BUTTONBOX_END</property>
3025
3026           <child>
3027             <widget class="GtkButton" id="UriChoiceAbortButton">
3028               <property name="visible">True</property>
3029               <property name="can_default">True</property>
3030               <property name="can_focus">True</property>
3031               <property name="label">gtk-cancel</property>
3032               <property name="use_stock">True</property>
3033               <property name="relief">GTK_RELIEF_NORMAL</property>
3034               <property name="focus_on_click">True</property>
3035               <property name="response_id">-6</property>
3036             </widget>
3037           </child>
3038
3039           <child>
3040             <widget class="GtkButton" id="UriChoiceSelectedButton">
3041               <property name="visible">True</property>
3042               <property name="can_default">True</property>
3043               <property name="can_focus">True</property>
3044               <property name="relief">GTK_RELIEF_NORMAL</property>
3045               <property name="focus_on_click">True</property>
3046               <property name="response_id">0</property>
3047
3048               <child>
3049                 <widget class="GtkAlignment" id="alignment2">
3050                   <property name="visible">True</property>
3051                   <property name="xalign">0.5</property>
3052                   <property name="yalign">0.5</property>
3053                   <property name="xscale">0</property>
3054                   <property name="yscale">0</property>
3055                   <property name="top_padding">0</property>
3056                   <property name="bottom_padding">0</property>
3057                   <property name="left_padding">0</property>
3058                   <property name="right_padding">0</property>
3059
3060                   <child>
3061                     <widget class="GtkHBox" id="hbox3">
3062                       <property name="visible">True</property>
3063                       <property name="homogeneous">False</property>
3064                       <property name="spacing">2</property>
3065
3066                       <child>
3067                         <widget class="GtkImage" id="image19">
3068                           <property name="visible">True</property>
3069                           <property name="stock">gtk-index</property>
3070                           <property name="icon_size">4</property>
3071                           <property name="xalign">0.5</property>
3072                           <property name="yalign">0.5</property>
3073                           <property name="xpad">0</property>
3074                           <property name="ypad">0</property>
3075                         </widget>
3076                         <packing>
3077                           <property name="padding">0</property>
3078                           <property name="expand">False</property>
3079                           <property name="fill">False</property>
3080                         </packing>
3081                       </child>
3082
3083                       <child>
3084                         <widget class="GtkLabel" id="label3">
3085                           <property name="visible">True</property>
3086                           <property name="label" translatable="yes">Try _Selected</property>
3087                           <property name="use_underline">True</property>
3088                           <property name="use_markup">False</property>
3089                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3090                           <property name="wrap">False</property>
3091                           <property name="selectable">False</property>
3092                           <property name="xalign">0.5</property>
3093                           <property name="yalign">0.5</property>
3094                           <property name="xpad">0</property>
3095                           <property name="ypad">0</property>
3096                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3097                           <property name="width_chars">-1</property>
3098                           <property name="single_line_mode">False</property>
3099                           <property name="angle">0</property>
3100                         </widget>
3101                         <packing>
3102                           <property name="padding">0</property>
3103                           <property name="expand">False</property>
3104                           <property name="fill">False</property>
3105                         </packing>
3106                       </child>
3107                     </widget>
3108                   </child>
3109                 </widget>
3110               </child>
3111             </widget>
3112           </child>
3113
3114           <child>
3115             <widget class="GtkButton" id="UriChoiceConstantsButton">
3116               <property name="visible">True</property>
3117               <property name="sensitive">False</property>
3118               <property name="can_default">True</property>
3119               <property name="can_focus">True</property>
3120               <property name="label" translatable="yes">Try Constants</property>
3121               <property name="use_underline">True</property>
3122               <property name="relief">GTK_RELIEF_NORMAL</property>
3123               <property name="focus_on_click">True</property>
3124               <property name="response_id">0</property>
3125             </widget>
3126           </child>
3127
3128           <child>
3129             <widget class="GtkButton" id="copyButton">
3130               <property name="can_default">True</property>
3131               <property name="can_focus">True</property>
3132               <property name="label">gtk-copy</property>
3133               <property name="use_stock">True</property>
3134               <property name="relief">GTK_RELIEF_NORMAL</property>
3135               <property name="focus_on_click">True</property>
3136               <property name="response_id">0</property>
3137             </widget>
3138           </child>
3139
3140           <child>
3141             <widget class="GtkButton" id="uriChoiceAutoButton">
3142               <property name="visible">True</property>
3143               <property name="can_default">True</property>
3144               <property name="can_focus">True</property>
3145               <property name="relief">GTK_RELIEF_NORMAL</property>
3146               <property name="focus_on_click">True</property>
3147               <property name="response_id">0</property>
3148
3149               <child>
3150                 <widget class="GtkAlignment" id="alignment5">
3151                   <property name="visible">True</property>
3152                   <property name="xalign">0.5</property>
3153                   <property name="yalign">0.5</property>
3154                   <property name="xscale">0</property>
3155                   <property name="yscale">0</property>
3156                   <property name="top_padding">0</property>
3157                   <property name="bottom_padding">0</property>
3158                   <property name="left_padding">0</property>
3159                   <property name="right_padding">0</property>
3160
3161                   <child>
3162                     <widget class="GtkHBox" id="hbox16">
3163                       <property name="visible">True</property>
3164                       <property name="homogeneous">False</property>
3165                       <property name="spacing">2</property>
3166
3167                       <child>
3168                         <widget class="GtkImage" id="image302">
3169                           <property name="visible">True</property>
3170                           <property name="stock">gtk-ok</property>
3171                           <property name="icon_size">4</property>
3172                           <property name="xalign">0.5</property>
3173                           <property name="yalign">0.5</property>
3174                           <property name="xpad">0</property>
3175                           <property name="ypad">0</property>
3176                         </widget>
3177                         <packing>
3178                           <property name="padding">0</property>
3179                           <property name="expand">False</property>
3180                           <property name="fill">False</property>
3181                         </packing>
3182                       </child>
3183
3184                       <child>
3185                         <widget class="GtkLabel" id="okLabel">
3186                           <property name="visible">True</property>
3187                           <property name="label" translatable="yes">bla bla bla</property>
3188                           <property name="use_underline">True</property>
3189                           <property name="use_markup">False</property>
3190                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3191                           <property name="wrap">False</property>
3192                           <property name="selectable">False</property>
3193                           <property name="xalign">0.5</property>
3194                           <property name="yalign">0.5</property>
3195                           <property name="xpad">0</property>
3196                           <property name="ypad">0</property>
3197                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3198                           <property name="width_chars">-1</property>
3199                           <property name="single_line_mode">False</property>
3200                           <property name="angle">0</property>
3201                         </widget>
3202                         <packing>
3203                           <property name="padding">0</property>
3204                           <property name="expand">False</property>
3205                           <property name="fill">False</property>
3206                         </packing>
3207                       </child>
3208                     </widget>
3209                   </child>
3210                 </widget>
3211               </child>
3212             </widget>
3213           </child>
3214
3215           <child>
3216             <widget class="GtkButton" id="uriChoiceForwardButton">
3217               <property name="visible">True</property>
3218               <property name="can_default">True</property>
3219               <property name="can_focus">True</property>
3220               <property name="label">gtk-go-forward</property>
3221               <property name="use_stock">True</property>
3222               <property name="relief">GTK_RELIEF_NORMAL</property>
3223               <property name="focus_on_click">True</property>
3224               <property name="response_id">0</property>
3225             </widget>
3226           </child>
3227         </widget>
3228         <packing>
3229           <property name="padding">0</property>
3230           <property name="expand">False</property>
3231           <property name="fill">True</property>
3232           <property name="pack_type">GTK_PACK_END</property>
3233         </packing>
3234       </child>
3235
3236       <child>
3237         <widget class="GtkVBox" id="vbox2">
3238           <property name="visible">True</property>
3239           <property name="homogeneous">False</property>
3240           <property name="spacing">3</property>
3241
3242           <child>
3243             <widget class="GtkLabel" id="UriChoiceLabel">
3244               <property name="visible">True</property>
3245               <property name="label" translatable="yes">some informative message here ...</property>
3246               <property name="use_underline">False</property>
3247               <property name="use_markup">False</property>
3248               <property name="justify">GTK_JUSTIFY_LEFT</property>
3249               <property name="wrap">False</property>
3250               <property name="selectable">False</property>
3251               <property name="xalign">0.5</property>
3252               <property name="yalign">0.5</property>
3253               <property name="xpad">0</property>
3254               <property name="ypad">0</property>
3255               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3256               <property name="width_chars">-1</property>
3257               <property name="single_line_mode">False</property>
3258               <property name="angle">0</property>
3259             </widget>
3260             <packing>
3261               <property name="padding">0</property>
3262               <property name="expand">False</property>
3263               <property name="fill">False</property>
3264             </packing>
3265           </child>
3266
3267           <child>
3268             <widget class="GtkScrolledWindow" id="scrolledwindow1">
3269               <property name="width_request">400</property>
3270               <property name="visible">True</property>
3271               <property name="can_focus">True</property>
3272               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3273               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3274               <property name="shadow_type">GTK_SHADOW_NONE</property>
3275               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
3276
3277               <child>
3278                 <widget class="GtkTreeView" id="UriChoiceTreeView">
3279                   <property name="visible">True</property>
3280                   <property name="can_focus">True</property>
3281                   <property name="headers_visible">False</property>
3282                   <property name="rules_hint">False</property>
3283                   <property name="reorderable">False</property>
3284                   <property name="enable_search">True</property>
3285                   <property name="fixed_height_mode">False</property>
3286                   <property name="hover_selection">False</property>
3287                   <property name="hover_expand">False</property>
3288                 </widget>
3289               </child>
3290             </widget>
3291             <packing>
3292               <property name="padding">0</property>
3293               <property name="expand">True</property>
3294               <property name="fill">True</property>
3295             </packing>
3296           </child>
3297
3298           <child>
3299             <widget class="GtkHBox" id="uriEntryHBox">
3300               <property name="visible">True</property>
3301               <property name="homogeneous">False</property>
3302               <property name="spacing">0</property>
3303
3304               <child>
3305                 <widget class="GtkLabel" id="label2">
3306                   <property name="visible">True</property>
3307                   <property name="label" translatable="yes">URI: </property>
3308                   <property name="use_underline">False</property>
3309                   <property name="use_markup">False</property>
3310                   <property name="justify">GTK_JUSTIFY_LEFT</property>
3311                   <property name="wrap">False</property>
3312                   <property name="selectable">False</property>
3313                   <property name="xalign">0.5</property>
3314                   <property name="yalign">0.5</property>
3315                   <property name="xpad">0</property>
3316                   <property name="ypad">0</property>
3317                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3318                   <property name="width_chars">-1</property>
3319                   <property name="single_line_mode">False</property>
3320                   <property name="angle">0</property>
3321                 </widget>
3322                 <packing>
3323                   <property name="padding">0</property>
3324                   <property name="expand">False</property>
3325                   <property name="fill">False</property>
3326                 </packing>
3327               </child>
3328
3329               <child>
3330                 <widget class="GtkEntry" id="entry1">
3331                   <property name="visible">True</property>
3332                   <property name="can_focus">True</property>
3333                   <property name="editable">True</property>
3334                   <property name="visibility">True</property>
3335                   <property name="max_length">0</property>
3336                   <property name="text" translatable="yes"></property>
3337                   <property name="has_frame">True</property>
3338                   <property name="invisible_char">*</property>
3339                   <property name="activates_default">False</property>
3340                 </widget>
3341                 <packing>
3342                   <property name="padding">0</property>
3343                   <property name="expand">True</property>
3344                   <property name="fill">True</property>
3345                 </packing>
3346               </child>
3347             </widget>
3348             <packing>
3349               <property name="padding">0</property>
3350               <property name="expand">False</property>
3351               <property name="fill">True</property>
3352             </packing>
3353           </child>
3354         </widget>
3355         <packing>
3356           <property name="padding">0</property>
3357           <property name="expand">True</property>
3358           <property name="fill">True</property>
3359         </packing>
3360       </child>
3361     </widget>
3362   </child>
3363 </widget>
3364
3365 <widget class="GtkWindow" id="FindReplWin">
3366   <property name="border_width">5</property>
3367   <property name="title" translatable="yes">Find &amp; Replace</property>
3368   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3369   <property name="window_position">GTK_WIN_POS_MOUSE</property>
3370   <property name="modal">False</property>
3371   <property name="resizable">False</property>
3372   <property name="destroy_with_parent">False</property>
3373   <property name="decorated">True</property>
3374   <property name="skip_taskbar_hint">False</property>
3375   <property name="skip_pager_hint">False</property>
3376   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
3377   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3378   <property name="focus_on_map">True</property>
3379   <property name="urgency_hint">False</property>
3380
3381   <child>
3382     <widget class="GtkTable" id="table1">
3383       <property name="visible">True</property>
3384       <property name="n_rows">3</property>
3385       <property name="n_columns">2</property>
3386       <property name="homogeneous">False</property>
3387       <property name="row_spacing">5</property>
3388       <property name="column_spacing">0</property>
3389
3390       <child>
3391         <widget class="GtkLabel" id="label17">
3392           <property name="visible">True</property>
3393           <property name="label" translatable="yes">Find:</property>
3394           <property name="use_underline">False</property>
3395           <property name="use_markup">False</property>
3396           <property name="justify">GTK_JUSTIFY_LEFT</property>
3397           <property name="wrap">False</property>
3398           <property name="selectable">False</property>
3399           <property name="xalign">0</property>
3400           <property name="yalign">0.5</property>
3401           <property name="xpad">0</property>
3402           <property name="ypad">0</property>
3403           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3404           <property name="width_chars">-1</property>
3405           <property name="single_line_mode">False</property>
3406           <property name="angle">0</property>
3407         </widget>
3408         <packing>
3409           <property name="left_attach">0</property>
3410           <property name="right_attach">1</property>
3411           <property name="top_attach">0</property>
3412           <property name="bottom_attach">1</property>
3413           <property name="x_options">fill</property>
3414           <property name="y_options"></property>
3415         </packing>
3416       </child>
3417
3418       <child>
3419         <widget class="GtkLabel" id="label18">
3420           <property name="visible">True</property>
3421           <property name="label" translatable="yes">Replace with: </property>
3422           <property name="use_underline">False</property>
3423           <property name="use_markup">False</property>
3424           <property name="justify">GTK_JUSTIFY_LEFT</property>
3425           <property name="wrap">False</property>
3426           <property name="selectable">False</property>
3427           <property name="xalign">0</property>
3428           <property name="yalign">0.5</property>
3429           <property name="xpad">0</property>
3430           <property name="ypad">0</property>
3431           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3432           <property name="width_chars">-1</property>
3433           <property name="single_line_mode">False</property>
3434           <property name="angle">0</property>
3435         </widget>
3436         <packing>
3437           <property name="left_attach">0</property>
3438           <property name="right_attach">1</property>
3439           <property name="top_attach">1</property>
3440           <property name="bottom_attach">2</property>
3441           <property name="x_options">fill</property>
3442           <property name="y_options"></property>
3443         </packing>
3444       </child>
3445
3446       <child>
3447         <widget class="GtkEntry" id="findEntry">
3448           <property name="visible">True</property>
3449           <property name="can_default">True</property>
3450           <property name="has_default">True</property>
3451           <property name="can_focus">True</property>
3452           <property name="has_focus">True</property>
3453           <property name="editable">True</property>
3454           <property name="visibility">True</property>
3455           <property name="max_length">0</property>
3456           <property name="text" translatable="yes"></property>
3457           <property name="has_frame">True</property>
3458           <property name="invisible_char">*</property>
3459           <property name="activates_default">False</property>
3460         </widget>
3461         <packing>
3462           <property name="left_attach">1</property>
3463           <property name="right_attach">2</property>
3464           <property name="top_attach">0</property>
3465           <property name="bottom_attach">1</property>
3466           <property name="y_options"></property>
3467         </packing>
3468       </child>
3469
3470       <child>
3471         <widget class="GtkEntry" id="replaceEntry">
3472           <property name="visible">True</property>
3473           <property name="can_focus">True</property>
3474           <property name="editable">True</property>
3475           <property name="visibility">True</property>
3476           <property name="max_length">0</property>
3477           <property name="text" translatable="yes"></property>
3478           <property name="has_frame">True</property>
3479           <property name="invisible_char">*</property>
3480           <property name="activates_default">False</property>
3481         </widget>
3482         <packing>
3483           <property name="left_attach">1</property>
3484           <property name="right_attach">2</property>
3485           <property name="top_attach">1</property>
3486           <property name="bottom_attach">2</property>
3487           <property name="y_options"></property>
3488         </packing>
3489       </child>
3490
3491       <child>
3492         <widget class="GtkHBox" id="hbox19">
3493           <property name="visible">True</property>
3494           <property name="homogeneous">False</property>
3495           <property name="spacing">5</property>
3496
3497           <child>
3498             <widget class="GtkVBox" id="vbox9">
3499               <property name="visible">True</property>
3500               <property name="homogeneous">False</property>
3501               <property name="spacing">0</property>
3502
3503               <child>
3504                 <placeholder/>
3505               </child>
3506
3507               <child>
3508                 <placeholder/>
3509               </child>
3510             </widget>
3511             <packing>
3512               <property name="padding">0</property>
3513               <property name="expand">True</property>
3514               <property name="fill">True</property>
3515             </packing>
3516           </child>
3517
3518           <child>
3519             <widget class="GtkButton" id="findButton">
3520               <property name="visible">True</property>
3521               <property name="can_focus">True</property>
3522               <property name="label">gtk-find</property>
3523               <property name="use_stock">True</property>
3524               <property name="relief">GTK_RELIEF_NORMAL</property>
3525               <property name="focus_on_click">True</property>
3526             </widget>
3527             <packing>
3528               <property name="padding">0</property>
3529               <property name="expand">False</property>
3530               <property name="fill">False</property>
3531             </packing>
3532           </child>
3533
3534           <child>
3535             <widget class="GtkButton" id="findReplButton">
3536               <property name="visible">True</property>
3537               <property name="can_focus">True</property>
3538               <property name="relief">GTK_RELIEF_NORMAL</property>
3539               <property name="focus_on_click">True</property>
3540
3541               <child>
3542                 <widget class="GtkAlignment" id="alignment13">
3543                   <property name="visible">True</property>
3544                   <property name="xalign">0.5</property>
3545                   <property name="yalign">0.5</property>
3546                   <property name="xscale">0</property>
3547                   <property name="yscale">0</property>
3548                   <property name="top_padding">0</property>
3549                   <property name="bottom_padding">0</property>
3550                   <property name="left_padding">0</property>
3551                   <property name="right_padding">0</property>
3552
3553                   <child>
3554                     <widget class="GtkHBox" id="hbox20">
3555                       <property name="visible">True</property>
3556                       <property name="homogeneous">False</property>
3557                       <property name="spacing">2</property>
3558
3559                       <child>
3560                         <widget class="GtkImage" id="image357">
3561                           <property name="visible">True</property>
3562                           <property name="stock">gtk-find-and-replace</property>
3563                           <property name="icon_size">4</property>
3564                           <property name="xalign">0.5</property>
3565                           <property name="yalign">0.5</property>
3566                           <property name="xpad">0</property>
3567                           <property name="ypad">0</property>
3568                         </widget>
3569                         <packing>
3570                           <property name="padding">0</property>
3571                           <property name="expand">False</property>
3572                           <property name="fill">False</property>
3573                         </packing>
3574                       </child>
3575
3576                       <child>
3577                         <widget class="GtkLabel" id="label19">
3578                           <property name="visible">True</property>
3579                           <property name="label">_Replace</property>
3580                           <property name="use_underline">True</property>
3581                           <property name="use_markup">False</property>
3582                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3583                           <property name="wrap">False</property>
3584                           <property name="selectable">False</property>
3585                           <property name="xalign">0.5</property>
3586                           <property name="yalign">0.5</property>
3587                           <property name="xpad">0</property>
3588                           <property name="ypad">0</property>
3589                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3590                           <property name="width_chars">-1</property>
3591                           <property name="single_line_mode">False</property>
3592                           <property name="angle">0</property>
3593                         </widget>
3594                         <packing>
3595                           <property name="padding">0</property>
3596                           <property name="expand">False</property>
3597                           <property name="fill">False</property>
3598                         </packing>
3599                       </child>
3600                     </widget>
3601                   </child>
3602                 </widget>
3603               </child>
3604             </widget>
3605             <packing>
3606               <property name="padding">0</property>
3607               <property name="expand">False</property>
3608               <property name="fill">False</property>
3609             </packing>
3610           </child>
3611
3612           <child>
3613             <widget class="GtkButton" id="cancelButton">
3614               <property name="visible">True</property>
3615               <property name="can_focus">True</property>
3616               <property name="label">gtk-cancel</property>
3617               <property name="use_stock">True</property>
3618               <property name="relief">GTK_RELIEF_NORMAL</property>
3619               <property name="focus_on_click">True</property>
3620             </widget>
3621             <packing>
3622               <property name="padding">0</property>
3623               <property name="expand">False</property>
3624               <property name="fill">False</property>
3625             </packing>
3626           </child>
3627         </widget>
3628         <packing>
3629           <property name="left_attach">0</property>
3630           <property name="right_attach">2</property>
3631           <property name="top_attach">2</property>
3632           <property name="bottom_attach">3</property>
3633           <property name="y_padding">5</property>
3634         </packing>
3635       </child>
3636     </widget>
3637   </child>
3638 </widget>
3639
3640 <widget class="GtkWindow" id="NewDevelWin">
3641   <property name="title" translatable="yes">Create development</property>
3642   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3643   <property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property>
3644   <property name="modal">True</property>
3645   <property name="resizable">False</property>
3646   <property name="destroy_with_parent">False</property>
3647   <property name="decorated">True</property>
3648   <property name="skip_taskbar_hint">False</property>
3649   <property name="skip_pager_hint">False</property>
3650   <property name="type_hint">GDK_WINDOW_TYPE_HINT_UTILITY</property>
3651   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3652   <property name="focus_on_map">True</property>
3653   <property name="urgency_hint">False</property>
3654
3655   <child>
3656     <widget class="GtkVBox" id="vbox10">
3657       <property name="visible">True</property>
3658       <property name="homogeneous">False</property>
3659       <property name="spacing">0</property>
3660
3661       <child>
3662         <widget class="GtkTable" id="table2">
3663           <property name="border_width">3</property>
3664           <property name="visible">True</property>
3665           <property name="n_rows">2</property>
3666           <property name="n_columns">3</property>
3667           <property name="homogeneous">False</property>
3668           <property name="row_spacing">5</property>
3669           <property name="column_spacing">5</property>
3670
3671           <child>
3672             <widget class="GtkLabel" id="label20">
3673               <property name="visible">True</property>
3674               <property name="label" translatable="yes">Name</property>
3675               <property name="use_underline">False</property>
3676               <property name="use_markup">False</property>
3677               <property name="justify">GTK_JUSTIFY_LEFT</property>
3678               <property name="wrap">False</property>
3679               <property name="selectable">False</property>
3680               <property name="xalign">0</property>
3681               <property name="yalign">0.5</property>
3682               <property name="xpad">0</property>
3683               <property name="ypad">0</property>
3684               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3685               <property name="width_chars">-1</property>
3686               <property name="single_line_mode">False</property>
3687               <property name="angle">0</property>
3688             </widget>
3689             <packing>
3690               <property name="left_attach">0</property>
3691               <property name="right_attach">1</property>
3692               <property name="top_attach">0</property>
3693               <property name="bottom_attach">1</property>
3694               <property name="x_options">fill</property>
3695               <property name="y_options"></property>
3696             </packing>
3697           </child>
3698
3699           <child>
3700             <widget class="GtkLabel" id="label21">
3701               <property name="visible">True</property>
3702               <property name="label" translatable="yes">Root directory</property>
3703               <property name="use_underline">False</property>
3704               <property name="use_markup">False</property>
3705               <property name="justify">GTK_JUSTIFY_LEFT</property>
3706               <property name="wrap">False</property>
3707               <property name="selectable">False</property>
3708               <property name="xalign">0</property>
3709               <property name="yalign">0.5</property>
3710               <property name="xpad">0</property>
3711               <property name="ypad">0</property>
3712               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
3713               <property name="width_chars">-1</property>
3714               <property name="single_line_mode">False</property>
3715               <property name="angle">0</property>
3716             </widget>
3717             <packing>
3718               <property name="left_attach">0</property>
3719               <property name="right_attach">1</property>
3720               <property name="top_attach">1</property>
3721               <property name="bottom_attach">2</property>
3722               <property name="x_options">fill</property>
3723               <property name="y_options"></property>
3724             </packing>
3725           </child>
3726
3727           <child>
3728             <widget class="GtkEntry" id="nameEntry">
3729               <property name="visible">True</property>
3730               <property name="can_focus">True</property>
3731               <property name="editable">True</property>
3732               <property name="visibility">True</property>
3733               <property name="max_length">0</property>
3734               <property name="text" translatable="yes"></property>
3735               <property name="has_frame">True</property>
3736               <property name="invisible_char">*</property>
3737               <property name="activates_default">False</property>
3738             </widget>
3739             <packing>
3740               <property name="left_attach">1</property>
3741               <property name="right_attach">2</property>
3742               <property name="top_attach">0</property>
3743               <property name="bottom_attach">1</property>
3744               <property name="y_options"></property>
3745             </packing>
3746           </child>
3747
3748           <child>
3749             <widget class="GtkEntry" id="rootEntry">
3750               <property name="visible">True</property>
3751               <property name="can_focus">True</property>
3752               <property name="editable">True</property>
3753               <property name="visibility">True</property>
3754               <property name="max_length">0</property>
3755               <property name="text" translatable="yes"></property>
3756               <property name="has_frame">True</property>
3757               <property name="invisible_char">*</property>
3758               <property name="activates_default">False</property>
3759             </widget>
3760             <packing>
3761               <property name="left_attach">1</property>
3762               <property name="right_attach">2</property>
3763               <property name="top_attach">1</property>
3764               <property name="bottom_attach">2</property>
3765               <property name="y_options"></property>
3766             </packing>
3767           </child>
3768
3769           <child>
3770             <widget class="GtkButton" id="chooseRootButton">
3771               <property name="visible">True</property>
3772               <property name="can_focus">True</property>
3773               <property name="label" translatable="yes">...</property>
3774               <property name="use_underline">True</property>
3775               <property name="relief">GTK_RELIEF_NORMAL</property>
3776               <property name="focus_on_click">True</property>
3777             </widget>
3778             <packing>
3779               <property name="left_attach">2</property>
3780               <property name="right_attach">3</property>
3781               <property name="top_attach">1</property>
3782               <property name="bottom_attach">2</property>
3783               <property name="x_options">fill</property>
3784               <property name="y_options"></property>
3785             </packing>
3786           </child>
3787         </widget>
3788         <packing>
3789           <property name="padding">0</property>
3790           <property name="expand">False</property>
3791           <property name="fill">True</property>
3792         </packing>
3793       </child>
3794
3795       <child>
3796         <widget class="GtkHSeparator" id="hseparator1">
3797           <property name="visible">True</property>
3798         </widget>
3799         <packing>
3800           <property name="padding">2</property>
3801           <property name="expand">False</property>
3802           <property name="fill">True</property>
3803         </packing>
3804       </child>
3805
3806       <child>
3807         <widget class="GtkHBox" id="hbox21">
3808           <property name="border_width">3</property>
3809           <property name="visible">True</property>
3810           <property name="homogeneous">False</property>
3811           <property name="spacing">5</property>
3812
3813           <child>
3814             <widget class="GtkVBox" id="vbox11">
3815               <property name="visible">True</property>
3816               <property name="homogeneous">False</property>
3817               <property name="spacing">0</property>
3818
3819               <child>
3820                 <placeholder/>
3821               </child>
3822
3823               <child>
3824                 <placeholder/>
3825               </child>
3826             </widget>
3827             <packing>
3828               <property name="padding">0</property>
3829               <property name="expand">True</property>
3830               <property name="fill">True</property>
3831             </packing>
3832           </child>
3833
3834           <child>
3835             <widget class="GtkButton" id="addButton">
3836               <property name="visible">True</property>
3837               <property name="can_focus">True</property>
3838               <property name="label">gtk-add</property>
3839               <property name="use_stock">True</property>
3840               <property name="relief">GTK_RELIEF_NORMAL</property>
3841               <property name="focus_on_click">True</property>
3842             </widget>
3843             <packing>
3844               <property name="padding">0</property>
3845               <property name="expand">False</property>
3846               <property name="fill">False</property>
3847             </packing>
3848           </child>
3849
3850           <child>
3851             <widget class="GtkButton" id="cancelButton">
3852               <property name="visible">True</property>
3853               <property name="can_focus">True</property>
3854               <property name="label">gtk-cancel</property>
3855               <property name="use_stock">True</property>
3856               <property name="relief">GTK_RELIEF_NORMAL</property>
3857               <property name="focus_on_click">True</property>
3858             </widget>
3859             <packing>
3860               <property name="padding">0</property>
3861               <property name="expand">False</property>
3862               <property name="fill">False</property>
3863             </packing>
3864           </child>
3865         </widget>
3866         <packing>
3867           <property name="padding">0</property>
3868           <property name="expand">False</property>
3869           <property name="fill">True</property>
3870         </packing>
3871       </child>
3872     </widget>
3873   </child>
3874 </widget>
3875
3876 <widget class="GtkWindow" id="DevelListWin">
3877   <property name="title" translatable="yes">Developments</property>
3878   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3879   <property name="window_position">GTK_WIN_POS_CENTER</property>
3880   <property name="modal">False</property>
3881   <property name="resizable">True</property>
3882   <property name="destroy_with_parent">False</property>
3883   <property name="decorated">True</property>
3884   <property name="skip_taskbar_hint">False</property>
3885   <property name="skip_pager_hint">False</property>
3886   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
3887   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3888   <property name="focus_on_map">True</property>
3889   <property name="urgency_hint">False</property>
3890
3891   <child>
3892     <widget class="GtkVBox" id="vbox12">
3893       <property name="visible">True</property>
3894       <property name="homogeneous">False</property>
3895       <property name="spacing">0</property>
3896
3897       <child>
3898         <widget class="GtkScrolledWindow" id="scrolledwindow10">
3899           <property name="visible">True</property>
3900           <property name="can_focus">True</property>
3901           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3902           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3903           <property name="shadow_type">GTK_SHADOW_IN</property>
3904           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
3905
3906           <child>
3907             <widget class="GtkTreeView" id="developmentsTreeview">
3908               <property name="visible">True</property>
3909               <property name="can_focus">True</property>
3910               <property name="headers_visible">False</property>
3911               <property name="rules_hint">False</property>
3912               <property name="reorderable">False</property>
3913               <property name="enable_search">True</property>
3914               <property name="fixed_height_mode">False</property>
3915               <property name="hover_selection">False</property>
3916               <property name="hover_expand">False</property>
3917             </widget>
3918           </child>
3919         </widget>
3920         <packing>
3921           <property name="padding">0</property>
3922           <property name="expand">True</property>
3923           <property name="fill">True</property>
3924         </packing>
3925       </child>
3926
3927       <child>
3928         <widget class="GtkHSeparator" id="hseparator2">
3929           <property name="visible">True</property>
3930         </widget>
3931         <packing>
3932           <property name="padding">2</property>
3933           <property name="expand">False</property>
3934           <property name="fill">True</property>
3935         </packing>
3936       </child>
3937
3938       <child>
3939         <widget class="GtkHBox" id="buttonsHbox">
3940           <property name="border_width">3</property>
3941           <property name="visible">True</property>
3942           <property name="homogeneous">False</property>
3943           <property name="spacing">4</property>
3944
3945           <child>
3946             <widget class="GtkVBox" id="vbox13">
3947               <property name="visible">True</property>
3948               <property name="homogeneous">False</property>
3949               <property name="spacing">0</property>
3950
3951               <child>
3952                 <placeholder/>
3953               </child>
3954
3955               <child>
3956                 <placeholder/>
3957               </child>
3958             </widget>
3959             <packing>
3960               <property name="padding">0</property>
3961               <property name="expand">True</property>
3962               <property name="fill">True</property>
3963             </packing>
3964           </child>
3965
3966           <child>
3967             <widget class="GtkButton" id="newButton">
3968               <property name="visible">True</property>
3969               <property name="can_focus">True</property>
3970               <property name="label">gtk-new</property>
3971               <property name="use_stock">True</property>
3972               <property name="relief">GTK_RELIEF_NORMAL</property>
3973               <property name="focus_on_click">True</property>
3974             </widget>
3975             <packing>
3976               <property name="padding">0</property>
3977               <property name="expand">False</property>
3978               <property name="fill">False</property>
3979             </packing>
3980           </child>
3981
3982           <child>
3983             <widget class="GtkButton" id="deleteButton">
3984               <property name="visible">True</property>
3985               <property name="can_focus">True</property>
3986               <property name="label">gtk-delete</property>
3987               <property name="use_stock">True</property>
3988               <property name="relief">GTK_RELIEF_NORMAL</property>
3989               <property name="focus_on_click">True</property>
3990             </widget>
3991             <packing>
3992               <property name="padding">0</property>
3993               <property name="expand">False</property>
3994               <property name="fill">False</property>
3995             </packing>
3996           </child>
3997
3998           <child>
3999             <widget class="GtkButton" id="buildButton">
4000               <property name="visible">True</property>
4001               <property name="can_focus">True</property>
4002               <property name="relief">GTK_RELIEF_NORMAL</property>
4003               <property name="focus_on_click">True</property>
4004
4005               <child>
4006                 <widget class="GtkAlignment" id="alignment14">
4007                   <property name="visible">True</property>
4008                   <property name="xalign">0.5</property>
4009                   <property name="yalign">0.5</property>
4010                   <property name="xscale">0</property>
4011                   <property name="yscale">0</property>
4012                   <property name="top_padding">0</property>
4013                   <property name="bottom_padding">0</property>
4014                   <property name="left_padding">0</property>
4015                   <property name="right_padding">0</property>
4016
4017                   <child>
4018                     <widget class="GtkHBox" id="hbox23">
4019                       <property name="visible">True</property>
4020                       <property name="homogeneous">False</property>
4021                       <property name="spacing">2</property>
4022
4023                       <child>
4024                         <widget class="GtkImage" id="image358">
4025                           <property name="visible">True</property>
4026                           <property name="stock">gtk-execute</property>
4027                           <property name="icon_size">4</property>
4028                           <property name="xalign">0.5</property>
4029                           <property name="yalign">0.5</property>
4030                           <property name="xpad">0</property>
4031                           <property name="ypad">0</property>
4032                         </widget>
4033                         <packing>
4034                           <property name="padding">0</property>
4035                           <property name="expand">False</property>
4036                           <property name="fill">False</property>
4037                         </packing>
4038                       </child>
4039
4040                       <child>
4041                         <widget class="GtkLabel" id="label22">
4042                           <property name="visible">True</property>
4043                           <property name="label" translatable="yes">_Build</property>
4044                           <property name="use_underline">True</property>
4045                           <property name="use_markup">False</property>
4046                           <property name="justify">GTK_JUSTIFY_LEFT</property>
4047                           <property name="wrap">False</property>
4048                           <property name="selectable">False</property>
4049                           <property name="xalign">0.5</property>
4050                           <property name="yalign">0.5</property>
4051                           <property name="xpad">0</property>
4052                           <property name="ypad">0</property>
4053                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4054                           <property name="width_chars">-1</property>
4055                           <property name="single_line_mode">False</property>
4056                           <property name="angle">0</property>
4057                         </widget>
4058                         <packing>
4059                           <property name="padding">0</property>
4060                           <property name="expand">False</property>
4061                           <property name="fill">False</property>
4062                         </packing>
4063                       </child>
4064                     </widget>
4065                   </child>
4066                 </widget>
4067               </child>
4068             </widget>
4069             <packing>
4070               <property name="padding">0</property>
4071               <property name="expand">False</property>
4072               <property name="fill">False</property>
4073             </packing>
4074           </child>
4075
4076           <child>
4077             <widget class="GtkButton" id="cleanButton">
4078               <property name="visible">True</property>
4079               <property name="can_focus">True</property>
4080               <property name="relief">GTK_RELIEF_NORMAL</property>
4081               <property name="focus_on_click">True</property>
4082
4083               <child>
4084                 <widget class="GtkAlignment" id="alignment15">
4085                   <property name="visible">True</property>
4086                   <property name="xalign">0.5</property>
4087                   <property name="yalign">0.5</property>
4088                   <property name="xscale">0</property>
4089                   <property name="yscale">0</property>
4090                   <property name="top_padding">0</property>
4091                   <property name="bottom_padding">0</property>
4092                   <property name="left_padding">0</property>
4093                   <property name="right_padding">0</property>
4094
4095                   <child>
4096                     <widget class="GtkHBox" id="hbox24">
4097                       <property name="visible">True</property>
4098                       <property name="homogeneous">False</property>
4099                       <property name="spacing">2</property>
4100
4101                       <child>
4102                         <widget class="GtkImage" id="image359">
4103                           <property name="visible">True</property>
4104                           <property name="stock">gtk-clear</property>
4105                           <property name="icon_size">4</property>
4106                           <property name="xalign">0.5</property>
4107                           <property name="yalign">0.5</property>
4108                           <property name="xpad">0</property>
4109                           <property name="ypad">0</property>
4110                         </widget>
4111                         <packing>
4112                           <property name="padding">0</property>
4113                           <property name="expand">False</property>
4114                           <property name="fill">False</property>
4115                         </packing>
4116                       </child>
4117
4118                       <child>
4119                         <widget class="GtkLabel" id="label23">
4120                           <property name="visible">True</property>
4121                           <property name="label" translatable="yes">C_lean</property>
4122                           <property name="use_underline">True</property>
4123                           <property name="use_markup">False</property>
4124                           <property name="justify">GTK_JUSTIFY_LEFT</property>
4125                           <property name="wrap">False</property>
4126                           <property name="selectable">False</property>
4127                           <property name="xalign">0.5</property>
4128                           <property name="yalign">0.5</property>
4129                           <property name="xpad">0</property>
4130                           <property name="ypad">0</property>
4131                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4132                           <property name="width_chars">-1</property>
4133                           <property name="single_line_mode">False</property>
4134                           <property name="angle">0</property>
4135                         </widget>
4136                         <packing>
4137                           <property name="padding">0</property>
4138                           <property name="expand">False</property>
4139                           <property name="fill">False</property>
4140                         </packing>
4141                       </child>
4142                     </widget>
4143                   </child>
4144                 </widget>
4145               </child>
4146             </widget>
4147             <packing>
4148               <property name="padding">0</property>
4149               <property name="expand">False</property>
4150               <property name="fill">False</property>
4151             </packing>
4152           </child>
4153
4154           <child>
4155             <widget class="GtkButton" id="publishButton">
4156               <property name="visible">True</property>
4157               <property name="can_focus">True</property>
4158               <property name="relief">GTK_RELIEF_NORMAL</property>
4159               <property name="focus_on_click">True</property>
4160
4161               <child>
4162                 <widget class="GtkAlignment" id="alignment16">
4163                   <property name="visible">True</property>
4164                   <property name="xalign">0.5</property>
4165                   <property name="yalign">0.5</property>
4166                   <property name="xscale">0</property>
4167                   <property name="yscale">0</property>
4168                   <property name="top_padding">0</property>
4169                   <property name="bottom_padding">0</property>
4170                   <property name="left_padding">0</property>
4171                   <property name="right_padding">0</property>
4172
4173                   <child>
4174                     <widget class="GtkHBox" id="hbox25">
4175                       <property name="visible">True</property>
4176                       <property name="homogeneous">False</property>
4177                       <property name="spacing">2</property>
4178
4179                       <child>
4180                         <widget class="GtkImage" id="image907">
4181                           <property name="visible">True</property>
4182                           <property name="stock">gtk-convert</property>
4183                           <property name="icon_size">4</property>
4184                           <property name="xalign">0.5</property>
4185                           <property name="yalign">0.5</property>
4186                           <property name="xpad">0</property>
4187                           <property name="ypad">0</property>
4188                         </widget>
4189                         <packing>
4190                           <property name="padding">0</property>
4191                           <property name="expand">False</property>
4192                           <property name="fill">False</property>
4193                         </packing>
4194                       </child>
4195
4196                       <child>
4197                         <widget class="GtkLabel" id="label24">
4198                           <property name="visible">True</property>
4199                           <property name="label" translatable="yes">Publish</property>
4200                           <property name="use_underline">True</property>
4201                           <property name="use_markup">False</property>
4202                           <property name="justify">GTK_JUSTIFY_LEFT</property>
4203                           <property name="wrap">False</property>
4204                           <property name="selectable">False</property>
4205                           <property name="xalign">0.5</property>
4206                           <property name="yalign">0.5</property>
4207                           <property name="xpad">0</property>
4208                           <property name="ypad">0</property>
4209                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
4210                           <property name="width_chars">-1</property>
4211                           <property name="single_line_mode">False</property>
4212                           <property name="angle">0</property>
4213                         </widget>
4214                         <packing>
4215                           <property name="padding">0</property>
4216                           <property name="expand">False</property>
4217                           <property name="fill">False</property>
4218                         </packing>
4219                       </child>
4220                     </widget>
4221                   </child>
4222                 </widget>
4223               </child>
4224             </widget>
4225             <packing>
4226               <property name="padding">0</property>
4227               <property name="expand">False</property>
4228               <property name="fill">False</property>
4229             </packing>
4230           </child>
4231
4232           <child>
4233             <widget class="GtkButton" id="closeButton">
4234               <property name="visible">True</property>
4235               <property name="can_focus">True</property>
4236               <property name="label">gtk-close</property>
4237               <property name="use_stock">True</property>
4238               <property name="relief">GTK_RELIEF_NORMAL</property>
4239               <property name="focus_on_click">True</property>
4240             </widget>
4241             <packing>
4242               <property name="padding">0</property>
4243               <property name="expand">False</property>
4244               <property name="fill">False</property>
4245             </packing>
4246           </child>
4247         </widget>
4248         <packing>
4249           <property name="padding">0</property>
4250           <property name="expand">False</property>
4251           <property name="fill">True</property>
4252         </packing>
4253       </child>
4254     </widget>
4255   </child>
4256 </widget>
4257
4258 </glade-interface>