helm/matita/matita.glade

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