helm/matita/matita.glade

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