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