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