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