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="image402">
 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="image403">
 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="image404">
 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="image405">
 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="image406">
 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="image407">
 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="undoMenuItem">
1022                               <property name="visible">True</property>
1023                               <property name="sensitive">False</property>
1024                               <property name="label" translatable="yes">Undo</property>
1025                               <property name="use_underline">True</property>
1026                               <accelerator key="z" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1027
1028                               <child internal-child="image">
1029                                 <widget class="GtkImage" id="image408">
1030                                   <property name="visible">True</property>
1031                                   <property name="stock">gtk-undo</property>
1032                                   <property name="icon_size">1</property>
1033                                   <property name="xalign">0.5</property>
1034                                   <property name="yalign">0.5</property>
1035                                   <property name="xpad">0</property>
1036                                   <property name="ypad">0</property>
1037                                 </widget>
1038                               </child>
1039                             </widget>
1040                           </child>
1041
1042                           <child>
1043                             <widget class="GtkImageMenuItem" id="redoMenuItem">
1044                               <property name="visible">True</property>
1045                               <property name="sensitive">False</property>
1046                               <property name="label" translatable="yes">Redo</property>
1047                               <property name="use_underline">True</property>
1048                               <accelerator key="z" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
1049
1050                               <child internal-child="image">
1051                                 <widget class="GtkImage" id="image409">
1052                                   <property name="visible">True</property>
1053                                   <property name="stock">gtk-redo</property>
1054                                   <property name="icon_size">1</property>
1055                                   <property name="xalign">0.5</property>
1056                                   <property name="yalign">0.5</property>
1057                                   <property name="xpad">0</property>
1058                                   <property name="ypad">0</property>
1059                                 </widget>
1060                               </child>
1061                             </widget>
1062                           </child>
1063
1064                           <child>
1065                             <widget class="GtkSeparatorMenuItem" id="separator3">
1066                               <property name="visible">True</property>
1067                             </widget>
1068                           </child>
1069
1070                           <child>
1071                             <widget class="GtkImageMenuItem" id="cutMenuItem">
1072                               <property name="visible">True</property>
1073                               <property name="label" translatable="yes">Cut</property>
1074                               <property name="use_underline">True</property>
1075                               <accelerator key="x" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1076
1077                               <child internal-child="image">
1078                                 <widget class="GtkImage" id="image410">
1079                                   <property name="visible">True</property>
1080                                   <property name="stock">gtk-cut</property>
1081                                   <property name="icon_size">1</property>
1082                                   <property name="xalign">0.5</property>
1083                                   <property name="yalign">0.5</property>
1084                                   <property name="xpad">0</property>
1085                                   <property name="ypad">0</property>
1086                                 </widget>
1087                               </child>
1088                             </widget>
1089                           </child>
1090
1091                           <child>
1092                             <widget class="GtkImageMenuItem" id="copyMenuItem">
1093                               <property name="visible">True</property>
1094                               <property name="label" translatable="yes">Copy</property>
1095                               <property name="use_underline">True</property>
1096                               <accelerator key="c" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1097
1098                               <child internal-child="image">
1099                                 <widget class="GtkImage" id="image411">
1100                                   <property name="visible">True</property>
1101                                   <property name="stock">gtk-copy</property>
1102                                   <property name="icon_size">1</property>
1103                                   <property name="xalign">0.5</property>
1104                                   <property name="yalign">0.5</property>
1105                                   <property name="xpad">0</property>
1106                                   <property name="ypad">0</property>
1107                                 </widget>
1108                               </child>
1109                             </widget>
1110                           </child>
1111
1112                           <child>
1113                             <widget class="GtkImageMenuItem" id="pasteMenuItem">
1114                               <property name="visible">True</property>
1115                               <property name="label" translatable="yes">Paste</property>
1116                               <property name="use_underline">True</property>
1117                               <accelerator key="v" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1118
1119                               <child internal-child="image">
1120                                 <widget class="GtkImage" id="image412">
1121                                   <property name="visible">True</property>
1122                                   <property name="stock">gtk-paste</property>
1123                                   <property name="icon_size">1</property>
1124                                   <property name="xalign">0.5</property>
1125                                   <property name="yalign">0.5</property>
1126                                   <property name="xpad">0</property>
1127                                   <property name="ypad">0</property>
1128                                 </widget>
1129                               </child>
1130                             </widget>
1131                           </child>
1132
1133                           <child>
1134                             <widget class="GtkImageMenuItem" id="deleteMenuItem">
1135                               <property name="visible">True</property>
1136                               <property name="label" translatable="yes">Delete</property>
1137                               <property name="use_underline">True</property>
1138
1139                               <child internal-child="image">
1140                                 <widget class="GtkImage" id="image413">
1141                                   <property name="visible">True</property>
1142                                   <property name="stock">gtk-delete</property>
1143                                   <property name="icon_size">1</property>
1144                                   <property name="xalign">0.5</property>
1145                                   <property name="yalign">0.5</property>
1146                                   <property name="xpad">0</property>
1147                                   <property name="ypad">0</property>
1148                                 </widget>
1149                               </child>
1150                             </widget>
1151                           </child>
1152
1153                           <child>
1154                             <widget class="GtkSeparatorMenuItem" id="separator4">
1155                               <property name="visible">True</property>
1156                             </widget>
1157                           </child>
1158
1159                           <child>
1160                             <widget class="GtkImageMenuItem" id="findReplMenuItem">
1161                               <property name="visible">True</property>
1162                               <property name="label" translatable="yes">Find &amp; Replace</property>
1163                               <property name="use_underline">True</property>
1164                               <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1165
1166                               <child internal-child="image">
1167                                 <widget class="GtkImage" id="image414">
1168                                   <property name="visible">True</property>
1169                                   <property name="stock">gtk-find-and-replace</property>
1170                                   <property name="icon_size">1</property>
1171                                   <property name="xalign">0.5</property>
1172                                   <property name="yalign">0.5</property>
1173                                   <property name="xpad">0</property>
1174                                   <property name="ypad">0</property>
1175                                 </widget>
1176                               </child>
1177                             </widget>
1178                           </child>
1179                         </widget>
1180                       </child>
1181                     </widget>
1182                   </child>
1183
1184                   <child>
1185                     <widget class="GtkMenuItem" id="viewMenu">
1186                       <property name="visible">True</property>
1187                       <property name="label" translatable="yes">_View</property>
1188                       <property name="use_underline">True</property>
1189
1190                       <child>
1191                         <widget class="GtkMenu" id="viewMenu_menu">
1192
1193                           <child>
1194                             <widget class="GtkCheckMenuItem" id="tacticsBarMenuItem">
1195                               <property name="visible">True</property>
1196                               <property name="tooltip" translatable="yes">Show/Hide the tactics buttons bar</property>
1197                               <property name="label" translatable="yes">View Tactics Bar</property>
1198                               <property name="use_underline">True</property>
1199                               <property name="active">True</property>
1200                               <accelerator key="F2" modifiers="0" signal="activate"/>
1201                             </widget>
1202                           </child>
1203
1204                           <child>
1205                             <widget class="GtkMenuItem" id="newCicBrowserMenuItem">
1206                               <property name="visible">True</property>
1207                               <property name="label" translatable="yes">New Cic Browser</property>
1208                               <property name="use_underline">True</property>
1209                               <accelerator key="F3" modifiers="0" signal="activate"/>
1210                             </widget>
1211                           </child>
1212
1213                           <child>
1214                             <widget class="GtkSeparatorMenuItem" id="separator5">
1215                               <property name="visible">True</property>
1216                             </widget>
1217                           </child>
1218
1219                           <child>
1220                             <widget class="GtkCheckMenuItem" id="fullscreenMenuItem">
1221                               <property name="visible">True</property>
1222                               <property name="label" translatable="yes">Fullscreen</property>
1223                               <property name="use_underline">True</property>
1224                               <property name="active">False</property>
1225                               <accelerator key="F11" modifiers="0" signal="activate"/>
1226                             </widget>
1227                           </child>
1228
1229                           <child>
1230                             <widget class="GtkSeparatorMenuItem" id="separator1">
1231                               <property name="visible">True</property>
1232                             </widget>
1233                           </child>
1234
1235                           <child>
1236                             <widget class="GtkMenuItem" id="increaseFontSizeMenuItem">
1237                               <property name="visible">True</property>
1238                               <property name="label" translatable="yes">Increase Font Size</property>
1239                               <property name="use_underline">True</property>
1240                               <signal name="activate" handler="on_increaseFontSizeMenuItem_activate" last_modification_time="Wed, 15 Jun 2005 15:06:29 GMT"/>
1241                               <accelerator key="plus" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1242                             </widget>
1243                           </child>
1244
1245                           <child>
1246                             <widget class="GtkMenuItem" id="decreaseFontSizeMenuItem">
1247                               <property name="visible">True</property>
1248                               <property name="label" translatable="yes">Decrease Font Size</property>
1249                               <property name="use_underline">True</property>
1250                               <signal name="activate" handler="on_decreaseFontSizeMenuItem_activate" last_modification_time="Wed, 15 Jun 2005 15:06:29 GMT"/>
1251                               <accelerator key="minus" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1252                             </widget>
1253                           </child>
1254
1255                           <child>
1256                             <widget class="GtkMenuItem" id="normalFontSizeMenuItem">
1257                               <property name="visible">True</property>
1258                               <property name="label" translatable="yes">Normal Font Size</property>
1259                               <property name="use_underline">True</property>
1260                               <accelerator key="equal" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1261                             </widget>
1262                           </child>
1263                         </widget>
1264                       </child>
1265                     </widget>
1266                   </child>
1267
1268                   <child>
1269                     <widget class="GtkMenuItem" id="debugMenu">
1270                       <property name="visible">True</property>
1271                       <property name="label" translatable="yes">Debug</property>
1272                       <property name="use_underline">True</property>
1273
1274                       <child>
1275                         <widget class="GtkMenu" id="debugMenu_menu">
1276
1277                           <child>
1278                             <widget class="GtkSeparatorMenuItem" id="separatormenuitem5">
1279                               <property name="visible">True</property>
1280                             </widget>
1281                           </child>
1282                         </widget>
1283                       </child>
1284                     </widget>
1285                   </child>
1286
1287                   <child>
1288                     <widget class="GtkMenuItem" id="helpMenu">
1289                       <property name="visible">True</property>
1290                       <property name="label" translatable="yes">_Help</property>
1291                       <property name="use_underline">True</property>
1292
1293                       <child>
1294                         <widget class="GtkMenu" id="helpMenu_menu">
1295
1296                           <child>
1297                             <widget class="GtkMenuItem" id="aboutMenuItem">
1298                               <property name="visible">True</property>
1299                               <property name="label" translatable="yes">About...</property>
1300                               <property name="use_underline">True</property>
1301                             </widget>
1302                           </child>
1303                         </widget>
1304                       </child>
1305                     </widget>
1306                   </child>
1307                 </widget>
1308               </child>
1309             </widget>
1310             <packing>
1311               <property name="padding">0</property>
1312               <property name="expand">False</property>
1313               <property name="fill">False</property>
1314             </packing>
1315           </child>
1316
1317           <child>
1318             <widget class="GtkHBox" id="hbox9">
1319               <property name="visible">True</property>
1320               <property name="homogeneous">False</property>
1321               <property name="spacing">0</property>
1322
1323               <child>
1324                 <widget class="GtkHPaned" id="hpaneScriptSequent">
1325                   <property name="visible">True</property>
1326                   <property name="can_focus">True</property>
1327
1328                   <child>
1329                     <widget class="GtkHBox" id="hbox18">
1330                       <property name="visible">True</property>
1331                       <property name="homogeneous">False</property>
1332                       <property name="spacing">0</property>
1333
1334                       <child>
1335                         <widget class="GtkHandleBox" id="TacticsButtonsHandlebox">
1336                           <property name="visible">True</property>
1337                           <property name="shadow_type">GTK_SHADOW_OUT</property>
1338                           <property name="handle_position">GTK_POS_TOP</property>
1339                           <property name="snap_edge">GTK_POS_TOP</property>
1340
1341                           <child>
1342                             <widget class="GtkTable" id="ToolBarTable">
1343                               <property name="visible">True</property>
1344                               <property name="n_rows">17</property>
1345                               <property name="n_columns">2</property>
1346                               <property name="homogeneous">False</property>
1347                               <property name="row_spacing">4</property>
1348                               <property name="column_spacing">0</property>
1349
1350                               <child>
1351                                 <widget class="GtkButton" id="applyButton">
1352                                   <property name="visible">True</property>
1353                                   <property name="tooltip" translatable="yes">Apply</property>
1354                                   <property name="can_focus">True</property>
1355                                   <property name="label" translatable="yes">apply</property>
1356                                   <property name="use_underline">True</property>
1357                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1358                                   <property name="focus_on_click">True</property>
1359                                 </widget>
1360                                 <packing>
1361                                   <property name="left_attach">1</property>
1362                                   <property name="right_attach">2</property>
1363                                   <property name="top_attach">0</property>
1364                                   <property name="bottom_attach">1</property>
1365                                   <property name="x_options">fill</property>
1366                                   <property name="y_options"></property>
1367                                 </packing>
1368                               </child>
1369
1370                               <child>
1371                                 <widget class="GtkButton" id="introsButton">
1372                                   <property name="visible">True</property>
1373                                   <property name="tooltip" translatable="yes">Intros</property>
1374                                   <property name="can_focus">True</property>
1375                                   <property name="label" translatable="yes">intro</property>
1376                                   <property name="use_underline">True</property>
1377                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1378                                   <property name="focus_on_click">True</property>
1379                                 </widget>
1380                                 <packing>
1381                                   <property name="left_attach">0</property>
1382                                   <property name="right_attach">1</property>
1383                                   <property name="top_attach">0</property>
1384                                   <property name="bottom_attach">1</property>
1385                                   <property name="x_options">fill</property>
1386                                   <property name="y_options"></property>
1387                                 </packing>
1388                               </child>
1389
1390                               <child>
1391                                 <widget class="GtkButton" id="exactButton">
1392                                   <property name="visible">True</property>
1393                                   <property name="tooltip" translatable="yes">Exact</property>
1394                                   <property name="can_focus">True</property>
1395                                   <property name="label" translatable="yes">exact</property>
1396                                   <property name="use_underline">True</property>
1397                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1398                                   <property name="focus_on_click">True</property>
1399                                 </widget>
1400                                 <packing>
1401                                   <property name="left_attach">0</property>
1402                                   <property name="right_attach">1</property>
1403                                   <property name="top_attach">2</property>
1404                                   <property name="bottom_attach">3</property>
1405                                   <property name="x_options">fill</property>
1406                                   <property name="y_options"></property>
1407                                 </packing>
1408                               </child>
1409
1410                               <child>
1411                                 <widget class="GtkButton" id="elimButton">
1412                                   <property name="visible">True</property>
1413                                   <property name="tooltip" translatable="yes">Elim</property>
1414                                   <property name="can_focus">True</property>
1415                                   <property name="label" translatable="yes">elim</property>
1416                                   <property name="use_underline">True</property>
1417                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1418                                   <property name="focus_on_click">True</property>
1419                                 </widget>
1420                                 <packing>
1421                                   <property name="left_attach">0</property>
1422                                   <property name="right_attach">1</property>
1423                                   <property name="top_attach">4</property>
1424                                   <property name="bottom_attach">5</property>
1425                                   <property name="x_options">fill</property>
1426                                   <property name="y_options"></property>
1427                                 </packing>
1428                               </child>
1429
1430                               <child>
1431                                 <widget class="GtkButton" id="reflexivityButton">
1432                                   <property name="visible">True</property>
1433                                   <property name="tooltip" translatable="yes">Reflexivity</property>
1434                                   <property name="can_focus">True</property>
1435                                   <property name="label" translatable="yes">refl</property>
1436                                   <property name="use_underline">True</property>
1437                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1438                                   <property name="focus_on_click">True</property>
1439                                 </widget>
1440                                 <packing>
1441                                   <property name="left_attach">0</property>
1442                                   <property name="right_attach">1</property>
1443                                   <property name="top_attach">8</property>
1444                                   <property name="bottom_attach">9</property>
1445                                   <property name="x_options">fill</property>
1446                                   <property name="y_options"></property>
1447                                 </packing>
1448                               </child>
1449
1450                               <child>
1451                                 <widget class="GtkButton" id="symmetryButton">
1452                                   <property name="visible">True</property>
1453                                   <property name="tooltip" translatable="yes">Symmetry</property>
1454                                   <property name="can_focus">True</property>
1455                                   <property name="label" translatable="yes">sym</property>
1456                                   <property name="use_underline">True</property>
1457                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1458                                   <property name="focus_on_click">True</property>
1459                                 </widget>
1460                                 <packing>
1461                                   <property name="left_attach">1</property>
1462                                   <property name="right_attach">2</property>
1463                                   <property name="top_attach">8</property>
1464                                   <property name="bottom_attach">9</property>
1465                                   <property name="x_options">fill</property>
1466                                   <property name="y_options"></property>
1467                                 </packing>
1468                               </child>
1469
1470                               <child>
1471                                 <widget class="GtkButton" id="transitivityButton">
1472                                   <property name="visible">True</property>
1473                                   <property name="tooltip" translatable="yes">Transitivity</property>
1474                                   <property name="can_focus">True</property>
1475                                   <property name="label" translatable="yes">trans</property>
1476                                   <property name="use_underline">True</property>
1477                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1478                                   <property name="focus_on_click">True</property>
1479                                 </widget>
1480                                 <packing>
1481                                   <property name="left_attach">0</property>
1482                                   <property name="right_attach">1</property>
1483                                   <property name="top_attach">9</property>
1484                                   <property name="bottom_attach">10</property>
1485                                   <property name="x_options">fill</property>
1486                                   <property name="y_options"></property>
1487                                 </packing>
1488                               </child>
1489
1490                               <child>
1491                                 <widget class="GtkButton" id="simplifyButton">
1492                                   <property name="visible">True</property>
1493                                   <property name="tooltip" translatable="yes">Simplify</property>
1494                                   <property name="can_focus">True</property>
1495                                   <property name="label" translatable="yes">simpl</property>
1496                                   <property name="use_underline">True</property>
1497                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1498                                   <property name="focus_on_click">True</property>
1499                                 </widget>
1500                                 <packing>
1501                                   <property name="left_attach">0</property>
1502                                   <property name="right_attach">1</property>
1503                                   <property name="top_attach">11</property>
1504                                   <property name="bottom_attach">12</property>
1505                                   <property name="x_options">fill</property>
1506                                   <property name="y_options"></property>
1507                                 </packing>
1508                               </child>
1509
1510                               <child>
1511                                 <widget class="GtkButton" id="reduceButton">
1512                                   <property name="visible">True</property>
1513                                   <property name="tooltip" translatable="yes">Reduce</property>
1514                                   <property name="can_focus">True</property>
1515                                   <property name="label" translatable="yes">red</property>
1516                                   <property name="use_underline">True</property>
1517                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1518                                   <property name="focus_on_click">True</property>
1519                                 </widget>
1520                                 <packing>
1521                                   <property name="left_attach">1</property>
1522                                   <property name="right_attach">2</property>
1523                                   <property name="top_attach">11</property>
1524                                   <property name="bottom_attach">12</property>
1525                                   <property name="x_options">fill</property>
1526                                   <property name="y_options"></property>
1527                                 </packing>
1528                               </child>
1529
1530                               <child>
1531                                 <widget class="GtkButton" id="whdButton">
1532                                   <property name="visible">True</property>
1533                                   <property name="tooltip" translatable="yes">Whd</property>
1534                                   <property name="can_focus">True</property>
1535                                   <property name="label" translatable="yes">whd</property>
1536                                   <property name="use_underline">True</property>
1537                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1538                                   <property name="focus_on_click">True</property>
1539                                 </widget>
1540                                 <packing>
1541                                   <property name="left_attach">0</property>
1542                                   <property name="right_attach">1</property>
1543                                   <property name="top_attach">12</property>
1544                                   <property name="bottom_attach">13</property>
1545                                   <property name="x_options">fill</property>
1546                                   <property name="y_options"></property>
1547                                 </packing>
1548                               </child>
1549
1550                               <child>
1551                                 <widget class="GtkButton" id="assumptionButton">
1552                                   <property name="visible">True</property>
1553                                   <property name="tooltip" translatable="yes">Assumption</property>
1554                                   <property name="can_focus">True</property>
1555                                   <property name="label" translatable="yes">assum</property>
1556                                   <property name="use_underline">True</property>
1557                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1558                                   <property name="focus_on_click">True</property>
1559                                 </widget>
1560                                 <packing>
1561                                   <property name="left_attach">0</property>
1562                                   <property name="right_attach">1</property>
1563                                   <property name="top_attach">14</property>
1564                                   <property name="bottom_attach">15</property>
1565                                   <property name="x_options">fill</property>
1566                                   <property name="y_options"></property>
1567                                 </packing>
1568                               </child>
1569
1570                               <child>
1571                                 <widget class="GtkButton" id="autoButton">
1572                                   <property name="visible">True</property>
1573                                   <property name="tooltip" translatable="yes">Auto</property>
1574                                   <property name="can_focus">True</property>
1575                                   <property name="label" translatable="yes">auto</property>
1576                                   <property name="use_underline">True</property>
1577                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1578                                   <property name="focus_on_click">True</property>
1579                                 </widget>
1580                                 <packing>
1581                                   <property name="left_attach">1</property>
1582                                   <property name="right_attach">2</property>
1583                                   <property name="top_attach">14</property>
1584                                   <property name="bottom_attach">15</property>
1585                                   <property name="x_options">fill</property>
1586                                   <property name="y_options"></property>
1587                                 </packing>
1588                               </child>
1589
1590                               <child>
1591                                 <widget class="GtkButton" id="cutButton">
1592                                   <property name="visible">True</property>
1593                                   <property name="tooltip" translatable="yes">Cut</property>
1594                                   <property name="can_focus">True</property>
1595                                   <property name="label" translatable="yes">cut</property>
1596                                   <property name="use_underline">True</property>
1597                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1598                                   <property name="focus_on_click">True</property>
1599                                 </widget>
1600                                 <packing>
1601                                   <property name="left_attach">0</property>
1602                                   <property name="right_attach">1</property>
1603                                   <property name="top_attach">16</property>
1604                                   <property name="bottom_attach">17</property>
1605                                   <property name="x_options">fill</property>
1606                                   <property name="y_options"></property>
1607                                 </packing>
1608                               </child>
1609
1610                               <child>
1611                                 <widget class="GtkButton" id="replaceButton">
1612                                   <property name="visible">True</property>
1613                                   <property name="tooltip" translatable="yes">Replace</property>
1614                                   <property name="can_focus">True</property>
1615                                   <property name="label" translatable="yes">repl</property>
1616                                   <property name="use_underline">True</property>
1617                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1618                                   <property name="focus_on_click">True</property>
1619                                 </widget>
1620                                 <packing>
1621                                   <property name="left_attach">1</property>
1622                                   <property name="right_attach">2</property>
1623                                   <property name="top_attach">16</property>
1624                                   <property name="bottom_attach">17</property>
1625                                   <property name="x_options">fill</property>
1626                                   <property name="y_options"></property>
1627                                 </packing>
1628                               </child>
1629
1630                               <child>
1631                                 <widget class="GtkButton" id="elimTypeButton">
1632                                   <property name="visible">True</property>
1633                                   <property name="tooltip" translatable="yes">ElimType</property>
1634                                   <property name="can_focus">True</property>
1635                                   <property name="label" translatable="yes">elimTy</property>
1636                                   <property name="use_underline">True</property>
1637                                   <property name="relief">GTK_RELIEF_NORMAL</property>
1638                                   <property name="focus_on_click">True</property>
1639                                 </widget>
1640                                 <packing>
1641                                   <property name="left_attach">1</property>
1642                                   <property name="right_attach">2</property>
1643                                   <property name="top_attach">4</property>
1644                                   <property name="bottom_attach">5</property>
1645                                   <property name="x_options">fill</property>
1646                                   <property name="y_options"></property>
1647                                 </packing>
1648                               </child>
1649
1650                               <child>
1651                                 <widget class="GtkHBox" id="hbox18">
1652                                   <property name="visible">True</property>
1653                                   <property name="homogeneous">True</property>
1654                                   <property name="spacing">0</property>
1655
1656                                   <child>
1657                                     <widget class="GtkButton" id="rightButton">
1658                                       <property name="visible">True</property>
1659                                       <property name="tooltip" translatable="yes">Right</property>
1660                                       <property name="can_focus">True</property>
1661                                       <property name="label" translatable="yes">R</property>
1662                                       <property name="use_underline">True</property>
1663                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1664                                       <property name="focus_on_click">True</property>
1665                                     </widget>
1666                                     <packing>
1667                                       <property name="padding">0</property>
1668                                       <property name="expand">True</property>
1669                                       <property name="fill">True</property>
1670                                     </packing>
1671                                   </child>
1672
1673                                   <child>
1674                                     <widget class="GtkButton" id="existsButton">
1675                                       <property name="visible">True</property>
1676                                       <property name="tooltip" translatable="yes">Exists</property>
1677                                       <property name="can_focus">True</property>
1678                                       <property name="label" translatable="yes">∃</property>
1679                                       <property name="use_underline">True</property>
1680                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1681                                       <property name="focus_on_click">True</property>
1682                                     </widget>
1683                                     <packing>
1684                                       <property name="padding">0</property>
1685                                       <property name="expand">True</property>
1686                                       <property name="fill">True</property>
1687                                     </packing>
1688                                   </child>
1689                                 </widget>
1690                                 <packing>
1691                                   <property name="left_attach">1</property>
1692                                   <property name="right_attach">2</property>
1693                                   <property name="top_attach">6</property>
1694                                   <property name="bottom_attach">7</property>
1695                                   <property name="x_options">fill</property>
1696                                   <property name="y_options">fill</property>
1697                                 </packing>
1698                               </child>
1699
1700                               <child>
1701                                 <widget class="GtkHBox" id="hbox17">
1702                                   <property name="visible">True</property>
1703                                   <property name="homogeneous">True</property>
1704                                   <property name="spacing">0</property>
1705
1706                                   <child>
1707                                     <widget class="GtkButton" id="splitButton">
1708                                       <property name="visible">True</property>
1709                                       <property name="tooltip" translatable="yes">Split</property>
1710                                       <property name="can_focus">True</property>
1711                                       <property name="label" translatable="yes">∧</property>
1712                                       <property name="use_underline">True</property>
1713                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1714                                       <property name="focus_on_click">True</property>
1715                                     </widget>
1716                                     <packing>
1717                                       <property name="padding">0</property>
1718                                       <property name="expand">True</property>
1719                                       <property name="fill">True</property>
1720                                     </packing>
1721                                   </child>
1722
1723                                   <child>
1724                                     <widget class="GtkButton" id="leftButton">
1725                                       <property name="visible">True</property>
1726                                       <property name="tooltip" translatable="yes">Left</property>
1727                                       <property name="can_focus">True</property>
1728                                       <property name="label" translatable="yes">L</property>
1729                                       <property name="use_underline">True</property>
1730                                       <property name="relief">GTK_RELIEF_NORMAL</property>
1731                                       <property name="focus_on_click">True</property>
1732                                     </widget>
1733                                     <packing>
1734                                       <property name="padding">0</property>
1735                                       <property name="expand">True</property>
1736                                       <property name="fill">True</property>
1737                                     </packing>
1738                                   </child>
1739                                 </widget>
1740                                 <packing>
1741                                   <property name="left_attach">0</property>
1742                                   <property name="right_attach">1</property>
1743                                   <property name="top_attach">6</property>
1744                                   <property name="bottom_attach">7</property>
1745                                   <property name="x_options">fill</property>
1746                                   <property name="y_options">fill</property>
1747                                 </packing>
1748                               </child>
1749
1750                               <child>
1751                                 <widget class="GtkAlignment" id="alignment6">
1752                                   <property name="visible">True</property>
1753                                   <property name="xalign">0.5</property>
1754                                   <property name="yalign">0.5</property>
1755                                   <property name="xscale">1</property>
1756                                   <property name="yscale">1</property>
1757                                   <property name="top_padding">0</property>
1758                                   <property name="bottom_padding">0</property>
1759                                   <property name="left_padding">0</property>
1760                                   <property name="right_padding">0</property>
1761
1762                                   <child>
1763                                     <placeholder/>
1764                                   </child>
1765                                 </widget>
1766                                 <packing>
1767                                   <property name="left_attach">0</property>
1768                                   <property name="right_attach">1</property>
1769                                   <property name="top_attach">1</property>
1770                                   <property name="bottom_attach">2</property>
1771                                   <property name="x_options">fill</property>
1772                                 </packing>
1773                               </child>
1774
1775                               <child>
1776                                 <widget class="GtkAlignment" id="alignment7">
1777                                   <property name="visible">True</property>
1778                                   <property name="xalign">0.5</property>
1779                                   <property name="yalign">0.5</property>
1780                                   <property name="xscale">1</property>
1781                                   <property name="yscale">1</property>
1782                                   <property name="top_padding">0</property>
1783                                   <property name="bottom_padding">0</property>
1784                                   <property name="left_padding">0</property>
1785                                   <property name="right_padding">0</property>
1786
1787                                   <child>
1788                                     <placeholder/>
1789                                   </child>
1790                                 </widget>
1791                                 <packing>
1792                                   <property name="left_attach">0</property>
1793                                   <property name="right_attach">1</property>
1794                                   <property name="top_attach">3</property>
1795                                   <property name="bottom_attach">4</property>
1796                                   <property name="x_options">fill</property>
1797                                 </packing>
1798                               </child>
1799
1800                               <child>
1801                                 <widget class="GtkAlignment" id="alignment8">
1802                                   <property name="visible">True</property>
1803                                   <property name="xalign">0.5</property>
1804                                   <property name="yalign">0.5</property>
1805                                   <property name="xscale">1</property>
1806                                   <property name="yscale">1</property>
1807                                   <property name="top_padding">0</property>
1808                                   <property name="bottom_padding">0</property>
1809                                   <property name="left_padding">0</property>
1810                                   <property name="right_padding">0</property>
1811
1812                                   <child>
1813                                     <placeholder/>
1814                                   </child>
1815                                 </widget>
1816                                 <packing>
1817                                   <property name="left_attach">0</property>
1818                                   <property name="right_attach">1</property>
1819                                   <property name="top_attach">5</property>
1820                                   <property name="bottom_attach">6</property>
1821                                   <property name="x_options">fill</property>
1822                                 </packing>
1823                               </child>
1824
1825                               <child>
1826                                 <widget class="GtkAlignment" id="alignment9">
1827                                   <property name="visible">True</property>
1828                                   <property name="xalign">0.5</property>
1829                                   <property name="yalign">0.5</property>
1830                                   <property name="xscale">1</property>
1831                                   <property name="yscale">1</property>
1832                                   <property name="top_padding">0</property>
1833                                   <property name="bottom_padding">0</property>
1834                                   <property name="left_padding">0</property>
1835                                   <property name="right_padding">0</property>
1836
1837                                   <child>
1838                                     <placeholder/>
1839                                   </child>
1840                                 </widget>
1841                                 <packing>
1842                                   <property name="left_attach">0</property>
1843                                   <property name="right_attach">1</property>
1844                                   <property name="top_attach">7</property>
1845                                   <property name="bottom_attach">8</property>
1846                                   <property name="x_options">fill</property>
1847                                 </packing>
1848                               </child>
1849
1850                               <child>
1851                                 <widget class="GtkAlignment" id="alignment10">
1852                                   <property name="visible">True</property>
1853                                   <property name="xalign">0.5</property>
1854                                   <property name="yalign">0.5</property>
1855                                   <property name="xscale">1</property>
1856                                   <property name="yscale">1</property>
1857                                   <property name="top_padding">0</property>
1858                                   <property name="bottom_padding">0</property>
1859                                   <property name="left_padding">0</property>
1860                                   <property name="right_padding">0</property>
1861
1862                                   <child>
1863                                     <placeholder/>
1864                                   </child>
1865                                 </widget>
1866                                 <packing>
1867                                   <property name="left_attach">0</property>
1868                                   <property name="right_attach">1</property>
1869                                   <property name="top_attach">10</property>
1870                                   <property name="bottom_attach">11</property>
1871                                   <property name="x_options">fill</property>
1872                                 </packing>
1873                               </child>
1874
1875                               <child>
1876                                 <widget class="GtkAlignment" id="alignment11">
1877                                   <property name="visible">True</property>
1878                                   <property name="xalign">0.5</property>
1879                                   <property name="yalign">0.5</property>
1880                                   <property name="xscale">1</property>
1881                                   <property name="yscale">1</property>
1882                                   <property name="top_padding">0</property>
1883                                   <property name="bottom_padding">0</property>
1884                                   <property name="left_padding">0</property>
1885                                   <property name="right_padding">0</property>
1886
1887                                   <child>
1888                                     <placeholder/>
1889                                   </child>
1890                                 </widget>
1891                                 <packing>
1892                                   <property name="left_attach">0</property>
1893                                   <property name="right_attach">1</property>
1894                                   <property name="top_attach">13</property>
1895                                   <property name="bottom_attach">14</property>
1896                                   <property name="x_options">fill</property>
1897                                 </packing>
1898                               </child>
1899
1900                               <child>
1901                                 <widget class="GtkAlignment" id="alignment12">
1902                                   <property name="visible">True</property>
1903                                   <property name="xalign">0.5</property>
1904                                   <property name="yalign">0.5</property>
1905                                   <property name="xscale">1</property>
1906                                   <property name="yscale">1</property>
1907                                   <property name="top_padding">0</property>
1908                                   <property name="bottom_padding">0</property>
1909                                   <property name="left_padding">0</property>
1910                                   <property name="right_padding">0</property>
1911
1912                                   <child>
1913                                     <placeholder/>
1914                                   </child>
1915                                 </widget>
1916                                 <packing>
1917                                   <property name="left_attach">0</property>
1918                                   <property name="right_attach">1</property>
1919                                   <property name="top_attach">15</property>
1920                                   <property name="bottom_attach">16</property>
1921                                   <property name="x_options">fill</property>
1922                                 </packing>
1923                               </child>
1924                             </widget>
1925                           </child>
1926                         </widget>
1927                         <packing>
1928                           <property name="padding">0</property>
1929                           <property name="expand">False</property>
1930                           <property name="fill">True</property>
1931                         </packing>
1932                       </child>
1933
1934                       <child>
1935                         <widget class="GtkVBox" id="vboxScript">
1936                           <property name="width_request">400</property>
1937                           <property name="visible">True</property>
1938                           <property name="homogeneous">False</property>
1939                           <property name="spacing">0</property>
1940
1941                           <child>
1942                             <widget class="GtkToolbar" id="buttonsToolbar">
1943                               <property name="visible">True</property>
1944                               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
1945                               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
1946                               <property name="tooltips">True</property>
1947                               <property name="show_arrow">True</property>
1948
1949                               <child>
1950                                 <widget class="GtkToolItem" id="toolitem25">
1951                                   <property name="visible">True</property>
1952                                   <property name="visible_horizontal">True</property>
1953                                   <property name="visible_vertical">True</property>
1954                                   <property name="is_important">False</property>
1955
1956                                   <child>
1957                                     <widget class="GtkButton" id="scriptTopButton">
1958                                       <property name="visible">True</property>
1959                                       <property name="tooltip" translatable="yes">restart (Home)</property>
1960                                       <property name="can_focus">True</property>
1961                                       <property name="relief">GTK_RELIEF_NONE</property>
1962                                       <property name="focus_on_click">True</property>
1963                                       <accelerator key="Home" modifiers="GDK_CONTROL_MASK" signal="clicked"/>
1964
1965                                       <child>
1966                                         <widget class="GtkImage" id="image253">
1967                                           <property name="visible">True</property>
1968                                           <property name="stock">gtk-goto-top</property>
1969                                           <property name="icon_size">4</property>
1970                                           <property name="xalign">0.5</property>
1971                                           <property name="yalign">0.5</property>
1972                                           <property name="xpad">0</property>
1973                                           <property name="ypad">0</property>
1974                                         </widget>
1975                                       </child>
1976                                     </widget>
1977                                   </child>
1978                                 </widget>
1979                                 <packing>
1980                                   <property name="expand">False</property>
1981                                   <property name="homogeneous">False</property>
1982                                 </packing>
1983                               </child>
1984
1985                               <child>
1986                                 <widget class="GtkToolItem" id="toolitem26">
1987                                   <property name="visible">True</property>
1988                                   <property name="visible_horizontal">True</property>
1989                                   <property name="visible_vertical">True</property>
1990                                   <property name="is_important">False</property>
1991
1992                                   <child>
1993                                     <widget class="GtkButton" id="scriptRetractButton">
1994                                       <property name="visible">True</property>
1995                                       <property name="tooltip" translatable="yes">go back 1 phrase (Page Up)</property>
1996                                       <property name="can_focus">True</property>
1997                                       <property name="relief">GTK_RELIEF_NONE</property>
1998                                       <property name="focus_on_click">True</property>
1999                                       <accelerator key="Page_Up" modifiers="GDK_CONTROL_MASK" signal="clicked"/>
2000
2001                                       <child>
2002                                         <widget class="GtkImage" id="image254">
2003                                           <property name="visible">True</property>
2004                                           <property name="stock">gtk-go-up</property>
2005                                           <property name="icon_size">4</property>
2006                                           <property name="xalign">0.5</property>
2007                                           <property name="yalign">0.5</property>
2008                                           <property name="xpad">0</property>
2009                                           <property name="ypad">0</property>
2010                                         </widget>
2011                                       </child>
2012                                     </widget>
2013                                   </child>
2014                                 </widget>
2015                                 <packing>
2016                                   <property name="expand">False</property>
2017                                   <property name="homogeneous">False</property>
2018                                 </packing>
2019                               </child>
2020
2021                               <child>
2022                                 <widget class="GtkToolItem" id="toolitem27">
2023                                   <property name="visible">True</property>
2024                                   <property name="visible_horizontal">True</property>
2025                                   <property name="visible_vertical">True</property>
2026                                   <property name="is_important">False</property>
2027
2028                                   <child>
2029                                     <widget class="GtkButton" id="scriptJumpButton">
2030                                       <property name="visible">True</property>
2031                                       <property name="tooltip" translatable="yes">execute until point</property>
2032                                       <property name="can_focus">True</property>
2033                                       <property name="relief">GTK_RELIEF_NONE</property>
2034                                       <property name="focus_on_click">True</property>
2035
2036                                       <child>
2037                                         <widget class="GtkImage" id="image255">
2038                                           <property name="visible">True</property>
2039                                           <property name="stock">gtk-jump-to</property>
2040                                           <property name="icon_size">4</property>
2041                                           <property name="xalign">0.5</property>
2042                                           <property name="yalign">0.5</property>
2043                                           <property name="xpad">0</property>
2044                                           <property name="ypad">0</property>
2045                                         </widget>
2046                                       </child>
2047                                     </widget>
2048                                   </child>
2049                                 </widget>
2050                                 <packing>
2051                                   <property name="expand">False</property>
2052                                   <property name="homogeneous">False</property>
2053                                 </packing>
2054                               </child>
2055
2056                               <child>
2057                                 <widget class="GtkToolItem" id="toolitem28">
2058                                   <property name="visible">True</property>
2059                                   <property name="visible_horizontal">True</property>
2060                                   <property name="visible_vertical">True</property>
2061                                   <property name="is_important">False</property>
2062
2063                                   <child>
2064                                     <widget class="GtkButton" id="scriptAdvanceButton">
2065                                       <property name="visible">True</property>
2066                                       <property name="tooltip" translatable="yes">go forward 1 phrase (Page Down)</property>
2067                                       <property name="can_focus">True</property>
2068                                       <property name="relief">GTK_RELIEF_NONE</property>
2069                                       <property name="focus_on_click">True</property>
2070                                       <accelerator key="Page_Down" modifiers="GDK_CONTROL_MASK" signal="clicked"/>
2071
2072                                       <child>
2073                                         <widget class="GtkImage" id="image256">
2074                                           <property name="visible">True</property>
2075                                           <property name="stock">gtk-go-down</property>
2076                                           <property name="icon_size">4</property>
2077                                           <property name="xalign">0.5</property>
2078                                           <property name="yalign">0.5</property>
2079                                           <property name="xpad">0</property>
2080                                           <property name="ypad">0</property>
2081                                         </widget>
2082                                       </child>
2083                                     </widget>
2084                                   </child>
2085                                 </widget>
2086                                 <packing>
2087                                   <property name="expand">False</property>
2088                                   <property name="homogeneous">False</property>
2089                                 </packing>
2090                               </child>
2091
2092                               <child>
2093                                 <widget class="GtkToolItem" id="toolitem29">
2094                                   <property name="visible">True</property>
2095                                   <property name="visible_horizontal">True</property>
2096                                   <property name="visible_vertical">True</property>
2097                                   <property name="is_important">False</property>
2098
2099                                   <child>
2100                                     <widget class="GtkButton" id="scriptBottomButton">
2101                                       <property name="visible">True</property>
2102                                       <property name="tooltip" translatable="yes">execute all (End)</property>
2103                                       <property name="can_focus">True</property>
2104                                       <property name="relief">GTK_RELIEF_NONE</property>
2105                                       <property name="focus_on_click">True</property>
2106                                       <accelerator key="End" modifiers="GDK_CONTROL_MASK" signal="clicked"/>
2107
2108                                       <child>
2109                                         <widget class="GtkImage" id="image257">
2110                                           <property name="visible">True</property>
2111                                           <property name="stock">gtk-goto-bottom</property>
2112                                           <property name="icon_size">4</property>
2113                                           <property name="xalign">0.5</property>
2114                                           <property name="yalign">0.5</property>
2115                                           <property name="xpad">0</property>
2116                                           <property name="ypad">0</property>
2117                                         </widget>
2118                                       </child>
2119                                     </widget>
2120                                   </child>
2121                                 </widget>
2122                                 <packing>
2123                                   <property name="expand">False</property>
2124                                   <property name="homogeneous">False</property>
2125                                 </packing>
2126                               </child>
2127                             </widget>
2128                             <packing>
2129                               <property name="padding">0</property>
2130                               <property name="expand">False</property>
2131                               <property name="fill">False</property>
2132                             </packing>
2133                           </child>
2134
2135                           <child>
2136                             <widget class="GtkNotebook" id="scriptNotebook">
2137                               <property name="visible">True</property>
2138                               <property name="can_focus">True</property>
2139                               <property name="show_tabs">True</property>
2140                               <property name="show_border">True</property>
2141                               <property name="tab_pos">GTK_POS_BOTTOM</property>
2142                               <property name="scrollable">False</property>
2143                               <property name="enable_popup">False</property>
2144
2145                               <child>
2146                                 <widget class="GtkScrolledWindow" id="ScriptScrolledWin">
2147                                   <property name="visible">True</property>
2148                                   <property name="can_focus">True</property>
2149                                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2150                                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2151                                   <property name="shadow_type">GTK_SHADOW_NONE</property>
2152                                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2153
2154                                   <child>
2155                                     <placeholder/>
2156                                   </child>
2157                                 </widget>
2158                                 <packing>
2159                                   <property name="tab_expand">False</property>
2160                                   <property name="tab_fill">True</property>
2161                                 </packing>
2162                               </child>
2163
2164                               <child>
2165                                 <widget class="GtkLabel" id="scriptLabel">
2166                                   <property name="visible">True</property>
2167                                   <property name="label" translatable="yes">script</property>
2168                                   <property name="use_underline">False</property>
2169                                   <property name="use_markup">False</property>
2170                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2171                                   <property name="wrap">False</property>
2172                                   <property name="selectable">False</property>
2173                                   <property name="xalign">0.5</property>
2174                                   <property name="yalign">0.5</property>
2175                                   <property name="xpad">0</property>
2176                                   <property name="ypad">0</property>
2177                                 </widget>
2178                                 <packing>
2179                                   <property name="type">tab</property>
2180                                 </packing>
2181                               </child>
2182
2183                               <child>
2184                                 <widget class="GtkScrolledWindow" id="scrolledwindow8">
2185                                   <property name="visible">True</property>
2186                                   <property name="can_focus">True</property>
2187                                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2188                                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2189                                   <property name="shadow_type">GTK_SHADOW_NONE</property>
2190                                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2191
2192                                   <child>
2193                                     <widget class="GtkTreeView" id="scriptTreeView">
2194                                       <property name="visible">True</property>
2195                                       <property name="can_focus">True</property>
2196                                       <property name="headers_visible">False</property>
2197                                       <property name="rules_hint">False</property>
2198                                       <property name="reorderable">False</property>
2199                                       <property name="enable_search">True</property>
2200                                     </widget>
2201                                   </child>
2202                                 </widget>
2203                                 <packing>
2204                                   <property name="tab_expand">False</property>
2205                                   <property name="tab_fill">True</property>
2206                                 </packing>
2207                               </child>
2208
2209                               <child>
2210                                 <widget class="GtkLabel" id="label13">
2211                                   <property name="visible">True</property>
2212                                   <property name="label" translatable="yes">outline</property>
2213                                   <property name="use_underline">False</property>
2214                                   <property name="use_markup">False</property>
2215                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2216                                   <property name="wrap">False</property>
2217                                   <property name="selectable">False</property>
2218                                   <property name="xalign">0.5</property>
2219                                   <property name="yalign">0.5</property>
2220                                   <property name="xpad">0</property>
2221                                   <property name="ypad">0</property>
2222                                 </widget>
2223                                 <packing>
2224                                   <property name="type">tab</property>
2225                                 </packing>
2226                               </child>
2227                             </widget>
2228                             <packing>
2229                               <property name="padding">0</property>
2230                               <property name="expand">True</property>
2231                               <property name="fill">True</property>
2232                             </packing>
2233                           </child>
2234                         </widget>
2235                         <packing>
2236                           <property name="padding">0</property>
2237                           <property name="expand">True</property>
2238                           <property name="fill">True</property>
2239                         </packing>
2240                       </child>
2241                     </widget>
2242                     <packing>
2243                       <property name="shrink">True</property>
2244                       <property name="resize">False</property>
2245                     </packing>
2246                   </child>
2247
2248                   <child>
2249                     <widget class="GtkVPaned" id="vpaned1">
2250                       <property name="width_request">250</property>
2251                       <property name="height_request">500</property>
2252                       <property name="visible">True</property>
2253                       <property name="can_focus">True</property>
2254                       <property name="position">380</property>
2255
2256                       <child>
2257                         <widget class="GtkNotebook" id="sequentsNotebook">
2258                           <property name="visible">True</property>
2259                           <property name="can_focus">True</property>
2260                           <property name="show_tabs">True</property>
2261                           <property name="show_border">True</property>
2262                           <property name="tab_pos">GTK_POS_TOP</property>
2263                           <property name="scrollable">False</property>
2264                           <property name="enable_popup">False</property>
2265                         </widget>
2266                         <packing>
2267                           <property name="shrink">True</property>
2268                           <property name="resize">False</property>
2269                         </packing>
2270                       </child>
2271
2272                       <child>
2273                         <widget class="GtkHBox" id="hbox9">
2274                           <property name="visible">True</property>
2275                           <property name="homogeneous">False</property>
2276                           <property name="spacing">0</property>
2277
2278                           <child>
2279                             <widget class="GtkScrolledWindow" id="logScrolledWin">
2280                               <property name="visible">True</property>
2281                               <property name="can_focus">True</property>
2282                               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
2283                               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
2284                               <property name="shadow_type">GTK_SHADOW_IN</property>
2285                               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2286
2287                               <child>
2288                                 <widget class="GtkTextView" id="logTextView">
2289                                   <property name="visible">True</property>
2290                                   <property name="can_focus">True</property>
2291                                   <property name="editable">False</property>
2292                                   <property name="overwrite">False</property>
2293                                   <property name="accepts_tab">True</property>
2294                                   <property name="justification">GTK_JUSTIFY_LEFT</property>
2295                                   <property name="wrap_mode">GTK_WRAP_CHAR</property>
2296                                   <property name="cursor_visible">False</property>
2297                                   <property name="pixels_above_lines">0</property>
2298                                   <property name="pixels_below_lines">0</property>
2299                                   <property name="pixels_inside_wrap">0</property>
2300                                   <property name="left_margin">0</property>
2301                                   <property name="right_margin">0</property>
2302                                   <property name="indent">0</property>
2303                                   <property name="text" translatable="yes"></property>
2304                                 </widget>
2305                               </child>
2306                             </widget>
2307                             <packing>
2308                               <property name="padding">0</property>
2309                               <property name="expand">True</property>
2310                               <property name="fill">True</property>
2311                             </packing>
2312                           </child>
2313                         </widget>
2314                         <packing>
2315                           <property name="shrink">True</property>
2316                           <property name="resize">True</property>
2317                         </packing>
2318                       </child>
2319                     </widget>
2320                     <packing>
2321                       <property name="shrink">True</property>
2322                       <property name="resize">True</property>
2323                     </packing>
2324                   </child>
2325                 </widget>
2326                 <packing>
2327                   <property name="padding">0</property>
2328                   <property name="expand">True</property>
2329                   <property name="fill">True</property>
2330                 </packing>
2331               </child>
2332             </widget>
2333             <packing>
2334               <property name="padding">0</property>
2335               <property name="expand">True</property>
2336               <property name="fill">True</property>
2337             </packing>
2338           </child>
2339
2340           <child>
2341             <widget class="GtkHBox" id="hbox10">
2342               <property name="visible">True</property>
2343               <property name="homogeneous">False</property>
2344               <property name="spacing">0</property>
2345
2346               <child>
2347                 <widget class="GtkStatusbar" id="StatusBar">
2348                   <property name="visible">True</property>
2349                   <property name="has_resize_grip">False</property>
2350                 </widget>
2351                 <packing>
2352                   <property name="padding">0</property>
2353                   <property name="expand">True</property>
2354                   <property name="fill">True</property>
2355                 </packing>
2356               </child>
2357
2358               <child>
2359                 <widget class="GtkNotebook" id="HintNotebook">
2360                   <property name="visible">True</property>
2361                   <property name="show_tabs">False</property>
2362                   <property name="show_border">True</property>
2363                   <property name="tab_pos">GTK_POS_TOP</property>
2364                   <property name="scrollable">False</property>
2365                   <property name="enable_popup">False</property>
2366
2367                   <child>
2368                     <widget class="GtkImage" id="HintLowImage">
2369                       <property name="visible">True</property>
2370                       <property name="xalign">0.5</property>
2371                       <property name="yalign">0.5</property>
2372                       <property name="xpad">0</property>
2373                       <property name="ypad">0</property>
2374                     </widget>
2375                     <packing>
2376                       <property name="tab_expand">False</property>
2377                       <property name="tab_fill">True</property>
2378                     </packing>
2379                   </child>
2380
2381                   <child>
2382                     <widget class="GtkLabel" id="label14">
2383                       <property name="visible">True</property>
2384                       <property name="label" translatable="yes">label14</property>
2385                       <property name="use_underline">False</property>
2386                       <property name="use_markup">False</property>
2387                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2388                       <property name="wrap">False</property>
2389                       <property name="selectable">False</property>
2390                       <property name="xalign">0.5</property>
2391                       <property name="yalign">0.5</property>
2392                       <property name="xpad">0</property>
2393                       <property name="ypad">0</property>
2394                     </widget>
2395                     <packing>
2396                       <property name="type">tab</property>
2397                     </packing>
2398                   </child>
2399
2400                   <child>
2401                     <widget class="GtkImage" id="HintMediumImage">
2402                       <property name="visible">True</property>
2403                       <property name="xalign">0.5</property>
2404                       <property name="yalign">0.5</property>
2405                       <property name="xpad">0</property>
2406                       <property name="ypad">0</property>
2407                     </widget>
2408                     <packing>
2409                       <property name="tab_expand">False</property>
2410                       <property name="tab_fill">True</property>
2411                     </packing>
2412                   </child>
2413
2414                   <child>
2415                     <widget class="GtkLabel" id="label15">
2416                       <property name="visible">True</property>
2417                       <property name="label" translatable="yes">label15</property>
2418                       <property name="use_underline">False</property>
2419                       <property name="use_markup">False</property>
2420                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2421                       <property name="wrap">False</property>
2422                       <property name="selectable">False</property>
2423                       <property name="xalign">0.5</property>
2424                       <property name="yalign">0.5</property>
2425                       <property name="xpad">0</property>
2426                       <property name="ypad">0</property>
2427                     </widget>
2428                     <packing>
2429                       <property name="type">tab</property>
2430                     </packing>
2431                   </child>
2432
2433                   <child>
2434                     <widget class="GtkImage" id="HintHighImage">
2435                       <property name="visible">True</property>
2436                       <property name="xalign">0.5</property>
2437                       <property name="yalign">0.5</property>
2438                       <property name="xpad">0</property>
2439                       <property name="ypad">0</property>
2440                     </widget>
2441                     <packing>
2442                       <property name="tab_expand">False</property>
2443                       <property name="tab_fill">True</property>
2444                     </packing>
2445                   </child>
2446
2447                   <child>
2448                     <widget class="GtkLabel" id="label16">
2449                       <property name="visible">True</property>
2450                       <property name="label" translatable="yes">label16</property>
2451                       <property name="use_underline">False</property>
2452                       <property name="use_markup">False</property>
2453                       <property name="justify">GTK_JUSTIFY_LEFT</property>
2454                       <property name="wrap">False</property>
2455                       <property name="selectable">False</property>
2456                       <property name="xalign">0.5</property>
2457                       <property name="yalign">0.5</property>
2458                       <property name="xpad">0</property>
2459                       <property name="ypad">0</property>
2460                     </widget>
2461                     <packing>
2462                       <property name="type">tab</property>
2463                     </packing>
2464                   </child>
2465                 </widget>
2466                 <packing>
2467                   <property name="padding">0</property>
2468                   <property name="expand">False</property>
2469                   <property name="fill">True</property>
2470                 </packing>
2471               </child>
2472             </widget>
2473             <packing>
2474               <property name="padding">0</property>
2475               <property name="expand">False</property>
2476               <property name="fill">False</property>
2477             </packing>
2478           </child>
2479         </widget>
2480       </child>
2481     </widget>
2482   </child>
2483 </widget>
2484
2485 <widget class="GtkDialog" id="TextDialog">
2486   <property name="title" translatable="yes">DUMMY</property>
2487   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2488   <property name="window_position">GTK_WIN_POS_NONE</property>
2489   <property name="modal">False</property>
2490   <property name="resizable">True</property>
2491   <property name="destroy_with_parent">False</property>
2492   <property name="decorated">True</property>
2493   <property name="skip_taskbar_hint">False</property>
2494   <property name="skip_pager_hint">False</property>
2495   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2496   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2497   <property name="has_separator">True</property>
2498
2499   <child internal-child="vbox">
2500     <widget class="GtkVBox" id="vbox5">
2501       <property name="visible">True</property>
2502       <property name="homogeneous">False</property>
2503       <property name="spacing">0</property>
2504
2505       <child internal-child="action_area">
2506         <widget class="GtkHButtonBox" id="hbuttonbox1">
2507           <property name="visible">True</property>
2508           <property name="layout_style">GTK_BUTTONBOX_END</property>
2509
2510           <child>
2511             <widget class="GtkButton" id="TextDialogCancelButton">
2512               <property name="visible">True</property>
2513               <property name="can_default">True</property>
2514               <property name="can_focus">True</property>
2515               <property name="label">gtk-cancel</property>
2516               <property name="use_stock">True</property>
2517               <property name="relief">GTK_RELIEF_NORMAL</property>
2518               <property name="focus_on_click">True</property>
2519               <property name="response_id">-6</property>
2520             </widget>
2521           </child>
2522
2523           <child>
2524             <widget class="GtkButton" id="TextDialogOkButton">
2525               <property name="visible">True</property>
2526               <property name="can_default">True</property>
2527               <property name="can_focus">True</property>
2528               <property name="label">gtk-ok</property>
2529               <property name="use_stock">True</property>
2530               <property name="relief">GTK_RELIEF_NORMAL</property>
2531               <property name="focus_on_click">True</property>
2532               <property name="response_id">-5</property>
2533             </widget>
2534           </child>
2535         </widget>
2536         <packing>
2537           <property name="padding">0</property>
2538           <property name="expand">False</property>
2539           <property name="fill">True</property>
2540           <property name="pack_type">GTK_PACK_END</property>
2541         </packing>
2542       </child>
2543
2544       <child>
2545         <widget class="GtkLabel" id="TextDialogLabel">
2546           <property name="visible">True</property>
2547           <property name="label" translatable="yes">DUMMY</property>
2548           <property name="use_underline">False</property>
2549           <property name="use_markup">False</property>
2550           <property name="justify">GTK_JUSTIFY_LEFT</property>
2551           <property name="wrap">False</property>
2552           <property name="selectable">False</property>
2553           <property name="xalign">0.5</property>
2554           <property name="yalign">0.5</property>
2555           <property name="xpad">0</property>
2556           <property name="ypad">0</property>
2557         </widget>
2558         <packing>
2559           <property name="padding">0</property>
2560           <property name="expand">False</property>
2561           <property name="fill">False</property>
2562         </packing>
2563       </child>
2564
2565       <child>
2566         <widget class="GtkScrolledWindow" id="scrolledwindow2">
2567           <property name="visible">True</property>
2568           <property name="can_focus">True</property>
2569           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2570           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2571           <property name="shadow_type">GTK_SHADOW_IN</property>
2572           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2573
2574           <child>
2575             <widget class="GtkTextView" id="TextDialogTextView">
2576               <property name="visible">True</property>
2577               <property name="can_focus">True</property>
2578               <property name="editable">True</property>
2579               <property name="overwrite">False</property>
2580               <property name="accepts_tab">True</property>
2581               <property name="justification">GTK_JUSTIFY_LEFT</property>
2582               <property name="wrap_mode">GTK_WRAP_NONE</property>
2583               <property name="cursor_visible">True</property>
2584               <property name="pixels_above_lines">0</property>
2585               <property name="pixels_below_lines">0</property>
2586               <property name="pixels_inside_wrap">0</property>
2587               <property name="left_margin">0</property>
2588               <property name="right_margin">0</property>
2589               <property name="indent">0</property>
2590               <property name="text" translatable="yes"></property>
2591             </widget>
2592           </child>
2593         </widget>
2594         <packing>
2595           <property name="padding">0</property>
2596           <property name="expand">True</property>
2597           <property name="fill">True</property>
2598         </packing>
2599       </child>
2600     </widget>
2601   </child>
2602 </widget>
2603
2604 <widget class="GtkDialog" id="UriChoiceDialog">
2605   <property name="height_request">280</property>
2606   <property name="title" translatable="yes">Uri choice</property>
2607   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2608   <property name="window_position">GTK_WIN_POS_CENTER</property>
2609   <property name="modal">True</property>
2610   <property name="resizable">True</property>
2611   <property name="destroy_with_parent">False</property>
2612   <property name="decorated">True</property>
2613   <property name="skip_taskbar_hint">False</property>
2614   <property name="skip_pager_hint">False</property>
2615   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2616   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2617   <property name="has_separator">True</property>
2618
2619   <child internal-child="vbox">
2620     <widget class="GtkVBox" id="dialog-vbox3">
2621       <property name="visible">True</property>
2622       <property name="homogeneous">False</property>
2623       <property name="spacing">4</property>
2624
2625       <child internal-child="action_area">
2626         <widget class="GtkHButtonBox" id="dialog-action_area3">
2627           <property name="visible">True</property>
2628           <property name="layout_style">GTK_BUTTONBOX_END</property>
2629
2630           <child>
2631             <widget class="GtkButton" id="UriChoiceAbortButton">
2632               <property name="visible">True</property>
2633               <property name="can_default">True</property>
2634               <property name="can_focus">True</property>
2635               <property name="label">gtk-cancel</property>
2636               <property name="use_stock">True</property>
2637               <property name="relief">GTK_RELIEF_NORMAL</property>
2638               <property name="focus_on_click">True</property>
2639               <property name="response_id">-6</property>
2640             </widget>
2641           </child>
2642
2643           <child>
2644             <widget class="GtkButton" id="UriChoiceSelectedButton">
2645               <property name="visible">True</property>
2646               <property name="can_default">True</property>
2647               <property name="can_focus">True</property>
2648               <property name="relief">GTK_RELIEF_NORMAL</property>
2649               <property name="focus_on_click">True</property>
2650               <property name="response_id">0</property>
2651
2652               <child>
2653                 <widget class="GtkAlignment" id="alignment2">
2654                   <property name="visible">True</property>
2655                   <property name="xalign">0.5</property>
2656                   <property name="yalign">0.5</property>
2657                   <property name="xscale">0</property>
2658                   <property name="yscale">0</property>
2659                   <property name="top_padding">0</property>
2660                   <property name="bottom_padding">0</property>
2661                   <property name="left_padding">0</property>
2662                   <property name="right_padding">0</property>
2663
2664                   <child>
2665                     <widget class="GtkHBox" id="hbox3">
2666                       <property name="visible">True</property>
2667                       <property name="homogeneous">False</property>
2668                       <property name="spacing">2</property>
2669
2670                       <child>
2671                         <widget class="GtkImage" id="image19">
2672                           <property name="visible">True</property>
2673                           <property name="stock">gtk-index</property>
2674                           <property name="icon_size">4</property>
2675                           <property name="xalign">0.5</property>
2676                           <property name="yalign">0.5</property>
2677                           <property name="xpad">0</property>
2678                           <property name="ypad">0</property>
2679                         </widget>
2680                         <packing>
2681                           <property name="padding">0</property>
2682                           <property name="expand">False</property>
2683                           <property name="fill">False</property>
2684                         </packing>
2685                       </child>
2686
2687                       <child>
2688                         <widget class="GtkLabel" id="label3">
2689                           <property name="visible">True</property>
2690                           <property name="label" translatable="yes">Try _Selected</property>
2691                           <property name="use_underline">True</property>
2692                           <property name="use_markup">False</property>
2693                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2694                           <property name="wrap">False</property>
2695                           <property name="selectable">False</property>
2696                           <property name="xalign">0.5</property>
2697                           <property name="yalign">0.5</property>
2698                           <property name="xpad">0</property>
2699                           <property name="ypad">0</property>
2700                         </widget>
2701                         <packing>
2702                           <property name="padding">0</property>
2703                           <property name="expand">False</property>
2704                           <property name="fill">False</property>
2705                         </packing>
2706                       </child>
2707                     </widget>
2708                   </child>
2709                 </widget>
2710               </child>
2711             </widget>
2712           </child>
2713
2714           <child>
2715             <widget class="GtkButton" id="UriChoiceConstantsButton">
2716               <property name="visible">True</property>
2717               <property name="sensitive">False</property>
2718               <property name="can_default">True</property>
2719               <property name="can_focus">True</property>
2720               <property name="label" translatable="yes">Try Constants</property>
2721               <property name="use_underline">True</property>
2722               <property name="relief">GTK_RELIEF_NORMAL</property>
2723               <property name="focus_on_click">True</property>
2724               <property name="response_id">0</property>
2725             </widget>
2726           </child>
2727
2728           <child>
2729             <widget class="GtkButton" id="copyButton">
2730               <property name="can_default">True</property>
2731               <property name="can_focus">True</property>
2732               <property name="label">gtk-copy</property>
2733               <property name="use_stock">True</property>
2734               <property name="relief">GTK_RELIEF_NORMAL</property>
2735               <property name="focus_on_click">True</property>
2736               <property name="response_id">0</property>
2737             </widget>
2738           </child>
2739
2740           <child>
2741             <widget class="GtkButton" id="uriChoiceAutoButton">
2742               <property name="visible">True</property>
2743               <property name="can_default">True</property>
2744               <property name="can_focus">True</property>
2745               <property name="relief">GTK_RELIEF_NORMAL</property>
2746               <property name="focus_on_click">True</property>
2747               <property name="response_id">0</property>
2748
2749               <child>
2750                 <widget class="GtkAlignment" id="alignment5">
2751                   <property name="visible">True</property>
2752                   <property name="xalign">0.5</property>
2753                   <property name="yalign">0.5</property>
2754                   <property name="xscale">0</property>
2755                   <property name="yscale">0</property>
2756                   <property name="top_padding">0</property>
2757                   <property name="bottom_padding">0</property>
2758                   <property name="left_padding">0</property>
2759                   <property name="right_padding">0</property>
2760
2761                   <child>
2762                     <widget class="GtkHBox" id="hbox16">
2763                       <property name="visible">True</property>
2764                       <property name="homogeneous">False</property>
2765                       <property name="spacing">2</property>
2766
2767                       <child>
2768                         <widget class="GtkImage" id="image302">
2769                           <property name="visible">True</property>
2770                           <property name="stock">gtk-ok</property>
2771                           <property name="icon_size">4</property>
2772                           <property name="xalign">0.5</property>
2773                           <property name="yalign">0.5</property>
2774                           <property name="xpad">0</property>
2775                           <property name="ypad">0</property>
2776                         </widget>
2777                         <packing>
2778                           <property name="padding">0</property>
2779                           <property name="expand">False</property>
2780                           <property name="fill">False</property>
2781                         </packing>
2782                       </child>
2783
2784                       <child>
2785                         <widget class="GtkLabel" id="okLabel">
2786                           <property name="visible">True</property>
2787                           <property name="label" translatable="yes">bla bla bla</property>
2788                           <property name="use_underline">True</property>
2789                           <property name="use_markup">False</property>
2790                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2791                           <property name="wrap">False</property>
2792                           <property name="selectable">False</property>
2793                           <property name="xalign">0.5</property>
2794                           <property name="yalign">0.5</property>
2795                           <property name="xpad">0</property>
2796                           <property name="ypad">0</property>
2797                         </widget>
2798                         <packing>
2799                           <property name="padding">0</property>
2800                           <property name="expand">False</property>
2801                           <property name="fill">False</property>
2802                         </packing>
2803                       </child>
2804                     </widget>
2805                   </child>
2806                 </widget>
2807               </child>
2808             </widget>
2809           </child>
2810         </widget>
2811         <packing>
2812           <property name="padding">0</property>
2813           <property name="expand">False</property>
2814           <property name="fill">True</property>
2815           <property name="pack_type">GTK_PACK_END</property>
2816         </packing>
2817       </child>
2818
2819       <child>
2820         <widget class="GtkVBox" id="vbox2">
2821           <property name="visible">True</property>
2822           <property name="homogeneous">False</property>
2823           <property name="spacing">3</property>
2824
2825           <child>
2826             <widget class="GtkLabel" id="UriChoiceLabel">
2827               <property name="visible">True</property>
2828               <property name="label" translatable="yes">some informative message here ...</property>
2829               <property name="use_underline">False</property>
2830               <property name="use_markup">False</property>
2831               <property name="justify">GTK_JUSTIFY_LEFT</property>
2832               <property name="wrap">False</property>
2833               <property name="selectable">False</property>
2834               <property name="xalign">0.5</property>
2835               <property name="yalign">0.5</property>
2836               <property name="xpad">0</property>
2837               <property name="ypad">0</property>
2838             </widget>
2839             <packing>
2840               <property name="padding">0</property>
2841               <property name="expand">False</property>
2842               <property name="fill">False</property>
2843             </packing>
2844           </child>
2845
2846           <child>
2847             <widget class="GtkScrolledWindow" id="scrolledwindow1">
2848               <property name="width_request">400</property>
2849               <property name="visible">True</property>
2850               <property name="can_focus">True</property>
2851               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2852               <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
2853               <property name="shadow_type">GTK_SHADOW_NONE</property>
2854               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2855
2856               <child>
2857                 <widget class="GtkTreeView" id="UriChoiceTreeView">
2858                   <property name="visible">True</property>
2859                   <property name="can_focus">True</property>
2860                   <property name="headers_visible">False</property>
2861                   <property name="rules_hint">False</property>
2862                   <property name="reorderable">False</property>
2863                   <property name="enable_search">True</property>
2864                 </widget>
2865               </child>
2866             </widget>
2867             <packing>
2868               <property name="padding">0</property>
2869               <property name="expand">True</property>
2870               <property name="fill">True</property>
2871             </packing>
2872           </child>
2873
2874           <child>
2875             <widget class="GtkHBox" id="uriEntryHBox">
2876               <property name="visible">True</property>
2877               <property name="homogeneous">False</property>
2878               <property name="spacing">0</property>
2879
2880               <child>
2881                 <widget class="GtkLabel" id="label2">
2882                   <property name="visible">True</property>
2883                   <property name="label" translatable="yes">URI: </property>
2884                   <property name="use_underline">False</property>
2885                   <property name="use_markup">False</property>
2886                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2887                   <property name="wrap">False</property>
2888                   <property name="selectable">False</property>
2889                   <property name="xalign">0.5</property>
2890                   <property name="yalign">0.5</property>
2891                   <property name="xpad">0</property>
2892                   <property name="ypad">0</property>
2893                 </widget>
2894                 <packing>
2895                   <property name="padding">0</property>
2896                   <property name="expand">False</property>
2897                   <property name="fill">False</property>
2898                 </packing>
2899               </child>
2900
2901               <child>
2902                 <widget class="GtkEntry" id="entry1">
2903                   <property name="visible">True</property>
2904                   <property name="can_focus">True</property>
2905                   <property name="editable">True</property>
2906                   <property name="visibility">True</property>
2907                   <property name="max_length">0</property>
2908                   <property name="text" translatable="yes"></property>
2909                   <property name="has_frame">True</property>
2910                   <property name="invisible_char">*</property>
2911                   <property name="activates_default">False</property>
2912                 </widget>
2913                 <packing>
2914                   <property name="padding">0</property>
2915                   <property name="expand">True</property>
2916                   <property name="fill">True</property>
2917                 </packing>
2918               </child>
2919             </widget>
2920             <packing>
2921               <property name="padding">0</property>
2922               <property name="expand">False</property>
2923               <property name="fill">True</property>
2924             </packing>
2925           </child>
2926         </widget>
2927         <packing>
2928           <property name="padding">0</property>
2929           <property name="expand">True</property>
2930           <property name="fill">True</property>
2931         </packing>
2932       </child>
2933     </widget>
2934   </child>
2935 </widget>
2936
2937 <widget class="GtkWindow" id="FindReplWin">
2938   <property name="border_width">5</property>
2939   <property name="title" translatable="yes">Find &amp; Replace</property>
2940   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2941   <property name="window_position">GTK_WIN_POS_MOUSE</property>
2942   <property name="modal">False</property>
2943   <property name="resizable">False</property>
2944   <property name="destroy_with_parent">False</property>
2945   <property name="decorated">True</property>
2946   <property name="skip_taskbar_hint">False</property>
2947   <property name="skip_pager_hint">False</property>
2948   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2949   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2950
2951   <child>
2952     <widget class="GtkTable" id="table1">
2953       <property name="visible">True</property>
2954       <property name="n_rows">3</property>
2955       <property name="n_columns">2</property>
2956       <property name="homogeneous">False</property>
2957       <property name="row_spacing">5</property>
2958       <property name="column_spacing">0</property>
2959
2960       <child>
2961         <widget class="GtkLabel" id="label17">
2962           <property name="visible">True</property>
2963           <property name="label" translatable="yes">Find:</property>
2964           <property name="use_underline">False</property>
2965           <property name="use_markup">False</property>
2966           <property name="justify">GTK_JUSTIFY_LEFT</property>
2967           <property name="wrap">False</property>
2968           <property name="selectable">False</property>
2969           <property name="xalign">0</property>
2970           <property name="yalign">0.5</property>
2971           <property name="xpad">0</property>
2972           <property name="ypad">0</property>
2973         </widget>
2974         <packing>
2975           <property name="left_attach">0</property>
2976           <property name="right_attach">1</property>
2977           <property name="top_attach">0</property>
2978           <property name="bottom_attach">1</property>
2979           <property name="x_options">fill</property>
2980           <property name="y_options"></property>
2981         </packing>
2982       </child>
2983
2984       <child>
2985         <widget class="GtkLabel" id="label18">
2986           <property name="visible">True</property>
2987           <property name="label" translatable="yes">Replace with: </property>
2988           <property name="use_underline">False</property>
2989           <property name="use_markup">False</property>
2990           <property name="justify">GTK_JUSTIFY_LEFT</property>
2991           <property name="wrap">False</property>
2992           <property name="selectable">False</property>
2993           <property name="xalign">0</property>
2994           <property name="yalign">0.5</property>
2995           <property name="xpad">0</property>
2996           <property name="ypad">0</property>
2997         </widget>
2998         <packing>
2999           <property name="left_attach">0</property>
3000           <property name="right_attach">1</property>
3001           <property name="top_attach">1</property>
3002           <property name="bottom_attach">2</property>
3003           <property name="x_options">fill</property>
3004           <property name="y_options"></property>
3005         </packing>
3006       </child>
3007
3008       <child>
3009         <widget class="GtkEntry" id="findEntry">
3010           <property name="visible">True</property>
3011           <property name="can_default">True</property>
3012           <property name="has_default">True</property>
3013           <property name="can_focus">True</property>
3014           <property name="has_focus">True</property>
3015           <property name="editable">True</property>
3016           <property name="visibility">True</property>
3017           <property name="max_length">0</property>
3018           <property name="text" translatable="yes"></property>
3019           <property name="has_frame">True</property>
3020           <property name="invisible_char">*</property>
3021           <property name="activates_default">False</property>
3022         </widget>
3023         <packing>
3024           <property name="left_attach">1</property>
3025           <property name="right_attach">2</property>
3026           <property name="top_attach">0</property>
3027           <property name="bottom_attach">1</property>
3028           <property name="y_options"></property>
3029         </packing>
3030       </child>
3031
3032       <child>
3033         <widget class="GtkEntry" id="replaceEntry">
3034           <property name="visible">True</property>
3035           <property name="can_focus">True</property>
3036           <property name="editable">True</property>
3037           <property name="visibility">True</property>
3038           <property name="max_length">0</property>
3039           <property name="text" translatable="yes"></property>
3040           <property name="has_frame">True</property>
3041           <property name="invisible_char">*</property>
3042           <property name="activates_default">False</property>
3043         </widget>
3044         <packing>
3045           <property name="left_attach">1</property>
3046           <property name="right_attach">2</property>
3047           <property name="top_attach">1</property>
3048           <property name="bottom_attach">2</property>
3049           <property name="y_options"></property>
3050         </packing>
3051       </child>
3052
3053       <child>
3054         <widget class="GtkHBox" id="hbox19">
3055           <property name="visible">True</property>
3056           <property name="homogeneous">False</property>
3057           <property name="spacing">5</property>
3058
3059           <child>
3060             <widget class="GtkVBox" id="vbox9">
3061               <property name="visible">True</property>
3062               <property name="homogeneous">False</property>
3063               <property name="spacing">0</property>
3064
3065               <child>
3066                 <placeholder/>
3067               </child>
3068
3069               <child>
3070                 <placeholder/>
3071               </child>
3072             </widget>
3073             <packing>
3074               <property name="padding">0</property>
3075               <property name="expand">True</property>
3076               <property name="fill">True</property>
3077             </packing>
3078           </child>
3079
3080           <child>
3081             <widget class="GtkButton" id="findButton">
3082               <property name="visible">True</property>
3083               <property name="can_focus">True</property>
3084               <property name="label">gtk-find</property>
3085               <property name="use_stock">True</property>
3086               <property name="relief">GTK_RELIEF_NORMAL</property>
3087               <property name="focus_on_click">True</property>
3088             </widget>
3089             <packing>
3090               <property name="padding">0</property>
3091               <property name="expand">False</property>
3092               <property name="fill">False</property>
3093             </packing>
3094           </child>
3095
3096           <child>
3097             <widget class="GtkButton" id="findReplButton">
3098               <property name="visible">True</property>
3099               <property name="can_focus">True</property>
3100               <property name="relief">GTK_RELIEF_NORMAL</property>
3101               <property name="focus_on_click">True</property>
3102
3103               <child>
3104                 <widget class="GtkAlignment" id="alignment13">
3105                   <property name="visible">True</property>
3106                   <property name="xalign">0.5</property>
3107                   <property name="yalign">0.5</property>
3108                   <property name="xscale">0</property>
3109                   <property name="yscale">0</property>
3110                   <property name="top_padding">0</property>
3111                   <property name="bottom_padding">0</property>
3112                   <property name="left_padding">0</property>
3113                   <property name="right_padding">0</property>
3114
3115                   <child>
3116                     <widget class="GtkHBox" id="hbox20">
3117                       <property name="visible">True</property>
3118                       <property name="homogeneous">False</property>
3119                       <property name="spacing">2</property>
3120
3121                       <child>
3122                         <widget class="GtkImage" id="image357">
3123                           <property name="visible">True</property>
3124                           <property name="stock">gtk-find-and-replace</property>
3125                           <property name="icon_size">4</property>
3126                           <property name="xalign">0.5</property>
3127                           <property name="yalign">0.5</property>
3128                           <property name="xpad">0</property>
3129                           <property name="ypad">0</property>
3130                         </widget>
3131                         <packing>
3132                           <property name="padding">0</property>
3133                           <property name="expand">False</property>
3134                           <property name="fill">False</property>
3135                         </packing>
3136                       </child>
3137
3138                       <child>
3139                         <widget class="GtkLabel" id="label19">
3140                           <property name="visible">True</property>
3141                           <property name="label">_Replace</property>
3142                           <property name="use_underline">True</property>
3143                           <property name="use_markup">False</property>
3144                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3145                           <property name="wrap">False</property>
3146                           <property name="selectable">False</property>
3147                           <property name="xalign">0.5</property>
3148                           <property name="yalign">0.5</property>
3149                           <property name="xpad">0</property>
3150                           <property name="ypad">0</property>
3151                         </widget>
3152                         <packing>
3153                           <property name="padding">0</property>
3154                           <property name="expand">False</property>
3155                           <property name="fill">False</property>
3156                         </packing>
3157                       </child>
3158                     </widget>
3159                   </child>
3160                 </widget>
3161               </child>
3162             </widget>
3163             <packing>
3164               <property name="padding">0</property>
3165               <property name="expand">False</property>
3166               <property name="fill">False</property>
3167             </packing>
3168           </child>
3169
3170           <child>
3171             <widget class="GtkButton" id="cancelButton">
3172               <property name="visible">True</property>
3173               <property name="can_focus">True</property>
3174               <property name="label">gtk-cancel</property>
3175               <property name="use_stock">True</property>
3176               <property name="relief">GTK_RELIEF_NORMAL</property>
3177               <property name="focus_on_click">True</property>
3178             </widget>
3179             <packing>
3180               <property name="padding">0</property>
3181               <property name="expand">False</property>
3182               <property name="fill">False</property>
3183             </packing>
3184           </child>
3185         </widget>
3186         <packing>
3187           <property name="left_attach">0</property>
3188           <property name="right_attach">2</property>
3189           <property name="top_attach">2</property>
3190           <property name="bottom_attach">3</property>
3191           <property name="y_padding">5</property>
3192         </packing>
3193       </child>
3194     </widget>
3195   </child>
3196 </widget>
3197
3198 <widget class="GtkWindow" id="newDevelopmentWin">
3199   <property name="title" translatable="yes">Create development</property>
3200   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3201   <property name="window_position">GTK_WIN_POS_CENTER_ALWAYS</property>
3202   <property name="modal">True</property>
3203   <property name="resizable">False</property>
3204   <property name="destroy_with_parent">False</property>
3205   <property name="decorated">True</property>
3206   <property name="skip_taskbar_hint">False</property>
3207   <property name="skip_pager_hint">False</property>
3208   <property name="type_hint">GDK_WINDOW_TYPE_HINT_UTILITY</property>
3209   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3210
3211   <child>
3212     <widget class="GtkVBox" id="vbox10">
3213       <property name="visible">True</property>
3214       <property name="homogeneous">False</property>
3215       <property name="spacing">0</property>
3216
3217       <child>
3218         <widget class="GtkTable" id="table2">
3219           <property name="border_width">3</property>
3220           <property name="visible">True</property>
3221           <property name="n_rows">2</property>
3222           <property name="n_columns">3</property>
3223           <property name="homogeneous">False</property>
3224           <property name="row_spacing">5</property>
3225           <property name="column_spacing">5</property>
3226
3227           <child>
3228             <widget class="GtkLabel" id="label20">
3229               <property name="visible">True</property>
3230               <property name="label" translatable="yes">Name</property>
3231               <property name="use_underline">False</property>
3232               <property name="use_markup">False</property>
3233               <property name="justify">GTK_JUSTIFY_LEFT</property>
3234               <property name="wrap">False</property>
3235               <property name="selectable">False</property>
3236               <property name="xalign">0</property>
3237               <property name="yalign">0.5</property>
3238               <property name="xpad">0</property>
3239               <property name="ypad">0</property>
3240             </widget>
3241             <packing>
3242               <property name="left_attach">0</property>
3243               <property name="right_attach">1</property>
3244               <property name="top_attach">0</property>
3245               <property name="bottom_attach">1</property>
3246               <property name="x_options">fill</property>
3247               <property name="y_options"></property>
3248             </packing>
3249           </child>
3250
3251           <child>
3252             <widget class="GtkLabel" id="label21">
3253               <property name="visible">True</property>
3254               <property name="label" translatable="yes">Root directory</property>
3255               <property name="use_underline">False</property>
3256               <property name="use_markup">False</property>
3257               <property name="justify">GTK_JUSTIFY_LEFT</property>
3258               <property name="wrap">False</property>
3259               <property name="selectable">False</property>
3260               <property name="xalign">0</property>
3261               <property name="yalign">0.5</property>
3262               <property name="xpad">0</property>
3263               <property name="ypad">0</property>
3264             </widget>
3265             <packing>
3266               <property name="left_attach">0</property>
3267               <property name="right_attach">1</property>
3268               <property name="top_attach">1</property>
3269               <property name="bottom_attach">2</property>
3270               <property name="x_options">fill</property>
3271               <property name="y_options"></property>
3272             </packing>
3273           </child>
3274
3275           <child>
3276             <widget class="GtkEntry" id="nameEntry">
3277               <property name="visible">True</property>
3278               <property name="can_focus">True</property>
3279               <property name="editable">True</property>
3280               <property name="visibility">True</property>
3281               <property name="max_length">0</property>
3282               <property name="text" translatable="yes"></property>
3283               <property name="has_frame">True</property>
3284               <property name="invisible_char">*</property>
3285               <property name="activates_default">False</property>
3286             </widget>
3287             <packing>
3288               <property name="left_attach">1</property>
3289               <property name="right_attach">2</property>
3290               <property name="top_attach">0</property>
3291               <property name="bottom_attach">1</property>
3292               <property name="y_options"></property>
3293             </packing>
3294           </child>
3295
3296           <child>
3297             <widget class="GtkEntry" id="rootEntry">
3298               <property name="visible">True</property>
3299               <property name="can_focus">True</property>
3300               <property name="editable">True</property>
3301               <property name="visibility">True</property>
3302               <property name="max_length">0</property>
3303               <property name="text" translatable="yes"></property>
3304               <property name="has_frame">True</property>
3305               <property name="invisible_char">*</property>
3306               <property name="activates_default">False</property>
3307             </widget>
3308             <packing>
3309               <property name="left_attach">1</property>
3310               <property name="right_attach">2</property>
3311               <property name="top_attach">1</property>
3312               <property name="bottom_attach">2</property>
3313               <property name="y_options"></property>
3314             </packing>
3315           </child>
3316
3317           <child>
3318             <widget class="GtkButton" id="chooseRootButton">
3319               <property name="visible">True</property>
3320               <property name="can_focus">True</property>
3321               <property name="label" translatable="yes">...</property>
3322               <property name="use_underline">True</property>
3323               <property name="relief">GTK_RELIEF_NORMAL</property>
3324               <property name="focus_on_click">True</property>
3325             </widget>
3326             <packing>
3327               <property name="left_attach">2</property>
3328               <property name="right_attach">3</property>
3329               <property name="top_attach">1</property>
3330               <property name="bottom_attach">2</property>
3331               <property name="x_options">fill</property>
3332               <property name="y_options"></property>
3333             </packing>
3334           </child>
3335         </widget>
3336         <packing>
3337           <property name="padding">0</property>
3338           <property name="expand">False</property>
3339           <property name="fill">True</property>
3340         </packing>
3341       </child>
3342
3343       <child>
3344         <widget class="GtkHSeparator" id="hseparator1">
3345           <property name="visible">True</property>
3346         </widget>
3347         <packing>
3348           <property name="padding">2</property>
3349           <property name="expand">False</property>
3350           <property name="fill">True</property>
3351         </packing>
3352       </child>
3353
3354       <child>
3355         <widget class="GtkHBox" id="hbox21">
3356           <property name="border_width">3</property>
3357           <property name="visible">True</property>
3358           <property name="homogeneous">False</property>
3359           <property name="spacing">5</property>
3360
3361           <child>
3362             <widget class="GtkVBox" id="vbox11">
3363               <property name="visible">True</property>
3364               <property name="homogeneous">False</property>
3365               <property name="spacing">0</property>
3366
3367               <child>
3368                 <placeholder/>
3369               </child>
3370
3371               <child>
3372                 <placeholder/>
3373               </child>
3374             </widget>
3375             <packing>
3376               <property name="padding">0</property>
3377               <property name="expand">True</property>
3378               <property name="fill">True</property>
3379             </packing>
3380           </child>
3381
3382           <child>
3383             <widget class="GtkButton" id="addButton">
3384               <property name="visible">True</property>
3385               <property name="can_focus">True</property>
3386               <property name="label">gtk-add</property>
3387               <property name="use_stock">True</property>
3388               <property name="relief">GTK_RELIEF_NORMAL</property>
3389               <property name="focus_on_click">True</property>
3390             </widget>
3391             <packing>
3392               <property name="padding">0</property>
3393               <property name="expand">False</property>
3394               <property name="fill">False</property>
3395             </packing>
3396           </child>
3397
3398           <child>
3399             <widget class="GtkButton" id="cancelButton">
3400               <property name="visible">True</property>
3401               <property name="can_focus">True</property>
3402               <property name="label">gtk-cancel</property>
3403               <property name="use_stock">True</property>
3404               <property name="relief">GTK_RELIEF_NORMAL</property>
3405               <property name="focus_on_click">True</property>
3406             </widget>
3407             <packing>
3408               <property name="padding">0</property>
3409               <property name="expand">False</property>
3410               <property name="fill">False</property>
3411             </packing>
3412           </child>
3413         </widget>
3414         <packing>
3415           <property name="padding">0</property>
3416           <property name="expand">False</property>
3417           <property name="fill">True</property>
3418         </packing>
3419       </child>
3420     </widget>
3421   </child>
3422 </widget>
3423
3424 <widget class="GtkWindow" id="develListWin">
3425   <property name="title" translatable="yes">Developments</property>
3426   <property name="type">GTK_WINDOW_TOPLEVEL</property>
3427   <property name="window_position">GTK_WIN_POS_CENTER</property>
3428   <property name="modal">False</property>
3429   <property name="resizable">True</property>
3430   <property name="destroy_with_parent">False</property>
3431   <property name="decorated">True</property>
3432   <property name="skip_taskbar_hint">False</property>
3433   <property name="skip_pager_hint">False</property>
3434   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
3435   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
3436
3437   <child>
3438     <widget class="GtkVBox" id="vbox12">
3439       <property name="visible">True</property>
3440       <property name="homogeneous">False</property>
3441       <property name="spacing">0</property>
3442
3443       <child>
3444         <widget class="GtkScrolledWindow" id="scrolledwindow10">
3445           <property name="visible">True</property>
3446           <property name="can_focus">True</property>
3447           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3448           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
3449           <property name="shadow_type">GTK_SHADOW_IN</property>
3450           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
3451
3452           <child>
3453             <widget class="GtkTreeView" id="developmentsTreeview">
3454               <property name="visible">True</property>
3455               <property name="can_focus">True</property>
3456               <property name="headers_visible">False</property>
3457               <property name="rules_hint">False</property>
3458               <property name="reorderable">False</property>
3459               <property name="enable_search">True</property>
3460             </widget>
3461           </child>
3462         </widget>
3463         <packing>
3464           <property name="padding">0</property>
3465           <property name="expand">True</property>
3466           <property name="fill">True</property>
3467         </packing>
3468       </child>
3469
3470       <child>
3471         <widget class="GtkHSeparator" id="hseparator2">
3472           <property name="visible">True</property>
3473         </widget>
3474         <packing>
3475           <property name="padding">2</property>
3476           <property name="expand">False</property>
3477           <property name="fill">True</property>
3478         </packing>
3479       </child>
3480
3481       <child>
3482         <widget class="GtkHBox" id="hbox22">
3483           <property name="border_width">3</property>
3484           <property name="visible">True</property>
3485           <property name="homogeneous">False</property>
3486           <property name="spacing">4</property>
3487
3488           <child>
3489             <widget class="GtkVBox" id="vbox13">
3490               <property name="visible">True</property>
3491               <property name="homogeneous">False</property>
3492               <property name="spacing">0</property>
3493
3494               <child>
3495                 <placeholder/>
3496               </child>
3497
3498               <child>
3499                 <placeholder/>
3500               </child>
3501             </widget>
3502             <packing>
3503               <property name="padding">0</property>
3504               <property name="expand">True</property>
3505               <property name="fill">True</property>
3506             </packing>
3507           </child>
3508
3509           <child>
3510             <widget class="GtkButton" id="newButton">
3511               <property name="visible">True</property>
3512               <property name="can_focus">True</property>
3513               <property name="label">gtk-new</property>
3514               <property name="use_stock">True</property>
3515               <property name="relief">GTK_RELIEF_NORMAL</property>
3516               <property name="focus_on_click">True</property>
3517             </widget>
3518             <packing>
3519               <property name="padding">0</property>
3520               <property name="expand">False</property>
3521               <property name="fill">False</property>
3522             </packing>
3523           </child>
3524
3525           <child>
3526             <widget class="GtkButton" id="deleteButton">
3527               <property name="visible">True</property>
3528               <property name="can_focus">True</property>
3529               <property name="label">gtk-delete</property>
3530               <property name="use_stock">True</property>
3531               <property name="relief">GTK_RELIEF_NORMAL</property>
3532               <property name="focus_on_click">True</property>
3533             </widget>
3534             <packing>
3535               <property name="padding">0</property>
3536               <property name="expand">False</property>
3537               <property name="fill">False</property>
3538             </packing>
3539           </child>
3540
3541           <child>
3542             <widget class="GtkButton" id="buildButton">
3543               <property name="visible">True</property>
3544               <property name="can_focus">True</property>
3545               <property name="relief">GTK_RELIEF_NORMAL</property>
3546               <property name="focus_on_click">True</property>
3547
3548               <child>
3549                 <widget class="GtkAlignment" id="alignment14">
3550                   <property name="visible">True</property>
3551                   <property name="xalign">0.5</property>
3552                   <property name="yalign">0.5</property>
3553                   <property name="xscale">0</property>
3554                   <property name="yscale">0</property>
3555                   <property name="top_padding">0</property>
3556                   <property name="bottom_padding">0</property>
3557                   <property name="left_padding">0</property>
3558                   <property name="right_padding">0</property>
3559
3560                   <child>
3561                     <widget class="GtkHBox" id="hbox23">
3562                       <property name="visible">True</property>
3563                       <property name="homogeneous">False</property>
3564                       <property name="spacing">2</property>
3565
3566                       <child>
3567                         <widget class="GtkImage" id="image358">
3568                           <property name="visible">True</property>
3569                           <property name="stock">gtk-execute</property>
3570                           <property name="icon_size">4</property>
3571                           <property name="xalign">0.5</property>
3572                           <property name="yalign">0.5</property>
3573                           <property name="xpad">0</property>
3574                           <property name="ypad">0</property>
3575                         </widget>
3576                         <packing>
3577                           <property name="padding">0</property>
3578                           <property name="expand">False</property>
3579                           <property name="fill">False</property>
3580                         </packing>
3581                       </child>
3582
3583                       <child>
3584                         <widget class="GtkLabel" id="label22">
3585                           <property name="visible">True</property>
3586                           <property name="label" translatable="yes">_Build</property>
3587                           <property name="use_underline">True</property>
3588                           <property name="use_markup">False</property>
3589                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3590                           <property name="wrap">False</property>
3591                           <property name="selectable">False</property>
3592                           <property name="xalign">0.5</property>
3593                           <property name="yalign">0.5</property>
3594                           <property name="xpad">0</property>
3595                           <property name="ypad">0</property>
3596                         </widget>
3597                         <packing>
3598                           <property name="padding">0</property>
3599                           <property name="expand">False</property>
3600                           <property name="fill">False</property>
3601                         </packing>
3602                       </child>
3603                     </widget>
3604                   </child>
3605                 </widget>
3606               </child>
3607             </widget>
3608             <packing>
3609               <property name="padding">0</property>
3610               <property name="expand">False</property>
3611               <property name="fill">False</property>
3612             </packing>
3613           </child>
3614
3615           <child>
3616             <widget class="GtkButton" id="cleanButton">
3617               <property name="visible">True</property>
3618               <property name="can_focus">True</property>
3619               <property name="relief">GTK_RELIEF_NORMAL</property>
3620               <property name="focus_on_click">True</property>
3621
3622               <child>
3623                 <widget class="GtkAlignment" id="alignment15">
3624                   <property name="visible">True</property>
3625                   <property name="xalign">0.5</property>
3626                   <property name="yalign">0.5</property>
3627                   <property name="xscale">0</property>
3628                   <property name="yscale">0</property>
3629                   <property name="top_padding">0</property>
3630                   <property name="bottom_padding">0</property>
3631                   <property name="left_padding">0</property>
3632                   <property name="right_padding">0</property>
3633
3634                   <child>
3635                     <widget class="GtkHBox" id="hbox24">
3636                       <property name="visible">True</property>
3637                       <property name="homogeneous">False</property>
3638                       <property name="spacing">2</property>
3639
3640                       <child>
3641                         <widget class="GtkImage" id="image359">
3642                           <property name="visible">True</property>
3643                           <property name="stock">gtk-clear</property>
3644                           <property name="icon_size">4</property>
3645                           <property name="xalign">0.5</property>
3646                           <property name="yalign">0.5</property>
3647                           <property name="xpad">0</property>
3648                           <property name="ypad">0</property>
3649                         </widget>
3650                         <packing>
3651                           <property name="padding">0</property>
3652                           <property name="expand">False</property>
3653                           <property name="fill">False</property>
3654                         </packing>
3655                       </child>
3656
3657                       <child>
3658                         <widget class="GtkLabel" id="label23">
3659                           <property name="visible">True</property>
3660                           <property name="label" translatable="yes">C_lean</property>
3661                           <property name="use_underline">True</property>
3662                           <property name="use_markup">False</property>
3663                           <property name="justify">GTK_JUSTIFY_LEFT</property>
3664                           <property name="wrap">False</property>
3665                           <property name="selectable">False</property>
3666                           <property name="xalign">0.5</property>
3667                           <property name="yalign">0.5</property>
3668                           <property name="xpad">0</property>
3669                           <property name="ypad">0</property>
3670                         </widget>
3671                         <packing>
3672                           <property name="padding">0</property>
3673                           <property name="expand">False</property>
3674                           <property name="fill">False</property>
3675                         </packing>
3676                       </child>
3677                     </widget>
3678                   </child>
3679                 </widget>
3680               </child>
3681             </widget>
3682             <packing>
3683               <property name="padding">0</property>
3684               <property name="expand">False</property>
3685               <property name="fill">False</property>
3686             </packing>
3687           </child>
3688
3689           <child>
3690             <widget class="GtkButton" id="closeButton">
3691               <property name="visible">True</property>
3692               <property name="can_focus">True</property>
3693               <property name="label">gtk-close</property>
3694               <property name="use_stock">True</property>
3695               <property name="relief">GTK_RELIEF_NORMAL</property>
3696               <property name="focus_on_click">True</property>
3697             </widget>
3698             <packing>
3699               <property name="padding">0</property>
3700               <property name="expand">False</property>
3701               <property name="fill">False</property>
3702             </packing>
3703           </child>
3704         </widget>
3705         <packing>
3706           <property name="padding">0</property>
3707           <property name="expand">False</property>
3708           <property name="fill">True</property>
3709         </packing>
3710       </child>
3711     </widget>
3712   </child>
3713 </widget>
3714
3715 </glade-interface>