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) 2004,
  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="width_request">400</property>
  83   <property name="height_request">500</property>
  84   <property name="visible">True</property>
  85   <property name="title" translatable="yes">Cic browser</property>
  86   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  87   <property name="window_position">GTK_WIN_POS_NONE</property>
  88   <property name="modal">False</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="GtkHandleBox" id="handlebox1">
 111               <property name="visible">True</property>
 112               <property name="shadow_type">GTK_SHADOW_OUT</property>
 113               <property name="handle_position">GTK_POS_LEFT</property>
 114               <property name="snap_edge">GTK_POS_TOP</property>
 115
 116               <child>
 117                 <widget class="GtkHBox" id="hbox7">
 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="tooltip" translatable="yes">new browser win</property>
 126                       <property name="can_default">True</property>
 127                       <property name="can_focus">True</property>
 128                       <property name="relief">GTK_RELIEF_NORMAL</property>
 129                       <property name="focus_on_click">True</property>
 130
 131                       <child>
 132                         <widget class="GtkImage" id="image191">
 133                           <property name="visible">True</property>
 134                           <property name="stock">gtk-new</property>
 135                           <property name="icon_size">4</property>
 136                           <property name="xalign">0.5</property>
 137                           <property name="yalign">0.5</property>
 138                           <property name="xpad">0</property>
 139                           <property name="ypad">0</property>
 140                         </widget>
 141                       </child>
 142                     </widget>
 143                     <packing>
 144                       <property name="padding">0</property>
 145                       <property name="expand">False</property>
 146                       <property name="fill">False</property>
 147                     </packing>
 148                   </child>
 149
 150                   <child>
 151                     <widget class="GtkButton" id="BrowserBackButton">
 152                       <property name="visible">True</property>
 153                       <property name="tooltip" translatable="yes">history back</property>
 154                       <property name="can_default">True</property>
 155                       <property name="can_focus">True</property>
 156                       <property name="relief">GTK_RELIEF_NORMAL</property>
 157                       <property name="focus_on_click">True</property>
 158
 159                       <child>
 160                         <widget class="GtkAlignment" id="alignment3">
 161                           <property name="visible">True</property>
 162                           <property name="xalign">0.5</property>
 163                           <property name="yalign">0.5</property>
 164                           <property name="xscale">0</property>
 165                           <property name="yscale">0</property>
 166                           <property name="top_padding">0</property>
 167                           <property name="bottom_padding">0</property>
 168                           <property name="left_padding">0</property>
 169                           <property name="right_padding">0</property>
 170
 171                           <child>
 172                             <widget class="GtkHBox" id="hbox6">
 173                               <property name="visible">True</property>
 174                               <property name="homogeneous">False</property>
 175                               <property name="spacing">2</property>
 176
 177                               <child>
 178                                 <widget class="GtkImage" id="image188">
 179                                   <property name="visible">True</property>
 180                                   <property name="stock">gtk-go-back</property>
 181                                   <property name="icon_size">4</property>
 182                                   <property name="xalign">0.5</property>
 183                                   <property name="yalign">0.5</property>
 184                                   <property name="xpad">0</property>
 185                                   <property name="ypad">0</property>
 186                                 </widget>
 187                                 <packing>
 188                                   <property name="padding">0</property>
 189                                   <property name="expand">False</property>
 190                                   <property name="fill">False</property>
 191                                 </packing>
 192                               </child>
 193
 194                               <child>
 195                                 <widget class="GtkLabel" id="label10">
 196                                   <property name="visible">True</property>
 197                                   <property name="label" translatable="yes"></property>
 198                                   <property name="use_underline">True</property>
 199                                   <property name="use_markup">False</property>
 200                                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 201                                   <property name="wrap">False</property>
 202                                   <property name="selectable">False</property>
 203                                   <property name="xalign">0.5</property>
 204                                   <property name="yalign">0.5</property>
 205                                   <property name="xpad">0</property>
 206                                   <property name="ypad">0</property>
 207                                 </widget>
 208                                 <packing>
 209                                   <property name="padding">0</property>
 210                                   <property name="expand">False</property>
 211                                   <property name="fill">False</property>
 212                                 </packing>
 213                               </child>
 214                             </widget>
 215                           </child>
 216                         </widget>
 217                       </child>
 218                     </widget>
 219                     <packing>
 220                       <property name="padding">0</property>
 221                       <property name="expand">False</property>
 222                       <property name="fill">False</property>
 223                     </packing>
 224                   </child>
 225
 226                   <child>
 227                     <widget class="GtkButton" id="BrowserForwardButton">
 228                       <property name="visible">True</property>
 229                       <property name="tooltip" translatable="yes">history forward</property>
 230                       <property name="can_default">True</property>
 231                       <property name="can_focus">True</property>
 232                       <property name="relief">GTK_RELIEF_NORMAL</property>
 233                       <property name="focus_on_click">True</property>
 234
 235                       <child>
 236                         <widget class="GtkImage" id="image189">
 237                           <property name="visible">True</property>
 238                           <property name="stock">gtk-go-forward</property>
 239                           <property name="icon_size">4</property>
 240                           <property name="xalign">0.5</property>
 241                           <property name="yalign">0.5</property>
 242                           <property name="xpad">0</property>
 243                           <property name="ypad">0</property>
 244                         </widget>
 245                       </child>
 246                     </widget>
 247                     <packing>
 248                       <property name="padding">0</property>
 249                       <property name="expand">False</property>
 250                       <property name="fill">False</property>
 251                     </packing>
 252                   </child>
 253
 254                   <child>
 255                     <widget class="GtkButton" id="BrowserRefreshButton">
 256                       <property name="visible">True</property>
 257                       <property name="tooltip" translatable="yes">refresh</property>
 258                       <property name="can_default">True</property>
 259                       <property name="can_focus">True</property>
 260                       <property name="relief">GTK_RELIEF_NORMAL</property>
 261                       <property name="focus_on_click">True</property>
 262
 263                       <child>
 264                         <widget class="GtkImage" id="image229">
 265                           <property name="visible">True</property>
 266                           <property name="stock">gtk-refresh</property>
 267                           <property name="icon_size">4</property>
 268                           <property name="xalign">0.5</property>
 269                           <property name="yalign">0.5</property>
 270                           <property name="xpad">0</property>
 271                           <property name="ypad">0</property>
 272                         </widget>
 273                       </child>
 274                     </widget>
 275                     <packing>
 276                       <property name="padding">0</property>
 277                       <property name="expand">False</property>
 278                       <property name="fill">False</property>
 279                     </packing>
 280                   </child>
 281
 282                   <child>
 283                     <widget class="GtkButton" id="BrowserHomeButton">
 284                       <property name="visible">True</property>
 285                       <property name="tooltip" translatable="yes">home</property>
 286                       <property name="can_default">True</property>
 287                       <property name="can_focus">True</property>
 288                       <property name="relief">GTK_RELIEF_NORMAL</property>
 289                       <property name="focus_on_click">True</property>
 290
 291                       <child>
 292                         <widget class="GtkImage" id="image190">
 293                           <property name="visible">True</property>
 294                           <property name="stock">gtk-home</property>
 295                           <property name="icon_size">4</property>
 296                           <property name="xalign">0.5</property>
 297                           <property name="yalign">0.5</property>
 298                           <property name="xpad">0</property>
 299                           <property name="ypad">0</property>
 300                         </widget>
 301                       </child>
 302                     </widget>
 303                     <packing>
 304                       <property name="padding">0</property>
 305                       <property name="expand">False</property>
 306                       <property name="fill">False</property>
 307                     </packing>
 308                   </child>
 309
 310                   <child>
 311                     <widget class="GtkImage" id="image187">
 312                       <property name="visible">True</property>
 313                       <property name="stock">gtk-jump-to</property>
 314                       <property name="icon_size">4</property>
 315                       <property name="xalign">0.5</property>
 316                       <property name="yalign">0.5</property>
 317                       <property name="xpad">0</property>
 318                       <property name="ypad">0</property>
 319                     </widget>
 320                     <packing>
 321                       <property name="padding">0</property>
 322                       <property name="expand">False</property>
 323                       <property name="fill">True</property>
 324                     </packing>
 325                   </child>
 326
 327                   <child>
 328                     <widget class="GtkEntry" id="BrowserUri">
 329                       <property name="visible">True</property>
 330                       <property name="tooltip" translatable="yes">cic uri</property>
 331                       <property name="can_focus">True</property>
 332                       <property name="editable">True</property>
 333                       <property name="visibility">True</property>
 334                       <property name="max_length">0</property>
 335                       <property name="text" translatable="yes"></property>
 336                       <property name="has_frame">True</property>
 337                       <property name="invisible_char">*</property>
 338                       <property name="activates_default">False</property>
 339                     </widget>
 340                     <packing>
 341                       <property name="padding">0</property>
 342                       <property name="expand">True</property>
 343                       <property name="fill">True</property>
 344                     </packing>
 345                   </child>
 346                 </widget>
 347               </child>
 348             </widget>
 349             <packing>
 350               <property name="padding">0</property>
 351               <property name="expand">False</property>
 352               <property name="fill">True</property>
 353             </packing>
 354           </child>
 355
 356           <child>
 357             <widget class="GtkFrame" id="frame1">
 358               <property name="visible">True</property>
 359               <property name="label_xalign">0</property>
 360               <property name="label_yalign">0</property>
 361               <property name="shadow_type">GTK_SHADOW_NONE</property>
 362
 363               <child>
 364                 <widget class="GtkScrolledWindow" id="ScrolledBrowser">
 365                   <property name="visible">True</property>
 366                   <property name="can_focus">True</property>
 367                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 368                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 369                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 370                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 371
 372                   <child>
 373                     <placeholder/>
 374                   </child>
 375                 </widget>
 376               </child>
 377             </widget>
 378             <packing>
 379               <property name="padding">0</property>
 380               <property name="expand">True</property>
 381               <property name="fill">True</property>
 382             </packing>
 383           </child>
 384         </widget>
 385       </child>
 386     </widget>
 387   </child>
 388 </widget>
 389
 390 <widget class="GtkDialog" id="ConfirmationDialog">
 391   <property name="title" translatable="yes">DUMMY</property>
 392   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 393   <property name="window_position">GTK_WIN_POS_CENTER</property>
 394   <property name="modal">True</property>
 395   <property name="resizable">False</property>
 396   <property name="destroy_with_parent">False</property>
 397   <property name="decorated">True</property>
 398   <property name="skip_taskbar_hint">False</property>
 399   <property name="skip_pager_hint">False</property>
 400   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 401   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 402   <property name="has_separator">True</property>
 403
 404   <child internal-child="vbox">
 405     <widget class="GtkVBox" id="dialog-vbox1">
 406       <property name="visible">True</property>
 407       <property name="homogeneous">False</property>
 408       <property name="spacing">0</property>
 409
 410       <child internal-child="action_area">
 411         <widget class="GtkHButtonBox" id="dialog-action_area1">
 412           <property name="visible">True</property>
 413           <property name="layout_style">GTK_BUTTONBOX_END</property>
 414
 415           <child>
 416             <widget class="GtkButton" id="ConfirmationDialogCancelButton">
 417               <property name="visible">True</property>
 418               <property name="can_default">True</property>
 419               <property name="can_focus">True</property>
 420               <property name="label">gtk-cancel</property>
 421               <property name="use_stock">True</property>
 422               <property name="relief">GTK_RELIEF_NORMAL</property>
 423               <property name="focus_on_click">True</property>
 424               <property name="response_id">-6</property>
 425             </widget>
 426           </child>
 427
 428           <child>
 429             <widget class="GtkButton" id="ConfirmationDialogOkButton">
 430               <property name="visible">True</property>
 431               <property name="can_default">True</property>
 432               <property name="can_focus">True</property>
 433               <property name="label">gtk-ok</property>
 434               <property name="use_stock">True</property>
 435               <property name="relief">GTK_RELIEF_NORMAL</property>
 436               <property name="focus_on_click">True</property>
 437               <property name="response_id">-5</property>
 438             </widget>
 439           </child>
 440         </widget>
 441         <packing>
 442           <property name="padding">0</property>
 443           <property name="expand">False</property>
 444           <property name="fill">True</property>
 445           <property name="pack_type">GTK_PACK_END</property>
 446         </packing>
 447       </child>
 448
 449       <child>
 450         <widget class="GtkLabel" id="ConfirmationDialogLabel">
 451           <property name="visible">True</property>
 452           <property name="label" translatable="yes">DUMMY</property>
 453           <property name="use_underline">False</property>
 454           <property name="use_markup">False</property>
 455           <property name="justify">GTK_JUSTIFY_CENTER</property>
 456           <property name="wrap">False</property>
 457           <property name="selectable">False</property>
 458           <property name="xalign">0.5</property>
 459           <property name="yalign">0.5</property>
 460           <property name="xpad">0</property>
 461           <property name="ypad">0</property>
 462         </widget>
 463         <packing>
 464           <property name="padding">0</property>
 465           <property name="expand">False</property>
 466           <property name="fill">False</property>
 467         </packing>
 468       </child>
 469     </widget>
 470   </child>
 471 </widget>
 472
 473 <widget class="GtkDialog" id="EmptyDialog">
 474   <property name="visible">True</property>
 475   <property name="title" translatable="yes">DUMMY</property>
 476   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 477   <property name="window_position">GTK_WIN_POS_NONE</property>
 478   <property name="modal">False</property>
 479   <property name="resizable">True</property>
 480   <property name="destroy_with_parent">False</property>
 481   <property name="decorated">True</property>
 482   <property name="skip_taskbar_hint">False</property>
 483   <property name="skip_pager_hint">False</property>
 484   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 485   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 486   <property name="has_separator">True</property>
 487
 488   <child internal-child="vbox">
 489     <widget class="GtkVBox" id="EmptyDialogVBox">
 490       <property name="visible">True</property>
 491       <property name="homogeneous">False</property>
 492       <property name="spacing">0</property>
 493
 494       <child internal-child="action_area">
 495         <widget class="GtkHButtonBox" id="dialog-action_area5">
 496           <property name="visible">True</property>
 497           <property name="layout_style">GTK_BUTTONBOX_END</property>
 498
 499           <child>
 500             <widget class="GtkButton" id="EmptyDialogCancelButton">
 501               <property name="visible">True</property>
 502               <property name="can_default">True</property>
 503               <property name="can_focus">True</property>
 504               <property name="label">gtk-cancel</property>
 505               <property name="use_stock">True</property>
 506               <property name="relief">GTK_RELIEF_NORMAL</property>
 507               <property name="focus_on_click">True</property>
 508               <property name="response_id">-6</property>
 509             </widget>
 510           </child>
 511
 512           <child>
 513             <widget class="GtkButton" id="EmptyDialogOkButton">
 514               <property name="visible">True</property>
 515               <property name="can_default">True</property>
 516               <property name="can_focus">True</property>
 517               <property name="label">gtk-ok</property>
 518               <property name="use_stock">True</property>
 519               <property name="relief">GTK_RELIEF_NORMAL</property>
 520               <property name="focus_on_click">True</property>
 521               <property name="response_id">-5</property>
 522             </widget>
 523           </child>
 524         </widget>
 525         <packing>
 526           <property name="padding">0</property>
 527           <property name="expand">False</property>
 528           <property name="fill">True</property>
 529           <property name="pack_type">GTK_PACK_END</property>
 530         </packing>
 531       </child>
 532
 533       <child>
 534         <widget class="GtkLabel" id="EmptyDialogLabel">
 535           <property name="visible">True</property>
 536           <property name="label" translatable="yes">DUMMY</property>
 537           <property name="use_underline">False</property>
 538           <property name="use_markup">False</property>
 539           <property name="justify">GTK_JUSTIFY_LEFT</property>
 540           <property name="wrap">False</property>
 541           <property name="selectable">False</property>
 542           <property name="xalign">0.5</property>
 543           <property name="yalign">0.5</property>
 544           <property name="xpad">0</property>
 545           <property name="ypad">0</property>
 546         </widget>
 547         <packing>
 548           <property name="padding">0</property>
 549           <property name="expand">False</property>
 550           <property name="fill">False</property>
 551         </packing>
 552       </child>
 553
 554       <child>
 555         <placeholder/>
 556       </child>
 557     </widget>
 558   </child>
 559 </widget>
 560
 561 <widget class="GtkFileSelection" id="FileSelectionWin">
 562   <property name="border_width">10</property>
 563   <property name="title" translatable="yes">Select File</property>
 564   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 565   <property name="window_position">GTK_WIN_POS_CENTER</property>
 566   <property name="modal">True</property>
 567   <property name="resizable">True</property>
 568   <property name="destroy_with_parent">False</property>
 569   <property name="decorated">True</property>
 570   <property name="skip_taskbar_hint">False</property>
 571   <property name="skip_pager_hint">False</property>
 572   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 573   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 574   <property name="show_fileops">True</property>
 575
 576   <child internal-child="cancel_button">
 577     <widget class="GtkButton" id="fileSelCancelButton">
 578       <property name="visible">True</property>
 579       <property name="can_default">True</property>
 580       <property name="can_focus">True</property>
 581       <property name="relief">GTK_RELIEF_NORMAL</property>
 582       <property name="focus_on_click">True</property>
 583     </widget>
 584   </child>
 585
 586   <child internal-child="ok_button">
 587     <widget class="GtkButton" id="fileSelOkButton">
 588       <property name="visible">True</property>
 589       <property name="can_default">True</property>
 590       <property name="can_focus">True</property>
 591       <property name="relief">GTK_RELIEF_NORMAL</property>
 592       <property name="focus_on_click">True</property>
 593     </widget>
 594   </child>
 595 </widget>
 596
 597 <widget class="GtkDialog" id="InterpChoiceDialog">
 598   <property name="height_request">200</property>
 599   <property name="title" translatable="yes">Interpretation choice</property>
 600   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 601   <property name="window_position">GTK_WIN_POS_NONE</property>
 602   <property name="modal">True</property>
 603   <property name="resizable">True</property>
 604   <property name="destroy_with_parent">False</property>
 605   <property name="decorated">True</property>
 606   <property name="skip_taskbar_hint">False</property>
 607   <property name="skip_pager_hint">False</property>
 608   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 609   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 610   <property name="has_separator">True</property>
 611
 612   <child internal-child="vbox">
 613     <widget class="GtkVBox" id="dialog-vbox4">
 614       <property name="visible">True</property>
 615       <property name="homogeneous">False</property>
 616       <property name="spacing">0</property>
 617
 618       <child internal-child="action_area">
 619         <widget class="GtkHButtonBox" id="dialog-action_area4">
 620           <property name="visible">True</property>
 621           <property name="layout_style">GTK_BUTTONBOX_END</property>
 622
 623           <child>
 624             <widget class="GtkButton" id="InterpChoiceHelpButton">
 625               <property name="visible">True</property>
 626               <property name="can_default">True</property>
 627               <property name="can_focus">True</property>
 628               <property name="label">gtk-help</property>
 629               <property name="use_stock">True</property>
 630               <property name="relief">GTK_RELIEF_NORMAL</property>
 631               <property name="focus_on_click">True</property>
 632               <property name="response_id">-11</property>
 633             </widget>
 634           </child>
 635
 636           <child>
 637             <widget class="GtkButton" id="InterpChoiceCancelButton">
 638               <property name="visible">True</property>
 639               <property name="can_default">True</property>
 640               <property name="can_focus">True</property>
 641               <property name="label">gtk-cancel</property>
 642               <property name="use_stock">True</property>
 643               <property name="relief">GTK_RELIEF_NORMAL</property>
 644               <property name="focus_on_click">True</property>
 645               <property name="response_id">-6</property>
 646             </widget>
 647           </child>
 648
 649           <child>
 650             <widget class="GtkButton" id="InterpChoiceOkButton">
 651               <property name="visible">True</property>
 652               <property name="can_default">True</property>
 653               <property name="can_focus">True</property>
 654               <property name="label">gtk-ok</property>
 655               <property name="use_stock">True</property>
 656               <property name="relief">GTK_RELIEF_NORMAL</property>
 657               <property name="focus_on_click">True</property>
 658               <property name="response_id">-5</property>
 659             </widget>
 660           </child>
 661         </widget>
 662         <packing>
 663           <property name="padding">0</property>
 664           <property name="expand">False</property>
 665           <property name="fill">True</property>
 666           <property name="pack_type">GTK_PACK_END</property>
 667         </packing>
 668       </child>
 669
 670       <child>
 671         <widget class="GtkVBox" id="vbox3">
 672           <property name="visible">True</property>
 673           <property name="homogeneous">False</property>
 674           <property name="spacing">0</property>
 675
 676           <child>
 677             <widget class="GtkLabel" id="InterpChoiceDialogLabel">
 678               <property name="visible">True</property>
 679               <property name="label" translatable="yes">some informative message here ...</property>
 680               <property name="use_underline">False</property>
 681               <property name="use_markup">False</property>
 682               <property name="justify">GTK_JUSTIFY_LEFT</property>
 683               <property name="wrap">False</property>
 684               <property name="selectable">False</property>
 685               <property name="xalign">0.5</property>
 686               <property name="yalign">0.5</property>
 687               <property name="xpad">0</property>
 688               <property name="ypad">0</property>
 689             </widget>
 690             <packing>
 691               <property name="padding">0</property>
 692               <property name="expand">False</property>
 693               <property name="fill">False</property>
 694             </packing>
 695           </child>
 696
 697           <child>
 698             <widget class="GtkScrolledWindow" id="scrolledwindow4">
 699               <property name="visible">True</property>
 700               <property name="can_focus">True</property>
 701               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 702               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 703               <property name="shadow_type">GTK_SHADOW_IN</property>
 704               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 705
 706               <child>
 707                 <widget class="GtkTreeView" id="InterpChoiceTreeView">
 708                   <property name="visible">True</property>
 709                   <property name="can_focus">True</property>
 710                   <property name="headers_visible">False</property>
 711                   <property name="rules_hint">False</property>
 712                   <property name="reorderable">False</property>
 713                   <property name="enable_search">True</property>
 714                 </widget>
 715               </child>
 716             </widget>
 717             <packing>
 718               <property name="padding">0</property>
 719               <property name="expand">True</property>
 720               <property name="fill">True</property>
 721             </packing>
 722           </child>
 723         </widget>
 724         <packing>
 725           <property name="padding">0</property>
 726           <property name="expand">True</property>
 727           <property name="fill">True</property>
 728         </packing>
 729       </child>
 730     </widget>
 731   </child>
 732 </widget>
 733
 734 <widget class="GtkWindow" id="MainWin">
 735   <property name="title" translatable="yes">Matita</property>
 736   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 737   <property name="window_position">GTK_WIN_POS_NONE</property>
 738   <property name="modal">False</property>
 739   <property name="default_width">800</property>
 740   <property name="default_height">600</property>
 741   <property name="resizable">True</property>
 742   <property name="destroy_with_parent">False</property>
 743   <property name="decorated">True</property>
 744   <property name="skip_taskbar_hint">False</property>
 745   <property name="skip_pager_hint">False</property>
 746   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 747   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 748
 749   <child>
 750     <widget class="GtkEventBox" id="MainWinEventBox">
 751       <property name="visible">True</property>
 752       <property name="visible_window">True</property>
 753       <property name="above_child">False</property>
 754
 755       <child>
 756         <widget class="GtkVBox" id="MainWinShape">
 757           <property name="visible">True</property>
 758           <property name="homogeneous">False</property>
 759           <property name="spacing">0</property>
 760
 761           <child>
 762             <widget class="GtkMenuBar" id="MainMenuBar">
 763               <property name="visible">True</property>
 764
 765               <child>
 766                 <widget class="GtkMenuItem" id="FileMenu">
 767                   <property name="visible">True</property>
 768                   <property name="label" translatable="yes">_File</property>
 769                   <property name="use_underline">True</property>
 770
 771                   <child>
 772                     <widget class="GtkMenu" id="FileMenu_menu">
 773
 774                       <child>
 775                         <widget class="GtkImageMenuItem" id="NewMenu">
 776                           <property name="visible">True</property>
 777                           <property name="label" translatable="yes">_New</property>
 778                           <property name="use_underline">True</property>
 779
 780                           <child internal-child="image">
 781                             <widget class="GtkImage" id="image224">
 782                               <property name="visible">True</property>
 783                               <property name="stock">gtk-new</property>
 784                               <property name="icon_size">1</property>
 785                               <property name="xalign">0.5</property>
 786                               <property name="yalign">0.5</property>
 787                               <property name="xpad">0</property>
 788                               <property name="ypad">0</property>
 789                             </widget>
 790                           </child>
 791
 792                           <child>
 793                             <widget class="GtkMenu" id="NewMenu_menu">
 794
 795                               <child>
 796                                 <widget class="GtkMenuItem" id="NewProofMenuItem">
 797                                   <property name="visible">True</property>
 798                                   <property name="label" translatable="yes">_Proof or definition ...</property>
 799                                   <property name="use_underline">True</property>
 800                                 </widget>
 801                               </child>
 802
 803                               <child>
 804                                 <widget class="GtkMenuItem" id="NewDefsMenuItem">
 805                                   <property name="visible">True</property>
 806                                   <property name="label" translatable="yes">(Co)Inductive _definitions ...</property>
 807                                   <property name="use_underline">True</property>
 808                                 </widget>
 809                               </child>
 810                             </widget>
 811                           </child>
 812                         </widget>
 813                       </child>
 814
 815                       <child>
 816                         <widget class="GtkImageMenuItem" id="OpenMenuItem">
 817                           <property name="visible">True</property>
 818                           <property name="label" translatable="yes">_Open...</property>
 819                           <property name="use_underline">True</property>
 820                           <accelerator key="o" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 821
 822                           <child internal-child="image">
 823                             <widget class="GtkImage" id="image225">
 824                               <property name="visible">True</property>
 825                               <property name="stock">gtk-open</property>
 826                               <property name="icon_size">1</property>
 827                               <property name="xalign">0.5</property>
 828                               <property name="yalign">0.5</property>
 829                               <property name="xpad">0</property>
 830                               <property name="ypad">0</property>
 831                             </widget>
 832                           </child>
 833                         </widget>
 834                       </child>
 835
 836                       <child>
 837                         <widget class="GtkImageMenuItem" id="SaveMenuItem">
 838                           <property name="visible">True</property>
 839                           <property name="label" translatable="yes">_Save</property>
 840                           <property name="use_underline">True</property>
 841                           <accelerator key="s" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 842
 843                           <child internal-child="image">
 844                             <widget class="GtkImage" id="image226">
 845                               <property name="visible">True</property>
 846                               <property name="stock">gtk-save</property>
 847                               <property name="icon_size">1</property>
 848                               <property name="xalign">0.5</property>
 849                               <property name="yalign">0.5</property>
 850                               <property name="xpad">0</property>
 851                               <property name="ypad">0</property>
 852                             </widget>
 853                           </child>
 854                         </widget>
 855                       </child>
 856
 857                       <child>
 858                         <widget class="GtkImageMenuItem" id="SaveAsMenuItem">
 859                           <property name="visible">True</property>
 860                           <property name="label" translatable="yes">Save _As ...</property>
 861                           <property name="use_underline">True</property>
 862
 863                           <child internal-child="image">
 864                             <widget class="GtkImage" id="image227">
 865                               <property name="visible">True</property>
 866                               <property name="stock">gtk-save-as</property>
 867                               <property name="icon_size">1</property>
 868                               <property name="xalign">0.5</property>
 869                               <property name="yalign">0.5</property>
 870                               <property name="xpad">0</property>
 871                               <property name="ypad">0</property>
 872                             </widget>
 873                           </child>
 874                         </widget>
 875                       </child>
 876
 877                       <child>
 878                         <widget class="GtkSeparatorMenuItem" id="separator1">
 879                           <property name="visible">True</property>
 880                         </widget>
 881                       </child>
 882
 883                       <child>
 884                         <widget class="GtkImageMenuItem" id="QuitMenuItem">
 885                           <property name="visible">True</property>
 886                           <property name="label" translatable="yes">_Quit</property>
 887                           <property name="use_underline">True</property>
 888                           <accelerator key="q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 889
 890                           <child internal-child="image">
 891                             <widget class="GtkImage" id="image228">
 892                               <property name="visible">True</property>
 893                               <property name="stock">gtk-quit</property>
 894                               <property name="icon_size">1</property>
 895                               <property name="xalign">0.5</property>
 896                               <property name="yalign">0.5</property>
 897                               <property name="xpad">0</property>
 898                               <property name="ypad">0</property>
 899                             </widget>
 900                           </child>
 901                         </widget>
 902                       </child>
 903                     </widget>
 904                   </child>
 905                 </widget>
 906               </child>
 907
 908               <child>
 909                 <widget class="GtkMenuItem" id="EditMenu">
 910                   <property name="visible">True</property>
 911                   <property name="label" translatable="yes">_Edit</property>
 912                   <property name="use_underline">True</property>
 913                 </widget>
 914               </child>
 915
 916               <child>
 917                 <widget class="GtkMenuItem" id="ViewMenu">
 918                   <property name="visible">True</property>
 919                   <property name="label" translatable="yes">_View</property>
 920                   <property name="use_underline">True</property>
 921
 922                   <child>
 923                     <widget class="GtkMenu" id="ViewMenu_menu">
 924
 925                       <child>
 926                         <widget class="GtkCheckMenuItem" id="ShowToolBarMenuItem">
 927                           <property name="visible">True</property>
 928                           <property name="label" translatable="yes">Show Button Bar</property>
 929                           <property name="use_underline">True</property>
 930                           <property name="active">True</property>
 931                         </widget>
 932                       </child>
 933
 934                       <child>
 935                         <widget class="GtkMenuItem" id="NewCicBrowserMenuItem">
 936                           <property name="visible">True</property>
 937                           <property name="label" translatable="yes">New Cic Browser</property>
 938                           <property name="use_underline">True</property>
 939                           <accelerator key="F3" modifiers="0" signal="activate"/>
 940                         </widget>
 941                       </child>
 942
 943                       <child>
 944                         <widget class="GtkCheckMenuItem" id="ShowScriptMenuItem">
 945                           <property name="visible">True</property>
 946                           <property name="label" translatable="yes">Show Script Window</property>
 947                           <property name="use_underline">True</property>
 948                           <property name="active">False</property>
 949                           <accelerator key="F5" modifiers="0" signal="activate"/>
 950                         </widget>
 951                       </child>
 952
 953                       <child>
 954                         <widget class="GtkSeparatorMenuItem" id="separator3">
 955                           <property name="visible">True</property>
 956                         </widget>
 957                       </child>
 958
 959                       <child>
 960                         <widget class="GtkMenuItem" id="ShowConsoleMenuItem">
 961                           <property name="visible">True</property>
 962                           <property name="label" translatable="yes">Toggle console</property>
 963                           <property name="use_underline">True</property>
 964                           <accelerator key="x" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 965                         </widget>
 966                       </child>
 967                     </widget>
 968                   </child>
 969                 </widget>
 970               </child>
 971
 972               <child>
 973                 <widget class="GtkMenuItem" id="DebugMenu">
 974                   <property name="visible">True</property>
 975                   <property name="label" translatable="yes">Debug</property>
 976                   <property name="use_underline">True</property>
 977
 978                   <child>
 979                     <widget class="GtkMenu" id="DebugMenu_menu">
 980
 981                       <child>
 982                         <widget class="GtkSeparatorMenuItem" id="separator2">
 983                           <property name="visible">True</property>
 984                         </widget>
 985                       </child>
 986                     </widget>
 987                   </child>
 988                 </widget>
 989               </child>
 990
 991               <child>
 992                 <widget class="GtkMenuItem" id="HelpMenu">
 993                   <property name="visible">True</property>
 994                   <property name="label" translatable="yes">_Help</property>
 995                   <property name="use_underline">True</property>
 996
 997                   <child>
 998                     <widget class="GtkMenu" id="HelpMenu_menu">
 999
1000                       <child>
1001                         <widget class="GtkMenuItem" id="AboutMenuItem">
1002                           <property name="visible">True</property>
1003                           <property name="label" translatable="yes">About...</property>
1004                           <property name="use_underline">True</property>
1005                         </widget>
1006                       </child>
1007                     </widget>
1008                   </child>
1009                 </widget>
1010               </child>
1011             </widget>
1012             <packing>
1013               <property name="padding">0</property>
1014               <property name="expand">False</property>
1015               <property name="fill">False</property>
1016             </packing>
1017           </child>
1018
1019           <child>
1020             <widget class="GtkVPaned" id="MainVPanes">
1021               <property name="visible">True</property>
1022               <property name="can_focus">True</property>
1023               <property name="position">450</property>
1024
1025               <child>
1026                 <widget class="GtkNotebook" id="SequentsNotebook">
1027                   <property name="visible">True</property>
1028                   <property name="can_focus">True</property>
1029                   <property name="show_tabs">True</property>
1030                   <property name="show_border">True</property>
1031                   <property name="tab_pos">GTK_POS_TOP</property>
1032                   <property name="scrollable">False</property>
1033                   <property name="enable_popup">False</property>
1034                 </widget>
1035                 <packing>
1036                   <property name="shrink">True</property>
1037                   <property name="resize">False</property>
1038                 </packing>
1039               </child>
1040
1041               <child>
1042                 <widget class="GtkEventBox" id="ConsoleEventBox">
1043                   <property name="visible">True</property>
1044                   <property name="visible_window">True</property>
1045                   <property name="above_child">False</property>
1046
1047                   <child>
1048                     <widget class="GtkHBox" id="ConsoleHBox">
1049                       <property name="visible">True</property>
1050                       <property name="homogeneous">False</property>
1051                       <property name="spacing">0</property>
1052
1053                       <child>
1054                         <widget class="GtkVBox" id="vbox6">
1055                           <property name="visible">True</property>
1056                           <property name="homogeneous">False</property>
1057                           <property name="spacing">0</property>
1058
1059                           <child>
1060                             <widget class="GtkButton" id="HideConsoleButton">
1061                               <property name="visible">True</property>
1062                               <property name="tooltip" translatable="yes">Hide console</property>
1063                               <property name="can_focus">True</property>
1064                               <property name="relief">GTK_RELIEF_NORMAL</property>
1065                               <property name="focus_on_click">True</property>
1066
1067                               <child>
1068                                 <widget class="GtkImage" id="image169">
1069                                   <property name="visible">True</property>
1070                                   <property name="stock">gtk-close</property>
1071                                   <property name="icon_size">4</property>
1072                                   <property name="xalign">0.5</property>
1073                                   <property name="yalign">0.5</property>
1074                                   <property name="xpad">0</property>
1075                                   <property name="ypad">0</property>
1076                                 </widget>
1077                               </child>
1078                             </widget>
1079                             <packing>
1080                               <property name="padding">0</property>
1081                               <property name="expand">False</property>
1082                               <property name="fill">False</property>
1083                             </packing>
1084                           </child>
1085                         </widget>
1086                         <packing>
1087                           <property name="padding">0</property>
1088                           <property name="expand">False</property>
1089                           <property name="fill">False</property>
1090                         </packing>
1091                       </child>
1092
1093                       <child>
1094                         <widget class="GtkScrolledWindow" id="ScrolledConsole">
1095                           <property name="visible">True</property>
1096                           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1097                           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1098                           <property name="shadow_type">GTK_SHADOW_IN</property>
1099                           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1100
1101                           <child>
1102                             <placeholder/>
1103                           </child>
1104                         </widget>
1105                         <packing>
1106                           <property name="padding">0</property>
1107                           <property name="expand">True</property>
1108                           <property name="fill">True</property>
1109                         </packing>
1110                       </child>
1111                     </widget>
1112                   </child>
1113                 </widget>
1114                 <packing>
1115                   <property name="shrink">True</property>
1116                   <property name="resize">False</property>
1117                 </packing>
1118               </child>
1119             </widget>
1120             <packing>
1121               <property name="padding">0</property>
1122               <property name="expand">True</property>
1123               <property name="fill">True</property>
1124             </packing>
1125           </child>
1126
1127           <child>
1128             <widget class="GtkStatusbar" id="MainStatusBar">
1129               <property name="visible">True</property>
1130               <property name="has_resize_grip">True</property>
1131             </widget>
1132             <packing>
1133               <property name="padding">0</property>
1134               <property name="expand">False</property>
1135               <property name="fill">False</property>
1136             </packing>
1137           </child>
1138         </widget>
1139       </child>
1140     </widget>
1141   </child>
1142 </widget>
1143
1144 <widget class="GtkWindow" id="ScriptWin">
1145   <property name="title" translatable="yes">Matita: script</property>
1146   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1147   <property name="window_position">GTK_WIN_POS_NONE</property>
1148   <property name="modal">False</property>
1149   <property name="default_width">450</property>
1150   <property name="default_height">800</property>
1151   <property name="resizable">True</property>
1152   <property name="destroy_with_parent">False</property>
1153   <property name="decorated">True</property>
1154   <property name="skip_taskbar_hint">False</property>
1155   <property name="skip_pager_hint">False</property>
1156   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
1157   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1158
1159   <child>
1160     <widget class="GtkEventBox" id="ScriptWinEventBox">
1161       <property name="visible">True</property>
1162       <property name="visible_window">True</property>
1163       <property name="above_child">False</property>
1164
1165       <child>
1166         <widget class="GtkVBox" id="vbox7">
1167           <property name="visible">True</property>
1168           <property name="homogeneous">False</property>
1169           <property name="spacing">0</property>
1170
1171           <child>
1172             <widget class="GtkHandleBox" id="handlebox2">
1173               <property name="visible">True</property>
1174               <property name="shadow_type">GTK_SHADOW_OUT</property>
1175               <property name="handle_position">GTK_POS_LEFT</property>
1176               <property name="snap_edge">GTK_POS_TOP</property>
1177
1178               <child>
1179                 <widget class="GtkHBox" id="hbox8">
1180                   <property name="visible">True</property>
1181                   <property name="homogeneous">False</property>
1182                   <property name="spacing">0</property>
1183
1184                   <child>
1185                     <widget class="GtkButton" id="ScriptWinTopButton">
1186                       <property name="visible">True</property>
1187                       <property name="tooltip" translatable="yes">restart</property>
1188                       <property name="can_focus">True</property>
1189                       <property name="relief">GTK_RELIEF_NORMAL</property>
1190                       <property name="focus_on_click">True</property>
1191
1192                       <child>
1193                         <widget class="GtkImage" id="image235">
1194                           <property name="visible">True</property>
1195                           <property name="stock">gtk-goto-top</property>
1196                           <property name="icon_size">4</property>
1197                           <property name="xalign">0.5</property>
1198                           <property name="yalign">0.5</property>
1199                           <property name="xpad">0</property>
1200                           <property name="ypad">0</property>
1201                         </widget>
1202                       </child>
1203                     </widget>
1204                     <packing>
1205                       <property name="padding">0</property>
1206                       <property name="expand">False</property>
1207                       <property name="fill">False</property>
1208                     </packing>
1209                   </child>
1210
1211                   <child>
1212                     <widget class="GtkButton" id="ScriptWinBackButton">
1213                       <property name="visible">True</property>
1214                       <property name="tooltip" translatable="yes">go back 1 phrase</property>
1215                       <property name="can_focus">True</property>
1216                       <property name="relief">GTK_RELIEF_NORMAL</property>
1217                       <property name="focus_on_click">True</property>
1218
1219                       <child>
1220                         <widget class="GtkImage" id="image237">
1221                           <property name="visible">True</property>
1222                           <property name="stock">gtk-go-up</property>
1223                           <property name="icon_size">4</property>
1224                           <property name="xalign">0.5</property>
1225                           <property name="yalign">0.5</property>
1226                           <property name="xpad">0</property>
1227                           <property name="ypad">0</property>
1228                         </widget>
1229                       </child>
1230                     </widget>
1231                     <packing>
1232                       <property name="padding">0</property>
1233                       <property name="expand">False</property>
1234                       <property name="fill">False</property>
1235                     </packing>
1236                   </child>
1237
1238                   <child>
1239                     <widget class="GtkButton" id="ScriptWinJumpButton">
1240                       <property name="visible">True</property>
1241                       <property name="tooltip" translatable="yes">execute until point</property>
1242                       <property name="can_focus">True</property>
1243                       <property name="relief">GTK_RELIEF_NORMAL</property>
1244                       <property name="focus_on_click">True</property>
1245
1246                       <child>
1247                         <widget class="GtkImage" id="image134">
1248                           <property name="visible">True</property>
1249                           <property name="stock">gtk-jump-to</property>
1250                           <property name="icon_size">4</property>
1251                           <property name="xalign">0.5</property>
1252                           <property name="yalign">0.5</property>
1253                           <property name="xpad">0</property>
1254                           <property name="ypad">0</property>
1255                         </widget>
1256                       </child>
1257                     </widget>
1258                     <packing>
1259                       <property name="padding">0</property>
1260                       <property name="expand">False</property>
1261                       <property name="fill">False</property>
1262                     </packing>
1263                   </child>
1264
1265                   <child>
1266                     <widget class="GtkButton" id="ScriptWinForwardButton">
1267                       <property name="visible">True</property>
1268                       <property name="tooltip" translatable="yes">go forward 1 phrase</property>
1269                       <property name="can_focus">True</property>
1270                       <property name="relief">GTK_RELIEF_NORMAL</property>
1271                       <property name="focus_on_click">True</property>
1272
1273                       <child>
1274                         <widget class="GtkImage" id="image239">
1275                           <property name="visible">True</property>
1276                           <property name="stock">gtk-go-down</property>
1277                           <property name="icon_size">4</property>
1278                           <property name="xalign">0.5</property>
1279                           <property name="yalign">0.5</property>
1280                           <property name="xpad">0</property>
1281                           <property name="ypad">0</property>
1282                         </widget>
1283                       </child>
1284                     </widget>
1285                     <packing>
1286                       <property name="padding">0</property>
1287                       <property name="expand">False</property>
1288                       <property name="fill">False</property>
1289                     </packing>
1290                   </child>
1291
1292                   <child>
1293                     <widget class="GtkButton" id="ScriptWinBottomButton">
1294                       <property name="visible">True</property>
1295                       <property name="tooltip" translatable="yes">execute all</property>
1296                       <property name="can_focus">True</property>
1297                       <property name="relief">GTK_RELIEF_NORMAL</property>
1298                       <property name="focus_on_click">True</property>
1299
1300                       <child>
1301                         <widget class="GtkImage" id="image238">
1302                           <property name="visible">True</property>
1303                           <property name="stock">gtk-goto-bottom</property>
1304                           <property name="icon_size">4</property>
1305                           <property name="xalign">0.5</property>
1306                           <property name="yalign">0.5</property>
1307                           <property name="xpad">0</property>
1308                           <property name="ypad">0</property>
1309                         </widget>
1310                       </child>
1311                     </widget>
1312                     <packing>
1313                       <property name="padding">0</property>
1314                       <property name="expand">False</property>
1315                       <property name="fill">False</property>
1316                     </packing>
1317                   </child>
1318                 </widget>
1319               </child>
1320             </widget>
1321             <packing>
1322               <property name="padding">0</property>
1323               <property name="expand">False</property>
1324               <property name="fill">True</property>
1325             </packing>
1326           </child>
1327
1328           <child>
1329             <widget class="GtkNotebook" id="ScriptNotebook">
1330               <property name="visible">True</property>
1331               <property name="can_focus">True</property>
1332               <property name="show_tabs">True</property>
1333               <property name="show_border">True</property>
1334               <property name="tab_pos">GTK_POS_BOTTOM</property>
1335               <property name="scrollable">False</property>
1336               <property name="enable_popup">False</property>
1337
1338               <child>
1339                 <widget class="GtkScrolledWindow" id="ScrolledScript">
1340                   <property name="visible">True</property>
1341                   <property name="can_focus">True</property>
1342                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1343                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1344                   <property name="shadow_type">GTK_SHADOW_NONE</property>
1345                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1346
1347                   <child>
1348                     <widget class="GtkTextView" id="ScriptTextView">
1349                       <property name="visible">True</property>
1350                       <property name="can_focus">True</property>
1351                       <property name="editable">True</property>
1352                       <property name="overwrite">False</property>
1353                       <property name="accepts_tab">True</property>
1354                       <property name="justification">GTK_JUSTIFY_LEFT</property>
1355                       <property name="wrap_mode">GTK_WRAP_NONE</property>
1356                       <property name="cursor_visible">True</property>
1357                       <property name="pixels_above_lines">0</property>
1358                       <property name="pixels_below_lines">0</property>
1359                       <property name="pixels_inside_wrap">0</property>
1360                       <property name="left_margin">0</property>
1361                       <property name="right_margin">0</property>
1362                       <property name="indent">0</property>
1363                       <property name="text" translatable="yes"></property>
1364                     </widget>
1365                   </child>
1366                 </widget>
1367                 <packing>
1368                   <property name="tab_expand">False</property>
1369                   <property name="tab_fill">True</property>
1370                 </packing>
1371               </child>
1372
1373               <child>
1374                 <widget class="GtkLabel" id="label7">
1375                   <property name="visible">True</property>
1376                   <property name="label" translatable="yes">script</property>
1377                   <property name="use_underline">False</property>
1378                   <property name="use_markup">False</property>
1379                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1380                   <property name="wrap">False</property>
1381                   <property name="selectable">False</property>
1382                   <property name="xalign">0.5</property>
1383                   <property name="yalign">0.5</property>
1384                   <property name="xpad">0</property>
1385                   <property name="ypad">0</property>
1386                 </widget>
1387                 <packing>
1388                   <property name="type">tab</property>
1389                 </packing>
1390               </child>
1391
1392               <child>
1393                 <widget class="GtkScrolledWindow" id="ScrolledOutline">
1394                   <property name="visible">True</property>
1395                   <property name="can_focus">True</property>
1396                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1397                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1398                   <property name="shadow_type">GTK_SHADOW_IN</property>
1399                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1400
1401                   <child>
1402                     <widget class="GtkTreeView" id="OutlineTreeView">
1403                       <property name="visible">True</property>
1404                       <property name="can_focus">True</property>
1405                       <property name="headers_visible">False</property>
1406                       <property name="rules_hint">False</property>
1407                       <property name="reorderable">False</property>
1408                       <property name="enable_search">True</property>
1409                     </widget>
1410                   </child>
1411                 </widget>
1412                 <packing>
1413                   <property name="tab_expand">False</property>
1414                   <property name="tab_fill">True</property>
1415                 </packing>
1416               </child>
1417
1418               <child>
1419                 <widget class="GtkLabel" id="label8">
1420                   <property name="visible">True</property>
1421                   <property name="label" translatable="yes">outline</property>
1422                   <property name="use_underline">False</property>
1423                   <property name="use_markup">False</property>
1424                   <property name="justify">GTK_JUSTIFY_LEFT</property>
1425                   <property name="wrap">False</property>
1426                   <property name="selectable">False</property>
1427                   <property name="xalign">0.5</property>
1428                   <property name="yalign">0.5</property>
1429                   <property name="xpad">0</property>
1430                   <property name="ypad">0</property>
1431                 </widget>
1432                 <packing>
1433                   <property name="type">tab</property>
1434                 </packing>
1435               </child>
1436             </widget>
1437             <packing>
1438               <property name="padding">0</property>
1439               <property name="expand">True</property>
1440               <property name="fill">True</property>
1441             </packing>
1442           </child>
1443         </widget>
1444       </child>
1445     </widget>
1446   </child>
1447 </widget>
1448
1449 <widget class="GtkDialog" id="TextDialog">
1450   <property name="title" translatable="yes">DUMMY</property>
1451   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1452   <property name="window_position">GTK_WIN_POS_NONE</property>
1453   <property name="modal">False</property>
1454   <property name="resizable">True</property>
1455   <property name="destroy_with_parent">False</property>
1456   <property name="decorated">True</property>
1457   <property name="skip_taskbar_hint">False</property>
1458   <property name="skip_pager_hint">False</property>
1459   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1460   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1461   <property name="has_separator">True</property>
1462
1463   <child internal-child="vbox">
1464     <widget class="GtkVBox" id="vbox5">
1465       <property name="visible">True</property>
1466       <property name="homogeneous">False</property>
1467       <property name="spacing">0</property>
1468
1469       <child internal-child="action_area">
1470         <widget class="GtkHButtonBox" id="hbuttonbox1">
1471           <property name="visible">True</property>
1472           <property name="layout_style">GTK_BUTTONBOX_END</property>
1473
1474           <child>
1475             <widget class="GtkButton" id="TextDialogCancelButton">
1476               <property name="visible">True</property>
1477               <property name="can_default">True</property>
1478               <property name="can_focus">True</property>
1479               <property name="label">gtk-cancel</property>
1480               <property name="use_stock">True</property>
1481               <property name="relief">GTK_RELIEF_NORMAL</property>
1482               <property name="focus_on_click">True</property>
1483               <property name="response_id">-6</property>
1484             </widget>
1485           </child>
1486
1487           <child>
1488             <widget class="GtkButton" id="TextDialogOkButton">
1489               <property name="visible">True</property>
1490               <property name="can_default">True</property>
1491               <property name="can_focus">True</property>
1492               <property name="label">gtk-ok</property>
1493               <property name="use_stock">True</property>
1494               <property name="relief">GTK_RELIEF_NORMAL</property>
1495               <property name="focus_on_click">True</property>
1496               <property name="response_id">-5</property>
1497             </widget>
1498           </child>
1499         </widget>
1500         <packing>
1501           <property name="padding">0</property>
1502           <property name="expand">False</property>
1503           <property name="fill">True</property>
1504           <property name="pack_type">GTK_PACK_END</property>
1505         </packing>
1506       </child>
1507
1508       <child>
1509         <widget class="GtkLabel" id="TextDialogLabel">
1510           <property name="visible">True</property>
1511           <property name="label" translatable="yes">DUMMY</property>
1512           <property name="use_underline">False</property>
1513           <property name="use_markup">False</property>
1514           <property name="justify">GTK_JUSTIFY_LEFT</property>
1515           <property name="wrap">False</property>
1516           <property name="selectable">False</property>
1517           <property name="xalign">0.5</property>
1518           <property name="yalign">0.5</property>
1519           <property name="xpad">0</property>
1520           <property name="ypad">0</property>
1521         </widget>
1522         <packing>
1523           <property name="padding">0</property>
1524           <property name="expand">False</property>
1525           <property name="fill">False</property>
1526         </packing>
1527       </child>
1528
1529       <child>
1530         <widget class="GtkScrolledWindow" id="scrolledwindow2">
1531           <property name="visible">True</property>
1532           <property name="can_focus">True</property>
1533           <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1534           <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1535           <property name="shadow_type">GTK_SHADOW_IN</property>
1536           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1537
1538           <child>
1539             <widget class="GtkTextView" id="TextDialogTextView">
1540               <property name="visible">True</property>
1541               <property name="can_focus">True</property>
1542               <property name="editable">True</property>
1543               <property name="overwrite">False</property>
1544               <property name="accepts_tab">True</property>
1545               <property name="justification">GTK_JUSTIFY_LEFT</property>
1546               <property name="wrap_mode">GTK_WRAP_NONE</property>
1547               <property name="cursor_visible">True</property>
1548               <property name="pixels_above_lines">0</property>
1549               <property name="pixels_below_lines">0</property>
1550               <property name="pixels_inside_wrap">0</property>
1551               <property name="left_margin">0</property>
1552               <property name="right_margin">0</property>
1553               <property name="indent">0</property>
1554               <property name="text" translatable="yes"></property>
1555             </widget>
1556           </child>
1557         </widget>
1558         <packing>
1559           <property name="padding">0</property>
1560           <property name="expand">True</property>
1561           <property name="fill">True</property>
1562         </packing>
1563       </child>
1564     </widget>
1565   </child>
1566 </widget>
1567
1568 <widget class="GtkWindow" id="ToolBarWin">
1569   <property name="width_request">155</property>
1570   <property name="height_request">450</property>
1571   <property name="title" translatable="yes">Tactics</property>
1572   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1573   <property name="window_position">GTK_WIN_POS_NONE</property>
1574   <property name="modal">False</property>
1575   <property name="resizable">False</property>
1576   <property name="destroy_with_parent">False</property>
1577   <property name="decorated">True</property>
1578   <property name="skip_taskbar_hint">False</property>
1579   <property name="skip_pager_hint">False</property>
1580   <property name="type_hint">GDK_WINDOW_TYPE_HINT_UTILITY</property>
1581   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1582
1583   <child>
1584     <widget class="GtkEventBox" id="ToolBarEventBox">
1585       <property name="visible">True</property>
1586       <property name="visible_window">True</property>
1587       <property name="above_child">False</property>
1588
1589       <child>
1590         <widget class="GtkVBox" id="ToolBarVBox">
1591           <property name="visible">True</property>
1592           <property name="homogeneous">False</property>
1593           <property name="spacing">0</property>
1594
1595           <child>
1596             <widget class="GtkToolbar" id="toolbar2">
1597               <property name="visible">True</property>
1598               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
1599               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
1600               <property name="tooltips">True</property>
1601               <property name="show_arrow">True</property>
1602
1603               <child>
1604                 <widget class="GtkToolItem" id="toolitem4">
1605                   <property name="visible">True</property>
1606                   <property name="visible_horizontal">True</property>
1607                   <property name="visible_vertical">True</property>
1608                   <property name="is_important">False</property>
1609
1610                   <child>
1611                     <widget class="GtkButton" id="introsButton">
1612                       <property name="width_request">50</property>
1613                       <property name="visible">True</property>
1614                       <property name="tooltip" translatable="yes">Intros</property>
1615                       <property name="can_focus">True</property>
1616                       <property name="label" translatable="yes">intros</property>
1617                       <property name="use_underline">True</property>
1618                       <property name="relief">GTK_RELIEF_NORMAL</property>
1619                       <property name="focus_on_click">True</property>
1620                     </widget>
1621                   </child>
1622                 </widget>
1623                 <packing>
1624                   <property name="expand">False</property>
1625                   <property name="homogeneous">False</property>
1626                 </packing>
1627               </child>
1628
1629               <child>
1630                 <widget class="GtkToolItem" id="toolitem5">
1631                   <property name="visible">True</property>
1632                   <property name="visible_horizontal">True</property>
1633                   <property name="visible_vertical">True</property>
1634                   <property name="is_important">False</property>
1635
1636                   <child>
1637                     <widget class="GtkButton" id="applyButton">
1638                       <property name="width_request">50</property>
1639                       <property name="visible">True</property>
1640                       <property name="tooltip" translatable="yes">Apply</property>
1641                       <property name="can_focus">True</property>
1642                       <property name="label" translatable="yes">apply</property>
1643                       <property name="use_underline">True</property>
1644                       <property name="relief">GTK_RELIEF_NORMAL</property>
1645                       <property name="focus_on_click">True</property>
1646                     </widget>
1647                   </child>
1648                 </widget>
1649                 <packing>
1650                   <property name="expand">False</property>
1651                   <property name="homogeneous">False</property>
1652                 </packing>
1653               </child>
1654
1655               <child>
1656                 <widget class="GtkToolItem" id="toolitem6">
1657                   <property name="visible">True</property>
1658                   <property name="visible_horizontal">True</property>
1659                   <property name="visible_vertical">True</property>
1660                   <property name="is_important">False</property>
1661
1662                   <child>
1663                     <widget class="GtkButton" id="exactButton">
1664                       <property name="width_request">50</property>
1665                       <property name="visible">True</property>
1666                       <property name="tooltip" translatable="yes">Exact</property>
1667                       <property name="can_focus">True</property>
1668                       <property name="label" translatable="yes">exact</property>
1669                       <property name="use_underline">True</property>
1670                       <property name="relief">GTK_RELIEF_NORMAL</property>
1671                       <property name="focus_on_click">True</property>
1672                     </widget>
1673                   </child>
1674                 </widget>
1675                 <packing>
1676                   <property name="expand">False</property>
1677                   <property name="homogeneous">False</property>
1678                 </packing>
1679               </child>
1680             </widget>
1681             <packing>
1682               <property name="padding">0</property>
1683               <property name="expand">False</property>
1684               <property name="fill">False</property>
1685             </packing>
1686           </child>
1687
1688           <child>
1689             <widget class="GtkToolbar" id="toolbar3">
1690               <property name="visible">True</property>
1691               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
1692               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
1693               <property name="tooltips">True</property>
1694               <property name="show_arrow">True</property>
1695
1696               <child>
1697                 <widget class="GtkToolItem" id="toolitem7">
1698                   <property name="visible">True</property>
1699                   <property name="visible_horizontal">True</property>
1700                   <property name="visible_vertical">True</property>
1701                   <property name="is_important">False</property>
1702
1703                   <child>
1704                     <widget class="GtkButton" id="elimButton">
1705                       <property name="width_request">50</property>
1706                       <property name="visible">True</property>
1707                       <property name="tooltip" translatable="yes">Elim</property>
1708                       <property name="can_focus">True</property>
1709                       <property name="label" translatable="yes">elim</property>
1710                       <property name="use_underline">True</property>
1711                       <property name="relief">GTK_RELIEF_NORMAL</property>
1712                       <property name="focus_on_click">True</property>
1713                     </widget>
1714                   </child>
1715                 </widget>
1716                 <packing>
1717                   <property name="expand">False</property>
1718                   <property name="homogeneous">False</property>
1719                 </packing>
1720               </child>
1721
1722               <child>
1723                 <widget class="GtkToolItem" id="toolitem8">
1724                   <property name="visible">True</property>
1725                   <property name="visible_horizontal">True</property>
1726                   <property name="visible_vertical">True</property>
1727                   <property name="is_important">False</property>
1728
1729                   <child>
1730                     <widget class="GtkButton" id="elimTypeButton">
1731                       <property name="width_request">50</property>
1732                       <property name="visible">True</property>
1733                       <property name="tooltip" translatable="yes">ElimType</property>
1734                       <property name="can_focus">True</property>
1735                       <property name="label" translatable="yes">elimTy</property>
1736                       <property name="use_underline">True</property>
1737                       <property name="relief">GTK_RELIEF_NORMAL</property>
1738                       <property name="focus_on_click">True</property>
1739                     </widget>
1740                   </child>
1741                 </widget>
1742                 <packing>
1743                   <property name="expand">False</property>
1744                   <property name="homogeneous">False</property>
1745                 </packing>
1746               </child>
1747             </widget>
1748             <packing>
1749               <property name="padding">0</property>
1750               <property name="expand">False</property>
1751               <property name="fill">False</property>
1752             </packing>
1753           </child>
1754
1755           <child>
1756             <widget class="GtkToolbar" id="toolbar4">
1757               <property name="visible">True</property>
1758               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
1759               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
1760               <property name="tooltips">True</property>
1761               <property name="show_arrow">True</property>
1762
1763               <child>
1764                 <widget class="GtkToolItem" id="toolitem9">
1765                   <property name="visible">True</property>
1766                   <property name="visible_horizontal">True</property>
1767                   <property name="visible_vertical">True</property>
1768                   <property name="is_important">False</property>
1769
1770                   <child>
1771                     <widget class="GtkButton" id="splitButton">
1772                       <property name="width_request">50</property>
1773                       <property name="visible">True</property>
1774                       <property name="tooltip" translatable="yes">Split</property>
1775                       <property name="can_focus">True</property>
1776                       <property name="label" translatable="yes">split</property>
1777                       <property name="use_underline">True</property>
1778                       <property name="relief">GTK_RELIEF_NORMAL</property>
1779                       <property name="focus_on_click">True</property>
1780                     </widget>
1781                   </child>
1782                 </widget>
1783                 <packing>
1784                   <property name="expand">False</property>
1785                   <property name="homogeneous">False</property>
1786                 </packing>
1787               </child>
1788
1789               <child>
1790                 <widget class="GtkToolItem" id="toolitem10">
1791                   <property name="visible">True</property>
1792                   <property name="visible_horizontal">True</property>
1793                   <property name="visible_vertical">True</property>
1794                   <property name="is_important">False</property>
1795
1796                   <child>
1797                     <widget class="GtkButton" id="leftButton">
1798                       <property name="width_request">25</property>
1799                       <property name="visible">True</property>
1800                       <property name="tooltip" translatable="yes">Left</property>
1801                       <property name="can_focus">True</property>
1802                       <property name="label" translatable="yes">L</property>
1803                       <property name="use_underline">True</property>
1804                       <property name="relief">GTK_RELIEF_NORMAL</property>
1805                       <property name="focus_on_click">True</property>
1806                     </widget>
1807                   </child>
1808                 </widget>
1809                 <packing>
1810                   <property name="expand">False</property>
1811                   <property name="homogeneous">False</property>
1812                 </packing>
1813               </child>
1814
1815               <child>
1816                 <widget class="GtkToolItem" id="toolitem11">
1817                   <property name="visible">True</property>
1818                   <property name="visible_horizontal">True</property>
1819                   <property name="visible_vertical">True</property>
1820                   <property name="is_important">False</property>
1821
1822                   <child>
1823                     <widget class="GtkButton" id="rightButton">
1824                       <property name="width_request">25</property>
1825                       <property name="visible">True</property>
1826                       <property name="tooltip" translatable="yes">Right</property>
1827                       <property name="can_focus">True</property>
1828                       <property name="label" translatable="yes">R</property>
1829                       <property name="use_underline">True</property>
1830                       <property name="relief">GTK_RELIEF_NORMAL</property>
1831                       <property name="focus_on_click">True</property>
1832                     </widget>
1833                   </child>
1834                 </widget>
1835                 <packing>
1836                   <property name="expand">False</property>
1837                   <property name="homogeneous">False</property>
1838                 </packing>
1839               </child>
1840
1841               <child>
1842                 <widget class="GtkToolItem" id="toolitem12">
1843                   <property name="visible">True</property>
1844                   <property name="visible_horizontal">True</property>
1845                   <property name="visible_vertical">True</property>
1846                   <property name="is_important">False</property>
1847
1848                   <child>
1849                     <widget class="GtkButton" id="existsButton">
1850                       <property name="width_request">25</property>
1851                       <property name="visible">True</property>
1852                       <property name="tooltip" translatable="yes">Exists</property>
1853                       <property name="can_focus">True</property>
1854                       <property name="label" translatable="yes">∃</property>
1855                       <property name="use_underline">True</property>
1856                       <property name="relief">GTK_RELIEF_NORMAL</property>
1857                       <property name="focus_on_click">True</property>
1858                     </widget>
1859                   </child>
1860                 </widget>
1861                 <packing>
1862                   <property name="expand">False</property>
1863                   <property name="homogeneous">False</property>
1864                 </packing>
1865               </child>
1866             </widget>
1867             <packing>
1868               <property name="padding">0</property>
1869               <property name="expand">False</property>
1870               <property name="fill">False</property>
1871             </packing>
1872           </child>
1873
1874           <child>
1875             <widget class="GtkToolbar" id="toolbar5">
1876               <property name="visible">True</property>
1877               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
1878               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
1879               <property name="tooltips">True</property>
1880               <property name="show_arrow">True</property>
1881
1882               <child>
1883                 <widget class="GtkToolItem" id="toolitem14">
1884                   <property name="visible">True</property>
1885                   <property name="visible_horizontal">True</property>
1886                   <property name="visible_vertical">True</property>
1887                   <property name="is_important">False</property>
1888
1889                   <child>
1890                     <widget class="GtkButton" id="reflexivityButton">
1891                       <property name="width_request">50</property>
1892                       <property name="visible">True</property>
1893                       <property name="tooltip" translatable="yes">Reflexivity</property>
1894                       <property name="can_focus">True</property>
1895                       <property name="label" translatable="yes">refl</property>
1896                       <property name="use_underline">True</property>
1897                       <property name="relief">GTK_RELIEF_NORMAL</property>
1898                       <property name="focus_on_click">True</property>
1899                     </widget>
1900                   </child>
1901                 </widget>
1902                 <packing>
1903                   <property name="expand">False</property>
1904                   <property name="homogeneous">False</property>
1905                 </packing>
1906               </child>
1907
1908               <child>
1909                 <widget class="GtkToolItem" id="toolitem15">
1910                   <property name="visible">True</property>
1911                   <property name="visible_horizontal">True</property>
1912                   <property name="visible_vertical">True</property>
1913                   <property name="is_important">False</property>
1914
1915                   <child>
1916                     <widget class="GtkButton" id="symmetryButton">
1917                       <property name="width_request">50</property>
1918                       <property name="visible">True</property>
1919                       <property name="tooltip" translatable="yes">Symmetry</property>
1920                       <property name="can_focus">True</property>
1921                       <property name="label" translatable="yes">sym</property>
1922                       <property name="use_underline">True</property>
1923                       <property name="relief">GTK_RELIEF_NORMAL</property>
1924                       <property name="focus_on_click">True</property>
1925                     </widget>
1926                   </child>
1927                 </widget>
1928                 <packing>
1929                   <property name="expand">False</property>
1930                   <property name="homogeneous">False</property>
1931                 </packing>
1932               </child>
1933
1934               <child>
1935                 <widget class="GtkToolItem" id="toolitem16">
1936                   <property name="visible">True</property>
1937                   <property name="visible_horizontal">True</property>
1938                   <property name="visible_vertical">True</property>
1939                   <property name="is_important">False</property>
1940
1941                   <child>
1942                     <widget class="GtkButton" id="transitivityButton">
1943                       <property name="width_request">50</property>
1944                       <property name="visible">True</property>
1945                       <property name="tooltip" translatable="yes">Transitivity</property>
1946                       <property name="can_focus">True</property>
1947                       <property name="label" translatable="yes">trans</property>
1948                       <property name="use_underline">True</property>
1949                       <property name="relief">GTK_RELIEF_NORMAL</property>
1950                       <property name="focus_on_click">True</property>
1951                     </widget>
1952                   </child>
1953                 </widget>
1954                 <packing>
1955                   <property name="expand">False</property>
1956                   <property name="homogeneous">False</property>
1957                 </packing>
1958               </child>
1959             </widget>
1960             <packing>
1961               <property name="padding">0</property>
1962               <property name="expand">False</property>
1963               <property name="fill">False</property>
1964             </packing>
1965           </child>
1966
1967           <child>
1968             <widget class="GtkToolbar" id="toolbar8">
1969               <property name="visible">True</property>
1970               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
1971               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
1972               <property name="tooltips">True</property>
1973               <property name="show_arrow">True</property>
1974
1975               <child>
1976                 <widget class="GtkToolItem" id="toolitem22">
1977                   <property name="visible">True</property>
1978                   <property name="visible_horizontal">True</property>
1979                   <property name="visible_vertical">True</property>
1980                   <property name="is_important">False</property>
1981
1982                   <child>
1983                     <widget class="GtkButton" id="simplifyButton">
1984                       <property name="width_request">50</property>
1985                       <property name="visible">True</property>
1986                       <property name="tooltip" translatable="yes">Simplify</property>
1987                       <property name="can_focus">True</property>
1988                       <property name="label" translatable="yes">simpl</property>
1989                       <property name="use_underline">True</property>
1990                       <property name="relief">GTK_RELIEF_NORMAL</property>
1991                       <property name="focus_on_click">True</property>
1992                     </widget>
1993                   </child>
1994                 </widget>
1995                 <packing>
1996                   <property name="expand">False</property>
1997                   <property name="homogeneous">False</property>
1998                 </packing>
1999               </child>
2000
2001               <child>
2002                 <widget class="GtkToolItem" id="toolitem23">
2003                   <property name="visible">True</property>
2004                   <property name="visible_horizontal">True</property>
2005                   <property name="visible_vertical">True</property>
2006                   <property name="is_important">False</property>
2007
2008                   <child>
2009                     <widget class="GtkButton" id="reduceButton">
2010                       <property name="width_request">50</property>
2011                       <property name="visible">True</property>
2012                       <property name="tooltip" translatable="yes">Reduce</property>
2013                       <property name="can_focus">True</property>
2014                       <property name="label" translatable="yes">red</property>
2015                       <property name="use_underline">True</property>
2016                       <property name="relief">GTK_RELIEF_NORMAL</property>
2017                       <property name="focus_on_click">True</property>
2018                     </widget>
2019                   </child>
2020                 </widget>
2021                 <packing>
2022                   <property name="expand">False</property>
2023                   <property name="homogeneous">False</property>
2024                 </packing>
2025               </child>
2026
2027               <child>
2028                 <widget class="GtkToolItem" id="toolitem24">
2029                   <property name="visible">True</property>
2030                   <property name="visible_horizontal">True</property>
2031                   <property name="visible_vertical">True</property>
2032                   <property name="is_important">False</property>
2033
2034                   <child>
2035                     <widget class="GtkButton" id="whdButton">
2036                       <property name="width_request">50</property>
2037                       <property name="visible">True</property>
2038                       <property name="tooltip" translatable="yes">Whd</property>
2039                       <property name="can_focus">True</property>
2040                       <property name="label" translatable="yes">whd</property>
2041                       <property name="use_underline">True</property>
2042                       <property name="relief">GTK_RELIEF_NORMAL</property>
2043                       <property name="focus_on_click">True</property>
2044                     </widget>
2045                   </child>
2046                 </widget>
2047                 <packing>
2048                   <property name="expand">False</property>
2049                   <property name="homogeneous">False</property>
2050                 </packing>
2051               </child>
2052             </widget>
2053             <packing>
2054               <property name="padding">0</property>
2055               <property name="expand">False</property>
2056               <property name="fill">False</property>
2057             </packing>
2058           </child>
2059
2060           <child>
2061             <widget class="GtkToolbar" id="toolbar6">
2062               <property name="visible">True</property>
2063               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
2064               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
2065               <property name="tooltips">True</property>
2066               <property name="show_arrow">True</property>
2067
2068               <child>
2069                 <widget class="GtkToolItem" id="toolitem17">
2070                   <property name="visible">True</property>
2071                   <property name="visible_horizontal">True</property>
2072                   <property name="visible_vertical">True</property>
2073                   <property name="is_important">False</property>
2074
2075                   <child>
2076                     <widget class="GtkButton" id="assumptionButton">
2077                       <property name="width_request">50</property>
2078                       <property name="visible">True</property>
2079                       <property name="tooltip" translatable="yes">Assumption</property>
2080                       <property name="can_focus">True</property>
2081                       <property name="label" translatable="yes">asum</property>
2082                       <property name="use_underline">True</property>
2083                       <property name="relief">GTK_RELIEF_NORMAL</property>
2084                       <property name="focus_on_click">True</property>
2085                     </widget>
2086                   </child>
2087                 </widget>
2088                 <packing>
2089                   <property name="expand">False</property>
2090                   <property name="homogeneous">False</property>
2091                 </packing>
2092               </child>
2093
2094               <child>
2095                 <widget class="GtkToolItem" id="toolitem18">
2096                   <property name="visible">True</property>
2097                   <property name="visible_horizontal">True</property>
2098                   <property name="visible_vertical">True</property>
2099                   <property name="is_important">False</property>
2100
2101                   <child>
2102                     <widget class="GtkButton" id="autoButton">
2103                       <property name="width_request">50</property>
2104                       <property name="visible">True</property>
2105                       <property name="tooltip" translatable="yes">Auto</property>
2106                       <property name="can_focus">True</property>
2107                       <property name="label" translatable="yes">auto</property>
2108                       <property name="use_underline">True</property>
2109                       <property name="relief">GTK_RELIEF_NORMAL</property>
2110                       <property name="focus_on_click">True</property>
2111                     </widget>
2112                   </child>
2113                 </widget>
2114                 <packing>
2115                   <property name="expand">False</property>
2116                   <property name="homogeneous">False</property>
2117                 </packing>
2118               </child>
2119             </widget>
2120             <packing>
2121               <property name="padding">0</property>
2122               <property name="expand">False</property>
2123               <property name="fill">False</property>
2124             </packing>
2125           </child>
2126
2127           <child>
2128             <widget class="GtkToolbar" id="toolbar7">
2129               <property name="visible">True</property>
2130               <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
2131               <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
2132               <property name="tooltips">True</property>
2133               <property name="show_arrow">True</property>
2134
2135               <child>
2136                 <widget class="GtkToolItem" id="toolitem20">
2137                   <property name="visible">True</property>
2138                   <property name="visible_horizontal">True</property>
2139                   <property name="visible_vertical">True</property>
2140                   <property name="is_important">False</property>
2141
2142                   <child>
2143                     <widget class="GtkButton" id="cutButton">
2144                       <property name="width_request">50</property>
2145                       <property name="visible">True</property>
2146                       <property name="tooltip" translatable="yes">Cut</property>
2147                       <property name="can_focus">True</property>
2148                       <property name="label" translatable="yes">cut</property>
2149                       <property name="use_underline">True</property>
2150                       <property name="relief">GTK_RELIEF_NORMAL</property>
2151                       <property name="focus_on_click">True</property>
2152                     </widget>
2153                   </child>
2154                 </widget>
2155                 <packing>
2156                   <property name="expand">False</property>
2157                   <property name="homogeneous">False</property>
2158                 </packing>
2159               </child>
2160
2161               <child>
2162                 <widget class="GtkToolItem" id="toolitem21">
2163                   <property name="visible">True</property>
2164                   <property name="visible_horizontal">True</property>
2165                   <property name="visible_vertical">True</property>
2166                   <property name="is_important">False</property>
2167
2168                   <child>
2169                     <widget class="GtkButton" id="replaceButton">
2170                       <property name="width_request">50</property>
2171                       <property name="visible">True</property>
2172                       <property name="tooltip" translatable="yes">Replace</property>
2173                       <property name="can_focus">True</property>
2174                       <property name="label" translatable="yes">repl</property>
2175                       <property name="use_underline">True</property>
2176                       <property name="relief">GTK_RELIEF_NORMAL</property>
2177                       <property name="focus_on_click">True</property>
2178                     </widget>
2179                   </child>
2180                 </widget>
2181                 <packing>
2182                   <property name="expand">False</property>
2183                   <property name="homogeneous">False</property>
2184                 </packing>
2185               </child>
2186             </widget>
2187             <packing>
2188               <property name="padding">0</property>
2189               <property name="expand">False</property>
2190               <property name="fill">False</property>
2191             </packing>
2192           </child>
2193         </widget>
2194       </child>
2195     </widget>
2196   </child>
2197 </widget>
2198
2199 <widget class="GtkDialog" id="UriChoiceDialog">
2200   <property name="height_request">280</property>
2201   <property name="title" translatable="yes">Uri choice</property>
2202   <property name="type">GTK_WINDOW_TOPLEVEL</property>
2203   <property name="window_position">GTK_WIN_POS_CENTER</property>
2204   <property name="modal">True</property>
2205   <property name="resizable">True</property>
2206   <property name="destroy_with_parent">False</property>
2207   <property name="decorated">True</property>
2208   <property name="skip_taskbar_hint">False</property>
2209   <property name="skip_pager_hint">False</property>
2210   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
2211   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
2212   <property name="has_separator">True</property>
2213
2214   <child internal-child="vbox">
2215     <widget class="GtkVBox" id="dialog-vbox3">
2216       <property name="visible">True</property>
2217       <property name="homogeneous">False</property>
2218       <property name="spacing">0</property>
2219
2220       <child internal-child="action_area">
2221         <widget class="GtkHButtonBox" id="dialog-action_area3">
2222           <property name="visible">True</property>
2223           <property name="layout_style">GTK_BUTTONBOX_END</property>
2224
2225           <child>
2226             <widget class="GtkButton" id="UriChoiceAbortButton">
2227               <property name="visible">True</property>
2228               <property name="can_default">True</property>
2229               <property name="can_focus">True</property>
2230               <property name="label">gtk-cancel</property>
2231               <property name="use_stock">True</property>
2232               <property name="relief">GTK_RELIEF_NORMAL</property>
2233               <property name="focus_on_click">True</property>
2234               <property name="response_id">-6</property>
2235             </widget>
2236           </child>
2237
2238           <child>
2239             <widget class="GtkButton" id="UriChoiceSelectedButton">
2240               <property name="visible">True</property>
2241               <property name="can_default">True</property>
2242               <property name="can_focus">True</property>
2243               <property name="relief">GTK_RELIEF_NORMAL</property>
2244               <property name="focus_on_click">True</property>
2245               <property name="response_id">0</property>
2246
2247               <child>
2248                 <widget class="GtkAlignment" id="alignment2">
2249                   <property name="visible">True</property>
2250                   <property name="xalign">0.5</property>
2251                   <property name="yalign">0.5</property>
2252                   <property name="xscale">0</property>
2253                   <property name="yscale">0</property>
2254                   <property name="top_padding">0</property>
2255                   <property name="bottom_padding">0</property>
2256                   <property name="left_padding">0</property>
2257                   <property name="right_padding">0</property>
2258
2259                   <child>
2260                     <widget class="GtkHBox" id="hbox3">
2261                       <property name="visible">True</property>
2262                       <property name="homogeneous">False</property>
2263                       <property name="spacing">2</property>
2264
2265                       <child>
2266                         <widget class="GtkImage" id="image19">
2267                           <property name="visible">True</property>
2268                           <property name="stock">gtk-index</property>
2269                           <property name="icon_size">4</property>
2270                           <property name="xalign">0.5</property>
2271                           <property name="yalign">0.5</property>
2272                           <property name="xpad">0</property>
2273                           <property name="ypad">0</property>
2274                         </widget>
2275                         <packing>
2276                           <property name="padding">0</property>
2277                           <property name="expand">False</property>
2278                           <property name="fill">False</property>
2279                         </packing>
2280                       </child>
2281
2282                       <child>
2283                         <widget class="GtkLabel" id="label3">
2284                           <property name="visible">True</property>
2285                           <property name="label" translatable="yes">Try _Selected</property>
2286                           <property name="use_underline">True</property>
2287                           <property name="use_markup">False</property>
2288                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2289                           <property name="wrap">False</property>
2290                           <property name="selectable">False</property>
2291                           <property name="xalign">0.5</property>
2292                           <property name="yalign">0.5</property>
2293                           <property name="xpad">0</property>
2294                           <property name="ypad">0</property>
2295                         </widget>
2296                         <packing>
2297                           <property name="padding">0</property>
2298                           <property name="expand">False</property>
2299                           <property name="fill">False</property>
2300                         </packing>
2301                       </child>
2302                     </widget>
2303                   </child>
2304                 </widget>
2305               </child>
2306             </widget>
2307           </child>
2308
2309           <child>
2310             <widget class="GtkButton" id="UriChoiceConstantsButton">
2311               <property name="visible">True</property>
2312               <property name="sensitive">False</property>
2313               <property name="can_default">True</property>
2314               <property name="can_focus">True</property>
2315               <property name="label" translatable="yes">Try Constants</property>
2316               <property name="use_underline">True</property>
2317               <property name="relief">GTK_RELIEF_NORMAL</property>
2318               <property name="focus_on_click">True</property>
2319               <property name="response_id">0</property>
2320             </widget>
2321           </child>
2322
2323           <child>
2324             <widget class="GtkButton" id="UriChoiceAutoButton">
2325               <property name="visible">True</property>
2326               <property name="can_default">True</property>
2327               <property name="can_focus">True</property>
2328               <property name="relief">GTK_RELIEF_NORMAL</property>
2329               <property name="focus_on_click">True</property>
2330               <property name="response_id">0</property>
2331
2332               <child>
2333                 <widget class="GtkAlignment" id="alignment1">
2334                   <property name="visible">True</property>
2335                   <property name="xalign">0.5</property>
2336                   <property name="yalign">0.5</property>
2337                   <property name="xscale">0</property>
2338                   <property name="yscale">0</property>
2339                   <property name="top_padding">0</property>
2340                   <property name="bottom_padding">0</property>
2341                   <property name="left_padding">0</property>
2342                   <property name="right_padding">0</property>
2343
2344                   <child>
2345                     <widget class="GtkHBox" id="hbox1">
2346                       <property name="visible">True</property>
2347                       <property name="homogeneous">False</property>
2348                       <property name="spacing">2</property>
2349
2350                       <child>
2351                         <widget class="GtkImage" id="image18">
2352                           <property name="visible">True</property>
2353                           <property name="stock">gtk-ok</property>
2354                           <property name="icon_size">4</property>
2355                           <property name="xalign">0.5</property>
2356                           <property name="yalign">0.5</property>
2357                           <property name="xpad">0</property>
2358                           <property name="ypad">0</property>
2359                         </widget>
2360                         <packing>
2361                           <property name="padding">0</property>
2362                           <property name="expand">False</property>
2363                           <property name="fill">False</property>
2364                         </packing>
2365                       </child>
2366
2367                       <child>
2368                         <widget class="GtkLabel" id="label1">
2369                           <property name="visible">True</property>
2370                           <property name="label" translatable="yes">_Auto</property>
2371                           <property name="use_underline">True</property>
2372                           <property name="use_markup">False</property>
2373                           <property name="justify">GTK_JUSTIFY_LEFT</property>
2374                           <property name="wrap">False</property>
2375                           <property name="selectable">False</property>
2376                           <property name="xalign">0.5</property>
2377                           <property name="yalign">0.5</property>
2378                           <property name="xpad">0</property>
2379                           <property name="ypad">0</property>
2380                         </widget>
2381                         <packing>
2382                           <property name="padding">0</property>
2383                           <property name="expand">False</property>
2384                           <property name="fill">False</property>
2385                         </packing>
2386                       </child>
2387                     </widget>
2388                   </child>
2389                 </widget>
2390               </child>
2391             </widget>
2392           </child>
2393         </widget>
2394         <packing>
2395           <property name="padding">0</property>
2396           <property name="expand">False</property>
2397           <property name="fill">True</property>
2398           <property name="pack_type">GTK_PACK_END</property>
2399         </packing>
2400       </child>
2401
2402       <child>
2403         <widget class="GtkVBox" id="vbox2">
2404           <property name="visible">True</property>
2405           <property name="homogeneous">False</property>
2406           <property name="spacing">0</property>
2407
2408           <child>
2409             <widget class="GtkLabel" id="UriChoiceLabel">
2410               <property name="visible">True</property>
2411               <property name="label" translatable="yes">some informative message here ...</property>
2412               <property name="use_underline">False</property>
2413               <property name="use_markup">False</property>
2414               <property name="justify">GTK_JUSTIFY_LEFT</property>
2415               <property name="wrap">False</property>
2416               <property name="selectable">False</property>
2417               <property name="xalign">0.5</property>
2418               <property name="yalign">0.5</property>
2419               <property name="xpad">0</property>
2420               <property name="ypad">0</property>
2421             </widget>
2422             <packing>
2423               <property name="padding">0</property>
2424               <property name="expand">False</property>
2425               <property name="fill">False</property>
2426             </packing>
2427           </child>
2428
2429           <child>
2430             <widget class="GtkScrolledWindow" id="scrolledwindow1">
2431               <property name="visible">True</property>
2432               <property name="can_focus">True</property>
2433               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
2434               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
2435               <property name="shadow_type">GTK_SHADOW_NONE</property>
2436               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
2437
2438               <child>
2439                 <widget class="GtkTreeView" id="UriChoiceTreeView">
2440                   <property name="visible">True</property>
2441                   <property name="can_focus">True</property>
2442                   <property name="headers_visible">False</property>
2443                   <property name="rules_hint">False</property>
2444                   <property name="reorderable">False</property>
2445                   <property name="enable_search">True</property>
2446                 </widget>
2447               </child>
2448             </widget>
2449             <packing>
2450               <property name="padding">0</property>
2451               <property name="expand">True</property>
2452               <property name="fill">True</property>
2453             </packing>
2454           </child>
2455
2456           <child>
2457             <widget class="GtkHBox" id="hbox2">
2458               <property name="visible">True</property>
2459               <property name="homogeneous">False</property>
2460               <property name="spacing">0</property>
2461
2462               <child>
2463                 <widget class="GtkLabel" id="label2">
2464                   <property name="visible">True</property>
2465                   <property name="label" translatable="yes">URI: </property>
2466                   <property name="use_underline">False</property>
2467                   <property name="use_markup">False</property>
2468                   <property name="justify">GTK_JUSTIFY_LEFT</property>
2469                   <property name="wrap">False</property>
2470                   <property name="selectable">False</property>
2471                   <property name="xalign">0.5</property>
2472                   <property name="yalign">0.5</property>
2473                   <property name="xpad">0</property>
2474                   <property name="ypad">0</property>
2475                 </widget>
2476                 <packing>
2477                   <property name="padding">0</property>
2478                   <property name="expand">False</property>
2479                   <property name="fill">False</property>
2480                 </packing>
2481               </child>
2482
2483               <child>
2484                 <widget class="GtkEntry" id="entry1">
2485                   <property name="visible">True</property>
2486                   <property name="can_focus">True</property>
2487                   <property name="editable">True</property>
2488                   <property name="visibility">True</property>
2489                   <property name="max_length">0</property>
2490                   <property name="text" translatable="yes"></property>
2491                   <property name="has_frame">True</property>
2492                   <property name="invisible_char">*</property>
2493                   <property name="activates_default">False</property>
2494                 </widget>
2495                 <packing>
2496                   <property name="padding">0</property>
2497                   <property name="expand">True</property>
2498                   <property name="fill">True</property>
2499                 </packing>
2500               </child>
2501             </widget>
2502             <packing>
2503               <property name="padding">0</property>
2504               <property name="expand">False</property>
2505               <property name="fill">True</property>
2506             </packing>
2507           </child>
2508         </widget>
2509         <packing>
2510           <property name="padding">0</property>
2511           <property name="expand">True</property>
2512           <property name="fill">True</property>
2513         </packing>
2514       </child>
2515     </widget>
2516   </child>
2517 </widget>
2518
2519 </glade-interface>