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