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