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