helm/matita/matita.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5
   6 <widget class="GtkWindow" id="MainWin">
   7   <property name="visible">True</property>
   8   <property name="title" translatable="yes">Matita</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="default_width">800</property>
  13   <property name="default_height">600</property>
  14   <property name="resizable">True</property>
  15   <property name="destroy_with_parent">False</property>
  16   <property name="decorated">True</property>
  17   <property name="skip_taskbar_hint">False</property>
  18   <property name="skip_pager_hint">False</property>
  19   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  20   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  21
  22   <child>
  23     <widget class="GtkEventBox" id="MainWinEventBox">
  24       <property name="visible">True</property>
  25       <property name="visible_window">True</property>
  26       <property name="above_child">False</property>
  27
  28       <child>
  29         <widget class="GtkVBox" id="MainWinShape">
  30           <property name="visible">True</property>
  31           <property name="homogeneous">False</property>
  32           <property name="spacing">0</property>
  33
  34           <child>
  35             <widget class="GtkMenuBar" id="MainMenuBar">
  36               <property name="visible">True</property>
  37
  38               <child>
  39                 <widget class="GtkMenuItem" id="FileMenu">
  40                   <property name="visible">True</property>
  41                   <property name="label" translatable="yes">_File</property>
  42                   <property name="use_underline">True</property>
  43
  44                   <child>
  45                     <widget class="GtkMenu" id="FileMenu_menu">
  46
  47                       <child>
  48                         <widget class="GtkImageMenuItem" id="NewMenu">
  49                           <property name="visible">True</property>
  50                           <property name="label" translatable="yes">_New</property>
  51                           <property name="use_underline">True</property>
  52
  53                           <child internal-child="image">
  54                             <widget class="GtkImage" id="image116">
  55                               <property name="visible">True</property>
  56                               <property name="stock">gtk-new</property>
  57                               <property name="icon_size">1</property>
  58                               <property name="xalign">0.5</property>
  59                               <property name="yalign">0.5</property>
  60                               <property name="xpad">0</property>
  61                               <property name="ypad">0</property>
  62                             </widget>
  63                           </child>
  64
  65                           <child>
  66                             <widget class="GtkMenu" id="NewMenu_menu">
  67
  68                               <child>
  69                                 <widget class="GtkMenuItem" id="NewProofMenuItem">
  70                                   <property name="visible">True</property>
  71                                   <property name="label" translatable="yes">_Proof or definition ...</property>
  72                                   <property name="use_underline">True</property>
  73                                 </widget>
  74                               </child>
  75
  76                               <child>
  77                                 <widget class="GtkMenuItem" id="NewDefsMenuItem">
  78                                   <property name="visible">True</property>
  79                                   <property name="label" translatable="yes">(Co)Inductive _definitions ...</property>
  80                                   <property name="use_underline">True</property>
  81                                 </widget>
  82                               </child>
  83                             </widget>
  84                           </child>
  85                         </widget>
  86                       </child>
  87
  88                       <child>
  89                         <widget class="GtkImageMenuItem" id="OpenMenuItem">
  90                           <property name="visible">True</property>
  91                           <property name="label" translatable="yes">_Open...</property>
  92                           <property name="use_underline">True</property>
  93                           <accelerator key="o" modifiers="GDK_CONTROL_MASK" signal="activate"/>
  94
  95                           <child internal-child="image">
  96                             <widget class="GtkImage" id="image117">
  97                               <property name="visible">True</property>
  98                               <property name="stock">gtk-open</property>
  99                               <property name="icon_size">1</property>
 100                               <property name="xalign">0.5</property>
 101                               <property name="yalign">0.5</property>
 102                               <property name="xpad">0</property>
 103                               <property name="ypad">0</property>
 104                             </widget>
 105                           </child>
 106                         </widget>
 107                       </child>
 108
 109                       <child>
 110                         <widget class="GtkImageMenuItem" id="SaveMenuItem">
 111                           <property name="visible">True</property>
 112                           <property name="label" translatable="yes">_Save</property>
 113                           <property name="use_underline">True</property>
 114                           <accelerator key="s" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 115
 116                           <child internal-child="image">
 117                             <widget class="GtkImage" id="image118">
 118                               <property name="visible">True</property>
 119                               <property name="stock">gtk-save</property>
 120                               <property name="icon_size">1</property>
 121                               <property name="xalign">0.5</property>
 122                               <property name="yalign">0.5</property>
 123                               <property name="xpad">0</property>
 124                               <property name="ypad">0</property>
 125                             </widget>
 126                           </child>
 127                         </widget>
 128                       </child>
 129
 130                       <child>
 131                         <widget class="GtkImageMenuItem" id="SaveAsMenuItem">
 132                           <property name="visible">True</property>
 133                           <property name="label" translatable="yes">Save _As ...</property>
 134                           <property name="use_underline">True</property>
 135
 136                           <child internal-child="image">
 137                             <widget class="GtkImage" id="image119">
 138                               <property name="visible">True</property>
 139                               <property name="stock">gtk-save-as</property>
 140                               <property name="icon_size">1</property>
 141                               <property name="xalign">0.5</property>
 142                               <property name="yalign">0.5</property>
 143                               <property name="xpad">0</property>
 144                               <property name="ypad">0</property>
 145                             </widget>
 146                           </child>
 147                         </widget>
 148                       </child>
 149
 150                       <child>
 151                         <widget class="GtkSeparatorMenuItem" id="separator1">
 152                           <property name="visible">True</property>
 153                         </widget>
 154                       </child>
 155
 156                       <child>
 157                         <widget class="GtkImageMenuItem" id="QuitMenuItem">
 158                           <property name="visible">True</property>
 159                           <property name="label" translatable="yes">_Quit</property>
 160                           <property name="use_underline">True</property>
 161                           <accelerator key="q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 162
 163                           <child internal-child="image">
 164                             <widget class="GtkImage" id="image120">
 165                               <property name="visible">True</property>
 166                               <property name="stock">gtk-quit</property>
 167                               <property name="icon_size">1</property>
 168                               <property name="xalign">0.5</property>
 169                               <property name="yalign">0.5</property>
 170                               <property name="xpad">0</property>
 171                               <property name="ypad">0</property>
 172                             </widget>
 173                           </child>
 174                         </widget>
 175                       </child>
 176                     </widget>
 177                   </child>
 178                 </widget>
 179               </child>
 180
 181               <child>
 182                 <widget class="GtkMenuItem" id="EditMenu">
 183                   <property name="visible">True</property>
 184                   <property name="label" translatable="yes">_Edit</property>
 185                   <property name="use_underline">True</property>
 186                 </widget>
 187               </child>
 188
 189               <child>
 190                 <widget class="GtkMenuItem" id="ViewMenu">
 191                   <property name="visible">True</property>
 192                   <property name="label" translatable="yes">_View</property>
 193                   <property name="use_underline">True</property>
 194
 195                   <child>
 196                     <widget class="GtkMenu" id="ViewMenu_menu">
 197
 198                       <child>
 199                         <widget class="GtkCheckMenuItem" id="ShowToolBarMenuItem">
 200                           <property name="visible">True</property>
 201                           <property name="label" translatable="yes">Show Button Bar</property>
 202                           <property name="use_underline">True</property>
 203                           <property name="active">True</property>
 204                         </widget>
 205                       </child>
 206
 207                       <child>
 208                         <widget class="GtkCheckMenuItem" id="ShowProofMenuItem">
 209                           <property name="visible">True</property>
 210                           <property name="label" translatable="yes">Show Proof Window</property>
 211                           <property name="use_underline">True</property>
 212                           <property name="active">False</property>
 213                           <accelerator key="F3" modifiers="0" signal="activate"/>
 214                         </widget>
 215                       </child>
 216
 217                       <child>
 218                         <widget class="GtkCheckMenuItem" id="ShowCheckMenuItem">
 219                           <property name="visible">True</property>
 220                           <property name="label" translatable="yes">Show Check Window</property>
 221                           <property name="use_underline">True</property>
 222                           <property name="active">False</property>
 223                           <accelerator key="F4" modifiers="0" signal="activate"/>
 224                         </widget>
 225                       </child>
 226                     </widget>
 227                   </child>
 228                 </widget>
 229               </child>
 230
 231               <child>
 232                 <widget class="GtkMenuItem" id="DebugMenu">
 233                   <property name="visible">True</property>
 234                   <property name="label" translatable="yes">Debug</property>
 235                   <property name="use_underline">True</property>
 236
 237                   <child>
 238                     <widget class="GtkMenu" id="DebugMenu_menu">
 239
 240                       <child>
 241                         <widget class="GtkSeparatorMenuItem" id="separator2">
 242                           <property name="visible">True</property>
 243                         </widget>
 244                       </child>
 245                     </widget>
 246                   </child>
 247                 </widget>
 248               </child>
 249
 250               <child>
 251                 <widget class="GtkMenuItem" id="HelpMenu">
 252                   <property name="visible">True</property>
 253                   <property name="label" translatable="yes">_Help</property>
 254                   <property name="use_underline">True</property>
 255
 256                   <child>
 257                     <widget class="GtkMenu" id="HelpMenu_menu">
 258
 259                       <child>
 260                         <widget class="GtkMenuItem" id="AboutMenuItem">
 261                           <property name="visible">True</property>
 262                           <property name="label" translatable="yes">About...</property>
 263                           <property name="use_underline">True</property>
 264                         </widget>
 265                       </child>
 266                     </widget>
 267                   </child>
 268                 </widget>
 269               </child>
 270             </widget>
 271             <packing>
 272               <property name="padding">0</property>
 273               <property name="expand">False</property>
 274               <property name="fill">False</property>
 275             </packing>
 276           </child>
 277
 278           <child>
 279             <widget class="GtkVPaned" id="MainVPanes">
 280               <property name="visible">True</property>
 281               <property name="can_focus">True</property>
 282               <property name="position">450</property>
 283
 284               <child>
 285                 <widget class="GtkScrolledWindow" id="ScrolledSequents">
 286                   <property name="visible">True</property>
 287                   <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 288                   <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 289                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 290                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 291
 292                   <child>
 293                     <widget class="GtkViewport" id="viewport1">
 294                       <property name="visible">True</property>
 295                       <property name="shadow_type">GTK_SHADOW_IN</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                       </child>
 308                     </widget>
 309                   </child>
 310                 </widget>
 311                 <packing>
 312                   <property name="shrink">True</property>
 313                   <property name="resize">False</property>
 314                 </packing>
 315               </child>
 316
 317               <child>
 318                 <widget class="GtkEventBox" id="ConsoleEventBox">
 319                   <property name="visible">True</property>
 320                   <property name="visible_window">True</property>
 321                   <property name="above_child">False</property>
 322
 323                   <child>
 324                     <widget class="GtkScrolledWindow" id="ScrolledConsole">
 325                       <property name="visible">True</property>
 326                       <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 327                       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 328                       <property name="shadow_type">GTK_SHADOW_IN</property>
 329                       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 330
 331                       <child>
 332                         <placeholder/>
 333                       </child>
 334                     </widget>
 335                   </child>
 336                 </widget>
 337                 <packing>
 338                   <property name="shrink">True</property>
 339                   <property name="resize">True</property>
 340                 </packing>
 341               </child>
 342             </widget>
 343             <packing>
 344               <property name="padding">0</property>
 345               <property name="expand">True</property>
 346               <property name="fill">True</property>
 347             </packing>
 348           </child>
 349
 350           <child>
 351             <widget class="GtkStatusbar" id="MainStatusBar">
 352               <property name="visible">True</property>
 353               <property name="has_resize_grip">True</property>
 354             </widget>
 355             <packing>
 356               <property name="padding">0</property>
 357               <property name="expand">False</property>
 358               <property name="fill">False</property>
 359             </packing>
 360           </child>
 361         </widget>
 362       </child>
 363     </widget>
 364   </child>
 365 </widget>
 366
 367 <widget class="GtkWindow" id="ProofWin">
 368   <property name="title" translatable="yes">Matita: current proof</property>
 369   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 370   <property name="window_position">GTK_WIN_POS_NONE</property>
 371   <property name="modal">False</property>
 372   <property name="default_width">700</property>
 373   <property name="default_height">525</property>
 374   <property name="resizable">True</property>
 375   <property name="destroy_with_parent">False</property>
 376   <property name="decorated">True</property>
 377   <property name="skip_taskbar_hint">False</property>
 378   <property name="skip_pager_hint">False</property>
 379   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 380   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 381
 382   <child>
 383     <widget class="GtkEventBox" id="ProofWinEventBox">
 384       <property name="visible">True</property>
 385       <property name="visible_window">True</property>
 386       <property name="above_child">False</property>
 387
 388       <child>
 389         <widget class="GtkScrolledWindow" id="ScrolledProof">
 390           <property name="visible">True</property>
 391           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 392           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 393           <property name="shadow_type">GTK_SHADOW_NONE</property>
 394           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 395
 396           <child>
 397             <placeholder/>
 398           </child>
 399         </widget>
 400       </child>
 401     </widget>
 402   </child>
 403 </widget>
 404
 405 <widget class="GtkFileSelection" id="FileSelectionWin">
 406   <property name="border_width">10</property>
 407   <property name="title" translatable="yes">Select File</property>
 408   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 409   <property name="window_position">GTK_WIN_POS_CENTER</property>
 410   <property name="modal">True</property>
 411   <property name="resizable">True</property>
 412   <property name="destroy_with_parent">False</property>
 413   <property name="decorated">True</property>
 414   <property name="skip_taskbar_hint">False</property>
 415   <property name="skip_pager_hint">False</property>
 416   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 417   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 418   <property name="show_fileops">True</property>
 419
 420   <child internal-child="cancel_button">
 421     <widget class="GtkButton" id="cancel_button1">
 422       <property name="visible">True</property>
 423       <property name="can_default">True</property>
 424       <property name="can_focus">True</property>
 425       <property name="relief">GTK_RELIEF_NORMAL</property>
 426       <property name="focus_on_click">True</property>
 427     </widget>
 428   </child>
 429
 430   <child internal-child="ok_button">
 431     <widget class="GtkButton" id="ok_button1">
 432       <property name="visible">True</property>
 433       <property name="can_default">True</property>
 434       <property name="can_focus">True</property>
 435       <property name="relief">GTK_RELIEF_NORMAL</property>
 436       <property name="focus_on_click">True</property>
 437     </widget>
 438   </child>
 439 </widget>
 440
 441 <widget class="GtkWindow" id="ToolBarWin">
 442   <property name="width_request">130</property>
 443   <property name="height_request">450</property>
 444   <property name="visible">True</property>
 445   <property name="title" translatable="yes">ToolBar</property>
 446   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 447   <property name="window_position">GTK_WIN_POS_NONE</property>
 448   <property name="modal">False</property>
 449   <property name="resizable">False</property>
 450   <property name="destroy_with_parent">False</property>
 451   <property name="decorated">True</property>
 452   <property name="skip_taskbar_hint">False</property>
 453   <property name="skip_pager_hint">False</property>
 454   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 455   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 456
 457   <child>
 458     <widget class="GtkEventBox" id="ToolBarEventBox">
 459       <property name="visible">True</property>
 460       <property name="visible_window">True</property>
 461       <property name="above_child">False</property>
 462
 463       <child>
 464         <widget class="GtkVBox" id="vbox1">
 465           <property name="visible">True</property>
 466           <property name="homogeneous">False</property>
 467           <property name="spacing">0</property>
 468
 469           <child>
 470             <widget class="GtkVButtonBox" id="vbuttonbox1">
 471               <property name="visible">True</property>
 472               <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
 473               <property name="spacing">0</property>
 474
 475               <child>
 476                 <widget class="GtkButton" id="button1">
 477                   <property name="width_request">120</property>
 478                   <property name="visible">True</property>
 479                   <property name="can_default">True</property>
 480                   <property name="can_focus">True</property>
 481                   <property name="label" translatable="yes">button1</property>
 482                   <property name="use_underline">True</property>
 483                   <property name="relief">GTK_RELIEF_NORMAL</property>
 484                   <property name="focus_on_click">True</property>
 485                 </widget>
 486               </child>
 487
 488               <child>
 489                 <widget class="GtkButton" id="button2">
 490                   <property name="visible">True</property>
 491                   <property name="can_default">True</property>
 492                   <property name="can_focus">True</property>
 493                   <property name="label" translatable="yes">button2</property>
 494                   <property name="use_underline">True</property>
 495                   <property name="relief">GTK_RELIEF_NORMAL</property>
 496                   <property name="focus_on_click">True</property>
 497                 </widget>
 498               </child>
 499
 500               <child>
 501                 <widget class="GtkButton" id="button3">
 502                   <property name="visible">True</property>
 503                   <property name="can_default">True</property>
 504                   <property name="can_focus">True</property>
 505                   <property name="label" translatable="yes">button3</property>
 506                   <property name="use_underline">True</property>
 507                   <property name="relief">GTK_RELIEF_NORMAL</property>
 508                   <property name="focus_on_click">True</property>
 509                 </widget>
 510               </child>
 511
 512               <child>
 513                 <widget class="GtkButton" id="button4">
 514                   <property name="visible">True</property>
 515                   <property name="can_default">True</property>
 516                   <property name="can_focus">True</property>
 517                   <property name="label" translatable="yes">button4</property>
 518                   <property name="use_underline">True</property>
 519                   <property name="relief">GTK_RELIEF_NORMAL</property>
 520                   <property name="focus_on_click">True</property>
 521                 </widget>
 522               </child>
 523             </widget>
 524             <packing>
 525               <property name="padding">0</property>
 526               <property name="expand">False</property>
 527               <property name="fill">True</property>
 528             </packing>
 529           </child>
 530
 531           <child>
 532             <widget class="GtkHSeparator" id="hseparator1">
 533               <property name="visible">True</property>
 534             </widget>
 535             <packing>
 536               <property name="padding">5</property>
 537               <property name="expand">False</property>
 538               <property name="fill">True</property>
 539             </packing>
 540           </child>
 541
 542           <child>
 543             <placeholder/>
 544           </child>
 545         </widget>
 546       </child>
 547     </widget>
 548   </child>
 549 </widget>
 550
 551 <widget class="GtkDialog" id="ConfirmationDialog">
 552   <property name="title" translatable="yes">DUMMY</property>
 553   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 554   <property name="window_position">GTK_WIN_POS_CENTER</property>
 555   <property name="modal">True</property>
 556   <property name="resizable">False</property>
 557   <property name="destroy_with_parent">False</property>
 558   <property name="decorated">True</property>
 559   <property name="skip_taskbar_hint">False</property>
 560   <property name="skip_pager_hint">False</property>
 561   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 562   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 563   <property name="has_separator">True</property>
 564
 565   <child internal-child="vbox">
 566     <widget class="GtkVBox" id="dialog-vbox1">
 567       <property name="visible">True</property>
 568       <property name="homogeneous">False</property>
 569       <property name="spacing">0</property>
 570
 571       <child internal-child="action_area">
 572         <widget class="GtkHButtonBox" id="dialog-action_area1">
 573           <property name="visible">True</property>
 574           <property name="layout_style">GTK_BUTTONBOX_END</property>
 575
 576           <child>
 577             <widget class="GtkButton" id="ConfirmationDialogCancelButton">
 578               <property name="visible">True</property>
 579               <property name="can_default">True</property>
 580               <property name="can_focus">True</property>
 581               <property name="label">gtk-cancel</property>
 582               <property name="use_stock">True</property>
 583               <property name="relief">GTK_RELIEF_NORMAL</property>
 584               <property name="focus_on_click">True</property>
 585               <property name="response_id">-6</property>
 586             </widget>
 587           </child>
 588
 589           <child>
 590             <widget class="GtkButton" id="ConfirmationDialogOkButton">
 591               <property name="visible">True</property>
 592               <property name="can_default">True</property>
 593               <property name="can_focus">True</property>
 594               <property name="label">gtk-ok</property>
 595               <property name="use_stock">True</property>
 596               <property name="relief">GTK_RELIEF_NORMAL</property>
 597               <property name="focus_on_click">True</property>
 598               <property name="response_id">-5</property>
 599             </widget>
 600           </child>
 601         </widget>
 602         <packing>
 603           <property name="padding">0</property>
 604           <property name="expand">False</property>
 605           <property name="fill">True</property>
 606           <property name="pack_type">GTK_PACK_END</property>
 607         </packing>
 608       </child>
 609
 610       <child>
 611         <widget class="GtkLabel" id="ConfirmationDialogLabel">
 612           <property name="visible">True</property>
 613           <property name="label" translatable="yes">DUMMY</property>
 614           <property name="use_underline">False</property>
 615           <property name="use_markup">False</property>
 616           <property name="justify">GTK_JUSTIFY_CENTER</property>
 617           <property name="wrap">False</property>
 618           <property name="selectable">False</property>
 619           <property name="xalign">0.5</property>
 620           <property name="yalign">0.5</property>
 621           <property name="xpad">0</property>
 622           <property name="ypad">0</property>
 623         </widget>
 624         <packing>
 625           <property name="padding">0</property>
 626           <property name="expand">False</property>
 627           <property name="fill">False</property>
 628         </packing>
 629       </child>
 630     </widget>
 631   </child>
 632 </widget>
 633
 634 <widget class="GtkDialog" id="AboutWin">
 635   <property name="title" translatable="yes">Matita: about</property>
 636   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 637   <property name="window_position">GTK_WIN_POS_CENTER</property>
 638   <property name="modal">True</property>
 639   <property name="resizable">False</property>
 640   <property name="destroy_with_parent">False</property>
 641   <property name="decorated">True</property>
 642   <property name="skip_taskbar_hint">False</property>
 643   <property name="skip_pager_hint">False</property>
 644   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 645   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 646   <property name="has_separator">True</property>
 647
 648   <child internal-child="vbox">
 649     <widget class="GtkVBox" id="dialog-vbox2">
 650       <property name="visible">True</property>
 651       <property name="homogeneous">False</property>
 652       <property name="spacing">0</property>
 653
 654       <child internal-child="action_area">
 655         <widget class="GtkHButtonBox" id="dialog-action_area2">
 656           <property name="visible">True</property>
 657           <property name="layout_style">GTK_BUTTONBOX_END</property>
 658
 659           <child>
 660             <widget class="GtkButton" id="AboutDismissButton">
 661               <property name="visible">True</property>
 662               <property name="can_default">True</property>
 663               <property name="can_focus">True</property>
 664               <property name="label">gtk-ok</property>
 665               <property name="use_stock">True</property>
 666               <property name="relief">GTK_RELIEF_NORMAL</property>
 667               <property name="focus_on_click">True</property>
 668               <property name="response_id">-5</property>
 669             </widget>
 670           </child>
 671         </widget>
 672         <packing>
 673           <property name="padding">0</property>
 674           <property name="expand">False</property>
 675           <property name="fill">True</property>
 676           <property name="pack_type">GTK_PACK_END</property>
 677         </packing>
 678       </child>
 679
 680       <child>
 681         <widget class="GtkLabel" id="AboutLabel">
 682           <property name="visible">True</property>
 683           <property name="label" translatable="yes">&lt;b&gt;Matita @VERSION@&lt;/b&gt;
 684
 685 &lt;tt&gt;http://helm.cs.unibo.it&lt;/tt&gt;
 686
 687 Copyright (C) 2004,
 688 &lt;i&gt;the HELM team&lt;/i&gt;</property>
 689           <property name="use_underline">False</property>
 690           <property name="use_markup">True</property>
 691           <property name="justify">GTK_JUSTIFY_CENTER</property>
 692           <property name="wrap">False</property>
 693           <property name="selectable">False</property>
 694           <property name="xalign">0.5</property>
 695           <property name="yalign">0.5</property>
 696           <property name="xpad">5</property>
 697           <property name="ypad">5</property>
 698         </widget>
 699         <packing>
 700           <property name="padding">0</property>
 701           <property name="expand">False</property>
 702           <property name="fill">False</property>
 703         </packing>
 704       </child>
 705     </widget>
 706   </child>
 707 </widget>
 708
 709 <widget class="GtkDialog" id="UriChoiceDialog">
 710   <property name="height_request">280</property>
 711   <property name="title" translatable="yes">Uri choice</property>
 712   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 713   <property name="window_position">GTK_WIN_POS_CENTER</property>
 714   <property name="modal">True</property>
 715   <property name="resizable">True</property>
 716   <property name="destroy_with_parent">False</property>
 717   <property name="decorated">True</property>
 718   <property name="skip_taskbar_hint">False</property>
 719   <property name="skip_pager_hint">False</property>
 720   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 721   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 722   <property name="has_separator">True</property>
 723
 724   <child internal-child="vbox">
 725     <widget class="GtkVBox" id="dialog-vbox3">
 726       <property name="visible">True</property>
 727       <property name="homogeneous">False</property>
 728       <property name="spacing">0</property>
 729
 730       <child internal-child="action_area">
 731         <widget class="GtkHButtonBox" id="dialog-action_area3">
 732           <property name="visible">True</property>
 733           <property name="layout_style">GTK_BUTTONBOX_END</property>
 734
 735           <child>
 736             <widget class="GtkButton" id="UriChoiceAbortButton">
 737               <property name="visible">True</property>
 738               <property name="can_default">True</property>
 739               <property name="can_focus">True</property>
 740               <property name="label">gtk-cancel</property>
 741               <property name="use_stock">True</property>
 742               <property name="relief">GTK_RELIEF_NORMAL</property>
 743               <property name="focus_on_click">True</property>
 744               <property name="response_id">-6</property>
 745             </widget>
 746           </child>
 747
 748           <child>
 749             <widget class="GtkButton" id="UriChoiceSelectedButton">
 750               <property name="visible">True</property>
 751               <property name="can_default">True</property>
 752               <property name="can_focus">True</property>
 753               <property name="relief">GTK_RELIEF_NORMAL</property>
 754               <property name="focus_on_click">True</property>
 755               <property name="response_id">0</property>
 756
 757               <child>
 758                 <widget class="GtkAlignment" id="alignment2">
 759                   <property name="visible">True</property>
 760                   <property name="xalign">0.5</property>
 761                   <property name="yalign">0.5</property>
 762                   <property name="xscale">0</property>
 763                   <property name="yscale">0</property>
 764                   <property name="top_padding">0</property>
 765                   <property name="bottom_padding">0</property>
 766                   <property name="left_padding">0</property>
 767                   <property name="right_padding">0</property>
 768
 769                   <child>
 770                     <widget class="GtkHBox" id="hbox3">
 771                       <property name="visible">True</property>
 772                       <property name="homogeneous">False</property>
 773                       <property name="spacing">2</property>
 774
 775                       <child>
 776                         <widget class="GtkImage" id="image19">
 777                           <property name="visible">True</property>
 778                           <property name="stock">gtk-index</property>
 779                           <property name="icon_size">4</property>
 780                           <property name="xalign">0.5</property>
 781                           <property name="yalign">0.5</property>
 782                           <property name="xpad">0</property>
 783                           <property name="ypad">0</property>
 784                         </widget>
 785                         <packing>
 786                           <property name="padding">0</property>
 787                           <property name="expand">False</property>
 788                           <property name="fill">False</property>
 789                         </packing>
 790                       </child>
 791
 792                       <child>
 793                         <widget class="GtkLabel" id="label3">
 794                           <property name="visible">True</property>
 795                           <property name="label" translatable="yes">Try _Selected</property>
 796                           <property name="use_underline">True</property>
 797                           <property name="use_markup">False</property>
 798                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 799                           <property name="wrap">False</property>
 800                           <property name="selectable">False</property>
 801                           <property name="xalign">0.5</property>
 802                           <property name="yalign">0.5</property>
 803                           <property name="xpad">0</property>
 804                           <property name="ypad">0</property>
 805                         </widget>
 806                         <packing>
 807                           <property name="padding">0</property>
 808                           <property name="expand">False</property>
 809                           <property name="fill">False</property>
 810                         </packing>
 811                       </child>
 812                     </widget>
 813                   </child>
 814                 </widget>
 815               </child>
 816             </widget>
 817           </child>
 818
 819           <child>
 820             <widget class="GtkButton" id="UriChoiceConstantsButton">
 821               <property name="visible">True</property>
 822               <property name="sensitive">False</property>
 823               <property name="can_default">True</property>
 824               <property name="can_focus">True</property>
 825               <property name="label" translatable="yes">Try Constants</property>
 826               <property name="use_underline">True</property>
 827               <property name="relief">GTK_RELIEF_NORMAL</property>
 828               <property name="focus_on_click">True</property>
 829               <property name="response_id">0</property>
 830             </widget>
 831           </child>
 832
 833           <child>
 834             <widget class="GtkButton" id="UriChoiceAutoButton">
 835               <property name="visible">True</property>
 836               <property name="can_default">True</property>
 837               <property name="can_focus">True</property>
 838               <property name="relief">GTK_RELIEF_NORMAL</property>
 839               <property name="focus_on_click">True</property>
 840               <property name="response_id">0</property>
 841
 842               <child>
 843                 <widget class="GtkAlignment" id="alignment1">
 844                   <property name="visible">True</property>
 845                   <property name="xalign">0.5</property>
 846                   <property name="yalign">0.5</property>
 847                   <property name="xscale">0</property>
 848                   <property name="yscale">0</property>
 849                   <property name="top_padding">0</property>
 850                   <property name="bottom_padding">0</property>
 851                   <property name="left_padding">0</property>
 852                   <property name="right_padding">0</property>
 853
 854                   <child>
 855                     <widget class="GtkHBox" id="hbox1">
 856                       <property name="visible">True</property>
 857                       <property name="homogeneous">False</property>
 858                       <property name="spacing">2</property>
 859
 860                       <child>
 861                         <widget class="GtkImage" id="image18">
 862                           <property name="visible">True</property>
 863                           <property name="stock">gtk-ok</property>
 864                           <property name="icon_size">4</property>
 865                           <property name="xalign">0.5</property>
 866                           <property name="yalign">0.5</property>
 867                           <property name="xpad">0</property>
 868                           <property name="ypad">0</property>
 869                         </widget>
 870                         <packing>
 871                           <property name="padding">0</property>
 872                           <property name="expand">False</property>
 873                           <property name="fill">False</property>
 874                         </packing>
 875                       </child>
 876
 877                       <child>
 878                         <widget class="GtkLabel" id="label1">
 879                           <property name="visible">True</property>
 880                           <property name="label" translatable="yes">_Auto</property>
 881                           <property name="use_underline">True</property>
 882                           <property name="use_markup">False</property>
 883                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 884                           <property name="wrap">False</property>
 885                           <property name="selectable">False</property>
 886                           <property name="xalign">0.5</property>
 887                           <property name="yalign">0.5</property>
 888                           <property name="xpad">0</property>
 889                           <property name="ypad">0</property>
 890                         </widget>
 891                         <packing>
 892                           <property name="padding">0</property>
 893                           <property name="expand">False</property>
 894                           <property name="fill">False</property>
 895                         </packing>
 896                       </child>
 897                     </widget>
 898                   </child>
 899                 </widget>
 900               </child>
 901             </widget>
 902           </child>
 903         </widget>
 904         <packing>
 905           <property name="padding">0</property>
 906           <property name="expand">False</property>
 907           <property name="fill">True</property>
 908           <property name="pack_type">GTK_PACK_END</property>
 909         </packing>
 910       </child>
 911
 912       <child>
 913         <widget class="GtkVBox" id="vbox2">
 914           <property name="visible">True</property>
 915           <property name="homogeneous">False</property>
 916           <property name="spacing">0</property>
 917
 918           <child>
 919             <widget class="GtkLabel" id="UriChoiceLabel">
 920               <property name="visible">True</property>
 921               <property name="label" translatable="yes">some informative message here ...</property>
 922               <property name="use_underline">False</property>
 923               <property name="use_markup">False</property>
 924               <property name="justify">GTK_JUSTIFY_LEFT</property>
 925               <property name="wrap">False</property>
 926               <property name="selectable">False</property>
 927               <property name="xalign">0.5</property>
 928               <property name="yalign">0.5</property>
 929               <property name="xpad">0</property>
 930               <property name="ypad">0</property>
 931             </widget>
 932             <packing>
 933               <property name="padding">0</property>
 934               <property name="expand">False</property>
 935               <property name="fill">False</property>
 936             </packing>
 937           </child>
 938
 939           <child>
 940             <widget class="GtkScrolledWindow" id="scrolledwindow1">
 941               <property name="visible">True</property>
 942               <property name="can_focus">True</property>
 943               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 944               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 945               <property name="shadow_type">GTK_SHADOW_NONE</property>
 946               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 947
 948               <child>
 949                 <widget class="GtkTreeView" id="UriChoiceTreeView">
 950                   <property name="visible">True</property>
 951                   <property name="can_focus">True</property>
 952                   <property name="headers_visible">False</property>
 953                   <property name="rules_hint">False</property>
 954                   <property name="reorderable">False</property>
 955                   <property name="enable_search">True</property>
 956                 </widget>
 957               </child>
 958             </widget>
 959             <packing>
 960               <property name="padding">0</property>
 961               <property name="expand">True</property>
 962               <property name="fill">True</property>
 963             </packing>
 964           </child>
 965
 966           <child>
 967             <widget class="GtkHBox" id="hbox2">
 968               <property name="visible">True</property>
 969               <property name="homogeneous">False</property>
 970               <property name="spacing">0</property>
 971
 972               <child>
 973                 <widget class="GtkLabel" id="label2">
 974                   <property name="visible">True</property>
 975                   <property name="label" translatable="yes">URI: </property>
 976                   <property name="use_underline">False</property>
 977                   <property name="use_markup">False</property>
 978                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 979                   <property name="wrap">False</property>
 980                   <property name="selectable">False</property>
 981                   <property name="xalign">0.5</property>
 982                   <property name="yalign">0.5</property>
 983                   <property name="xpad">0</property>
 984                   <property name="ypad">0</property>
 985                 </widget>
 986                 <packing>
 987                   <property name="padding">0</property>
 988                   <property name="expand">False</property>
 989                   <property name="fill">False</property>
 990                 </packing>
 991               </child>
 992
 993               <child>
 994                 <widget class="GtkEntry" id="entry1">
 995                   <property name="visible">True</property>
 996                   <property name="can_focus">True</property>
 997                   <property name="editable">True</property>
 998                   <property name="visibility">True</property>
 999                   <property name="max_length">0</property>
1000                   <property name="text" translatable="yes"></property>
1001                   <property name="has_frame">True</property>
1002                   <property name="invisible_char" translatable="yes">*</property>
1003                   <property name="activates_default">False</property>
1004                 </widget>
1005                 <packing>
1006                   <property name="padding">0</property>
1007                   <property name="expand">True</property>
1008                   <property name="fill">True</property>
1009                 </packing>
1010               </child>
1011             </widget>
1012             <packing>
1013               <property name="padding">0</property>
1014               <property name="expand">False</property>
1015               <property name="fill">True</property>
1016             </packing>
1017           </child>
1018         </widget>
1019         <packing>
1020           <property name="padding">0</property>
1021           <property name="expand">True</property>
1022           <property name="fill">True</property>
1023         </packing>
1024       </child>
1025     </widget>
1026   </child>
1027 </widget>
1028
1029 <widget class="GtkDialog" id="InterpChoiceDialog">
1030   <property name="title" translatable="yes">Interpretation choice</property>
1031   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1032   <property name="window_position">GTK_WIN_POS_NONE</property>
1033   <property name="modal">True</property>
1034   <property name="resizable">True</property>
1035   <property name="destroy_with_parent">False</property>
1036   <property name="decorated">True</property>
1037   <property name="skip_taskbar_hint">False</property>
1038   <property name="skip_pager_hint">False</property>
1039   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1040   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1041   <property name="has_separator">True</property>
1042
1043   <child internal-child="vbox">
1044     <widget class="GtkVBox" id="dialog-vbox4">
1045       <property name="visible">True</property>
1046       <property name="homogeneous">False</property>
1047       <property name="spacing">0</property>
1048
1049       <child internal-child="action_area">
1050         <widget class="GtkHButtonBox" id="dialog-action_area4">
1051           <property name="visible">True</property>
1052           <property name="layout_style">GTK_BUTTONBOX_END</property>
1053
1054           <child>
1055             <widget class="GtkButton" id="InterpChoiceHelpButton">
1056               <property name="visible">True</property>
1057               <property name="can_default">True</property>
1058               <property name="can_focus">True</property>
1059               <property name="label">gtk-help</property>
1060               <property name="use_stock">True</property>
1061               <property name="relief">GTK_RELIEF_NORMAL</property>
1062               <property name="focus_on_click">True</property>
1063               <property name="response_id">-11</property>
1064             </widget>
1065           </child>
1066
1067           <child>
1068             <widget class="GtkButton" id="InterpChoiceCancelButton">
1069               <property name="visible">True</property>
1070               <property name="can_default">True</property>
1071               <property name="can_focus">True</property>
1072               <property name="label">gtk-cancel</property>
1073               <property name="use_stock">True</property>
1074               <property name="relief">GTK_RELIEF_NORMAL</property>
1075               <property name="focus_on_click">True</property>
1076               <property name="response_id">-6</property>
1077             </widget>
1078           </child>
1079
1080           <child>
1081             <widget class="GtkButton" id="InterpChoiceOkButton">
1082               <property name="visible">True</property>
1083               <property name="can_default">True</property>
1084               <property name="can_focus">True</property>
1085               <property name="label">gtk-ok</property>
1086               <property name="use_stock">True</property>
1087               <property name="relief">GTK_RELIEF_NORMAL</property>
1088               <property name="focus_on_click">True</property>
1089               <property name="response_id">-5</property>
1090             </widget>
1091           </child>
1092         </widget>
1093         <packing>
1094           <property name="padding">0</property>
1095           <property name="expand">False</property>
1096           <property name="fill">True</property>
1097           <property name="pack_type">GTK_PACK_END</property>
1098         </packing>
1099       </child>
1100
1101       <child>
1102         <widget class="GtkVBox" id="vbox3">
1103           <property name="visible">True</property>
1104           <property name="homogeneous">False</property>
1105           <property name="spacing">0</property>
1106
1107           <child>
1108             <widget class="GtkLabel" id="label6">
1109               <property name="visible">True</property>
1110               <property name="label" translatable="yes">some informative message here ...</property>
1111               <property name="use_underline">False</property>
1112               <property name="use_markup">False</property>
1113               <property name="justify">GTK_JUSTIFY_LEFT</property>
1114               <property name="wrap">False</property>
1115               <property name="selectable">False</property>
1116               <property name="xalign">0.5</property>
1117               <property name="yalign">0.5</property>
1118               <property name="xpad">0</property>
1119               <property name="ypad">0</property>
1120             </widget>
1121             <packing>
1122               <property name="padding">0</property>
1123               <property name="expand">False</property>
1124               <property name="fill">False</property>
1125             </packing>
1126           </child>
1127
1128           <child>
1129             <placeholder/>
1130           </child>
1131         </widget>
1132         <packing>
1133           <property name="padding">0</property>
1134           <property name="expand">True</property>
1135           <property name="fill">True</property>
1136         </packing>
1137       </child>
1138     </widget>
1139   </child>
1140 </widget>
1141
1142 <widget class="GtkDialog" id="EmptyDialog">
1143   <property name="visible">True</property>
1144   <property name="title" translatable="yes">DUMMY</property>
1145   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1146   <property name="window_position">GTK_WIN_POS_NONE</property>
1147   <property name="modal">False</property>
1148   <property name="resizable">True</property>
1149   <property name="destroy_with_parent">False</property>
1150   <property name="decorated">True</property>
1151   <property name="skip_taskbar_hint">False</property>
1152   <property name="skip_pager_hint">False</property>
1153   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1154   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1155   <property name="has_separator">True</property>
1156
1157   <child internal-child="vbox">
1158     <widget class="GtkVBox" id="EmptyDialogVBox">
1159       <property name="visible">True</property>
1160       <property name="homogeneous">False</property>
1161       <property name="spacing">0</property>
1162
1163       <child internal-child="action_area">
1164         <widget class="GtkHButtonBox" id="dialog-action_area5">
1165           <property name="visible">True</property>
1166           <property name="layout_style">GTK_BUTTONBOX_END</property>
1167
1168           <child>
1169             <widget class="GtkButton" id="EmptyDialogCancelButton">
1170               <property name="visible">True</property>
1171               <property name="can_default">True</property>
1172               <property name="can_focus">True</property>
1173               <property name="label">gtk-cancel</property>
1174               <property name="use_stock">True</property>
1175               <property name="relief">GTK_RELIEF_NORMAL</property>
1176               <property name="focus_on_click">True</property>
1177               <property name="response_id">-6</property>
1178             </widget>
1179           </child>
1180
1181           <child>
1182             <widget class="GtkButton" id="EmptyDialogOkButton">
1183               <property name="visible">True</property>
1184               <property name="can_default">True</property>
1185               <property name="can_focus">True</property>
1186               <property name="label">gtk-ok</property>
1187               <property name="use_stock">True</property>
1188               <property name="relief">GTK_RELIEF_NORMAL</property>
1189               <property name="focus_on_click">True</property>
1190               <property name="response_id">-5</property>
1191             </widget>
1192           </child>
1193         </widget>
1194         <packing>
1195           <property name="padding">0</property>
1196           <property name="expand">False</property>
1197           <property name="fill">True</property>
1198           <property name="pack_type">GTK_PACK_END</property>
1199         </packing>
1200       </child>
1201
1202       <child>
1203         <widget class="GtkLabel" id="EmptyDialogLabel">
1204           <property name="visible">True</property>
1205           <property name="label" translatable="yes">DUMMY</property>
1206           <property name="use_underline">False</property>
1207           <property name="use_markup">False</property>
1208           <property name="justify">GTK_JUSTIFY_LEFT</property>
1209           <property name="wrap">False</property>
1210           <property name="selectable">False</property>
1211           <property name="xalign">0.5</property>
1212           <property name="yalign">0.5</property>
1213           <property name="xpad">0</property>
1214           <property name="ypad">0</property>
1215         </widget>
1216         <packing>
1217           <property name="padding">0</property>
1218           <property name="expand">False</property>
1219           <property name="fill">False</property>
1220         </packing>
1221       </child>
1222
1223       <child>
1224         <placeholder/>
1225       </child>
1226     </widget>
1227   </child>
1228 </widget>
1229
1230 <widget class="GtkWindow" id="CheckWin">
1231   <property name="width_request">300</property>
1232   <property name="height_request">200</property>
1233   <property name="title" translatable="yes">Matita: check term</property>
1234   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1235   <property name="window_position">GTK_WIN_POS_NONE</property>
1236   <property name="modal">False</property>
1237   <property name="resizable">True</property>
1238   <property name="destroy_with_parent">False</property>
1239   <property name="decorated">True</property>
1240   <property name="skip_taskbar_hint">False</property>
1241   <property name="skip_pager_hint">False</property>
1242   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
1243   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1244
1245   <child>
1246     <widget class="GtkEventBox" id="CheckWinEventBox">
1247       <property name="visible">True</property>
1248       <property name="visible_window">True</property>
1249       <property name="above_child">False</property>
1250
1251       <child>
1252         <widget class="GtkScrolledWindow" id="ScrolledCheck">
1253           <property name="visible">True</property>
1254           <property name="can_focus">True</property>
1255           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
1256           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
1257           <property name="shadow_type">GTK_SHADOW_NONE</property>
1258           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1259
1260           <child>
1261             <placeholder/>
1262           </child>
1263         </widget>
1264       </child>
1265     </widget>
1266   </child>
1267 </widget>
1268
1269 </glade-interface>