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="image108">
  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="image109">
  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="image110">
 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="image111">
 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="image112">
 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                         </widget>
 224                       </child>
 225                     </widget>
 226                   </child>
 227                 </widget>
 228               </child>
 229
 230               <child>
 231                 <widget class="GtkMenuItem" id="DebugMenu">
 232                   <property name="visible">True</property>
 233                   <property name="label" translatable="yes">Debug</property>
 234                   <property name="use_underline">True</property>
 235
 236                   <child>
 237                     <widget class="GtkMenu" id="DebugMenu_menu">
 238
 239                       <child>
 240                         <widget class="GtkSeparatorMenuItem" id="separator2">
 241                           <property name="visible">True</property>
 242                         </widget>
 243                       </child>
 244                     </widget>
 245                   </child>
 246                 </widget>
 247               </child>
 248
 249               <child>
 250                 <widget class="GtkMenuItem" id="HelpMenu">
 251                   <property name="visible">True</property>
 252                   <property name="label" translatable="yes">_Help</property>
 253                   <property name="use_underline">True</property>
 254
 255                   <child>
 256                     <widget class="GtkMenu" id="HelpMenu_menu">
 257
 258                       <child>
 259                         <widget class="GtkMenuItem" id="AboutMenuItem">
 260                           <property name="visible">True</property>
 261                           <property name="label" translatable="yes">About...</property>
 262                           <property name="use_underline">True</property>
 263                         </widget>
 264                       </child>
 265                     </widget>
 266                   </child>
 267                 </widget>
 268               </child>
 269             </widget>
 270             <packing>
 271               <property name="padding">0</property>
 272               <property name="expand">False</property>
 273               <property name="fill">False</property>
 274             </packing>
 275           </child>
 276
 277           <child>
 278             <widget class="GtkVPaned" id="MainVPanes">
 279               <property name="visible">True</property>
 280               <property name="can_focus">True</property>
 281               <property name="position">450</property>
 282
 283               <child>
 284                 <widget class="GtkScrolledWindow" id="ScrolledSequents">
 285                   <property name="visible">True</property>
 286                   <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 287                   <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 288                   <property name="shadow_type">GTK_SHADOW_NONE</property>
 289                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 290
 291                   <child>
 292                     <widget class="GtkViewport" id="viewport1">
 293                       <property name="visible">True</property>
 294                       <property name="shadow_type">GTK_SHADOW_IN</property>
 295
 296                       <child>
 297                         <widget class="GtkNotebook" id="SequentsNotebook">
 298                           <property name="visible">True</property>
 299                           <property name="can_focus">True</property>
 300                           <property name="show_tabs">True</property>
 301                           <property name="show_border">True</property>
 302                           <property name="tab_pos">GTK_POS_TOP</property>
 303                           <property name="scrollable">False</property>
 304                           <property name="enable_popup">False</property>
 305                         </widget>
 306                       </child>
 307                     </widget>
 308                   </child>
 309                 </widget>
 310                 <packing>
 311                   <property name="shrink">True</property>
 312                   <property name="resize">False</property>
 313                 </packing>
 314               </child>
 315
 316               <child>
 317                 <widget class="GtkEventBox" id="ConsoleEventBox">
 318                   <property name="visible">True</property>
 319                   <property name="visible_window">True</property>
 320                   <property name="above_child">False</property>
 321
 322                   <child>
 323                     <widget class="GtkScrolledWindow" id="ScrolledConsole">
 324                       <property name="visible">True</property>
 325                       <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 326                       <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 327                       <property name="shadow_type">GTK_SHADOW_IN</property>
 328                       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 329
 330                       <child>
 331                         <placeholder/>
 332                       </child>
 333                     </widget>
 334                   </child>
 335                 </widget>
 336                 <packing>
 337                   <property name="shrink">True</property>
 338                   <property name="resize">True</property>
 339                 </packing>
 340               </child>
 341             </widget>
 342             <packing>
 343               <property name="padding">0</property>
 344               <property name="expand">True</property>
 345               <property name="fill">True</property>
 346             </packing>
 347           </child>
 348
 349           <child>
 350             <widget class="GtkStatusbar" id="MainStatusBar">
 351               <property name="visible">True</property>
 352               <property name="has_resize_grip">True</property>
 353             </widget>
 354             <packing>
 355               <property name="padding">0</property>
 356               <property name="expand">False</property>
 357               <property name="fill">False</property>
 358             </packing>
 359           </child>
 360         </widget>
 361       </child>
 362     </widget>
 363   </child>
 364 </widget>
 365
 366 <widget class="GtkWindow" id="ProofWin">
 367   <property name="title" translatable="yes">Matita: current proof</property>
 368   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 369   <property name="window_position">GTK_WIN_POS_NONE</property>
 370   <property name="modal">False</property>
 371   <property name="default_width">700</property>
 372   <property name="default_height">525</property>
 373   <property name="resizable">True</property>
 374   <property name="destroy_with_parent">False</property>
 375   <property name="decorated">True</property>
 376   <property name="skip_taskbar_hint">False</property>
 377   <property name="skip_pager_hint">False</property>
 378   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 379   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 380
 381   <child>
 382     <widget class="GtkEventBox" id="ProofWinEventBox">
 383       <property name="visible">True</property>
 384       <property name="visible_window">True</property>
 385       <property name="above_child">False</property>
 386
 387       <child>
 388         <widget class="GtkScrolledWindow" id="ScrolledProof">
 389           <property name="visible">True</property>
 390           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 391           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 392           <property name="shadow_type">GTK_SHADOW_NONE</property>
 393           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 394
 395           <child>
 396             <placeholder/>
 397           </child>
 398         </widget>
 399       </child>
 400     </widget>
 401   </child>
 402 </widget>
 403
 404 <widget class="GtkFileSelection" id="FileSelectionWin">
 405   <property name="border_width">10</property>
 406   <property name="title" translatable="yes">Select File</property>
 407   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 408   <property name="window_position">GTK_WIN_POS_CENTER</property>
 409   <property name="modal">True</property>
 410   <property name="resizable">True</property>
 411   <property name="destroy_with_parent">False</property>
 412   <property name="decorated">True</property>
 413   <property name="skip_taskbar_hint">False</property>
 414   <property name="skip_pager_hint">False</property>
 415   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 416   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 417   <property name="show_fileops">True</property>
 418
 419   <child internal-child="cancel_button">
 420     <widget class="GtkButton" id="cancel_button1">
 421       <property name="visible">True</property>
 422       <property name="can_default">True</property>
 423       <property name="can_focus">True</property>
 424       <property name="relief">GTK_RELIEF_NORMAL</property>
 425       <property name="focus_on_click">True</property>
 426     </widget>
 427   </child>
 428
 429   <child internal-child="ok_button">
 430     <widget class="GtkButton" id="ok_button1">
 431       <property name="visible">True</property>
 432       <property name="can_default">True</property>
 433       <property name="can_focus">True</property>
 434       <property name="relief">GTK_RELIEF_NORMAL</property>
 435       <property name="focus_on_click">True</property>
 436     </widget>
 437   </child>
 438 </widget>
 439
 440 <widget class="GtkWindow" id="ToolBarWin">
 441   <property name="width_request">130</property>
 442   <property name="height_request">450</property>
 443   <property name="visible">True</property>
 444   <property name="title" translatable="yes">ToolBar</property>
 445   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 446   <property name="window_position">GTK_WIN_POS_NONE</property>
 447   <property name="modal">False</property>
 448   <property name="resizable">False</property>
 449   <property name="destroy_with_parent">False</property>
 450   <property name="decorated">True</property>
 451   <property name="skip_taskbar_hint">False</property>
 452   <property name="skip_pager_hint">False</property>
 453   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 454   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 455
 456   <child>
 457     <widget class="GtkEventBox" id="ToolBarEventBox">
 458       <property name="visible">True</property>
 459       <property name="visible_window">True</property>
 460       <property name="above_child">False</property>
 461
 462       <child>
 463         <widget class="GtkVBox" id="vbox1">
 464           <property name="visible">True</property>
 465           <property name="homogeneous">False</property>
 466           <property name="spacing">0</property>
 467
 468           <child>
 469             <widget class="GtkVButtonBox" id="vbuttonbox1">
 470               <property name="visible">True</property>
 471               <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
 472               <property name="spacing">0</property>
 473
 474               <child>
 475                 <widget class="GtkButton" id="button1">
 476                   <property name="width_request">120</property>
 477                   <property name="visible">True</property>
 478                   <property name="can_default">True</property>
 479                   <property name="can_focus">True</property>
 480                   <property name="label" translatable="yes">button1</property>
 481                   <property name="use_underline">True</property>
 482                   <property name="relief">GTK_RELIEF_NORMAL</property>
 483                   <property name="focus_on_click">True</property>
 484                 </widget>
 485               </child>
 486
 487               <child>
 488                 <widget class="GtkButton" id="button2">
 489                   <property name="visible">True</property>
 490                   <property name="can_default">True</property>
 491                   <property name="can_focus">True</property>
 492                   <property name="label" translatable="yes">button2</property>
 493                   <property name="use_underline">True</property>
 494                   <property name="relief">GTK_RELIEF_NORMAL</property>
 495                   <property name="focus_on_click">True</property>
 496                 </widget>
 497               </child>
 498
 499               <child>
 500                 <widget class="GtkButton" id="button3">
 501                   <property name="visible">True</property>
 502                   <property name="can_default">True</property>
 503                   <property name="can_focus">True</property>
 504                   <property name="label" translatable="yes">button3</property>
 505                   <property name="use_underline">True</property>
 506                   <property name="relief">GTK_RELIEF_NORMAL</property>
 507                   <property name="focus_on_click">True</property>
 508                 </widget>
 509               </child>
 510
 511               <child>
 512                 <widget class="GtkButton" id="button4">
 513                   <property name="visible">True</property>
 514                   <property name="can_default">True</property>
 515                   <property name="can_focus">True</property>
 516                   <property name="label" translatable="yes">button4</property>
 517                   <property name="use_underline">True</property>
 518                   <property name="relief">GTK_RELIEF_NORMAL</property>
 519                   <property name="focus_on_click">True</property>
 520                 </widget>
 521               </child>
 522             </widget>
 523             <packing>
 524               <property name="padding">0</property>
 525               <property name="expand">False</property>
 526               <property name="fill">True</property>
 527             </packing>
 528           </child>
 529
 530           <child>
 531             <widget class="GtkHSeparator" id="hseparator1">
 532               <property name="visible">True</property>
 533             </widget>
 534             <packing>
 535               <property name="padding">5</property>
 536               <property name="expand">False</property>
 537               <property name="fill">True</property>
 538             </packing>
 539           </child>
 540
 541           <child>
 542             <placeholder/>
 543           </child>
 544         </widget>
 545       </child>
 546     </widget>
 547   </child>
 548 </widget>
 549
 550 <widget class="GtkDialog" id="ConfirmationDialog">
 551   <property name="title" translatable="yes">DUMMY</property>
 552   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 553   <property name="window_position">GTK_WIN_POS_CENTER</property>
 554   <property name="modal">True</property>
 555   <property name="resizable">False</property>
 556   <property name="destroy_with_parent">False</property>
 557   <property name="decorated">True</property>
 558   <property name="skip_taskbar_hint">False</property>
 559   <property name="skip_pager_hint">False</property>
 560   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 561   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 562   <property name="has_separator">True</property>
 563
 564   <child internal-child="vbox">
 565     <widget class="GtkVBox" id="dialog-vbox1">
 566       <property name="visible">True</property>
 567       <property name="homogeneous">False</property>
 568       <property name="spacing">0</property>
 569
 570       <child internal-child="action_area">
 571         <widget class="GtkHButtonBox" id="dialog-action_area1">
 572           <property name="visible">True</property>
 573           <property name="layout_style">GTK_BUTTONBOX_END</property>
 574
 575           <child>
 576             <widget class="GtkButton" id="ConfirmationDialogCancelButton">
 577               <property name="visible">True</property>
 578               <property name="can_default">True</property>
 579               <property name="can_focus">True</property>
 580               <property name="label">gtk-cancel</property>
 581               <property name="use_stock">True</property>
 582               <property name="relief">GTK_RELIEF_NORMAL</property>
 583               <property name="focus_on_click">True</property>
 584               <property name="response_id">-6</property>
 585             </widget>
 586           </child>
 587
 588           <child>
 589             <widget class="GtkButton" id="ConfirmationDialogOkButton">
 590               <property name="visible">True</property>
 591               <property name="can_default">True</property>
 592               <property name="can_focus">True</property>
 593               <property name="label">gtk-ok</property>
 594               <property name="use_stock">True</property>
 595               <property name="relief">GTK_RELIEF_NORMAL</property>
 596               <property name="focus_on_click">True</property>
 597               <property name="response_id">-5</property>
 598             </widget>
 599           </child>
 600         </widget>
 601         <packing>
 602           <property name="padding">0</property>
 603           <property name="expand">False</property>
 604           <property name="fill">True</property>
 605           <property name="pack_type">GTK_PACK_END</property>
 606         </packing>
 607       </child>
 608
 609       <child>
 610         <widget class="GtkLabel" id="ConfirmationDialogLabel">
 611           <property name="visible">True</property>
 612           <property name="label" translatable="yes">DUMMY</property>
 613           <property name="use_underline">False</property>
 614           <property name="use_markup">False</property>
 615           <property name="justify">GTK_JUSTIFY_CENTER</property>
 616           <property name="wrap">False</property>
 617           <property name="selectable">False</property>
 618           <property name="xalign">0.5</property>
 619           <property name="yalign">0.5</property>
 620           <property name="xpad">0</property>
 621           <property name="ypad">0</property>
 622         </widget>
 623         <packing>
 624           <property name="padding">0</property>
 625           <property name="expand">False</property>
 626           <property name="fill">False</property>
 627         </packing>
 628       </child>
 629     </widget>
 630   </child>
 631 </widget>
 632
 633 <widget class="GtkDialog" id="AboutWin">
 634   <property name="title" translatable="yes">Matita: about</property>
 635   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 636   <property name="window_position">GTK_WIN_POS_CENTER</property>
 637   <property name="modal">True</property>
 638   <property name="resizable">False</property>
 639   <property name="destroy_with_parent">False</property>
 640   <property name="decorated">True</property>
 641   <property name="skip_taskbar_hint">False</property>
 642   <property name="skip_pager_hint">False</property>
 643   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 644   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 645   <property name="has_separator">True</property>
 646
 647   <child internal-child="vbox">
 648     <widget class="GtkVBox" id="dialog-vbox2">
 649       <property name="visible">True</property>
 650       <property name="homogeneous">False</property>
 651       <property name="spacing">0</property>
 652
 653       <child internal-child="action_area">
 654         <widget class="GtkHButtonBox" id="dialog-action_area2">
 655           <property name="visible">True</property>
 656           <property name="layout_style">GTK_BUTTONBOX_END</property>
 657
 658           <child>
 659             <widget class="GtkButton" id="AboutDismissButton">
 660               <property name="visible">True</property>
 661               <property name="can_default">True</property>
 662               <property name="can_focus">True</property>
 663               <property name="label">gtk-ok</property>
 664               <property name="use_stock">True</property>
 665               <property name="relief">GTK_RELIEF_NORMAL</property>
 666               <property name="focus_on_click">True</property>
 667               <property name="response_id">-5</property>
 668             </widget>
 669           </child>
 670         </widget>
 671         <packing>
 672           <property name="padding">0</property>
 673           <property name="expand">False</property>
 674           <property name="fill">True</property>
 675           <property name="pack_type">GTK_PACK_END</property>
 676         </packing>
 677       </child>
 678
 679       <child>
 680         <widget class="GtkLabel" id="AboutLabel">
 681           <property name="visible">True</property>
 682           <property name="label" translatable="yes">&lt;b&gt;Matita @VERSION@&lt;/b&gt;
 683
 684 &lt;tt&gt;http://helm.cs.unibo.it&lt;/tt&gt;
 685
 686 Copyright (C) 2004,
 687 &lt;i&gt;the HELM team&lt;/i&gt;</property>
 688           <property name="use_underline">False</property>
 689           <property name="use_markup">True</property>
 690           <property name="justify">GTK_JUSTIFY_CENTER</property>
 691           <property name="wrap">False</property>
 692           <property name="selectable">False</property>
 693           <property name="xalign">0.5</property>
 694           <property name="yalign">0.5</property>
 695           <property name="xpad">5</property>
 696           <property name="ypad">5</property>
 697         </widget>
 698         <packing>
 699           <property name="padding">0</property>
 700           <property name="expand">False</property>
 701           <property name="fill">False</property>
 702         </packing>
 703       </child>
 704     </widget>
 705   </child>
 706 </widget>
 707
 708 <widget class="GtkDialog" id="UriChoiceDialog">
 709   <property name="height_request">280</property>
 710   <property name="title" translatable="yes">Uri choice</property>
 711   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 712   <property name="window_position">GTK_WIN_POS_CENTER</property>
 713   <property name="modal">True</property>
 714   <property name="resizable">True</property>
 715   <property name="destroy_with_parent">False</property>
 716   <property name="decorated">True</property>
 717   <property name="skip_taskbar_hint">False</property>
 718   <property name="skip_pager_hint">False</property>
 719   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 720   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 721   <property name="has_separator">True</property>
 722
 723   <child internal-child="vbox">
 724     <widget class="GtkVBox" id="dialog-vbox3">
 725       <property name="visible">True</property>
 726       <property name="homogeneous">False</property>
 727       <property name="spacing">0</property>
 728
 729       <child internal-child="action_area">
 730         <widget class="GtkHButtonBox" id="dialog-action_area3">
 731           <property name="visible">True</property>
 732           <property name="layout_style">GTK_BUTTONBOX_END</property>
 733
 734           <child>
 735             <widget class="GtkButton" id="UriChoiceAbortButton">
 736               <property name="visible">True</property>
 737               <property name="can_default">True</property>
 738               <property name="can_focus">True</property>
 739               <property name="label">gtk-cancel</property>
 740               <property name="use_stock">True</property>
 741               <property name="relief">GTK_RELIEF_NORMAL</property>
 742               <property name="focus_on_click">True</property>
 743               <property name="response_id">-6</property>
 744             </widget>
 745           </child>
 746
 747           <child>
 748             <widget class="GtkButton" id="UriChoiceSelectedButton">
 749               <property name="visible">True</property>
 750               <property name="can_default">True</property>
 751               <property name="can_focus">True</property>
 752               <property name="relief">GTK_RELIEF_NORMAL</property>
 753               <property name="focus_on_click">True</property>
 754               <property name="response_id">0</property>
 755
 756               <child>
 757                 <widget class="GtkAlignment" id="alignment2">
 758                   <property name="visible">True</property>
 759                   <property name="xalign">0.5</property>
 760                   <property name="yalign">0.5</property>
 761                   <property name="xscale">0</property>
 762                   <property name="yscale">0</property>
 763                   <property name="top_padding">0</property>
 764                   <property name="bottom_padding">0</property>
 765                   <property name="left_padding">0</property>
 766                   <property name="right_padding">0</property>
 767
 768                   <child>
 769                     <widget class="GtkHBox" id="hbox3">
 770                       <property name="visible">True</property>
 771                       <property name="homogeneous">False</property>
 772                       <property name="spacing">2</property>
 773
 774                       <child>
 775                         <widget class="GtkImage" id="image19">
 776                           <property name="visible">True</property>
 777                           <property name="stock">gtk-index</property>
 778                           <property name="icon_size">4</property>
 779                           <property name="xalign">0.5</property>
 780                           <property name="yalign">0.5</property>
 781                           <property name="xpad">0</property>
 782                           <property name="ypad">0</property>
 783                         </widget>
 784                         <packing>
 785                           <property name="padding">0</property>
 786                           <property name="expand">False</property>
 787                           <property name="fill">False</property>
 788                         </packing>
 789                       </child>
 790
 791                       <child>
 792                         <widget class="GtkLabel" id="label3">
 793                           <property name="visible">True</property>
 794                           <property name="label" translatable="yes">Try _Selected</property>
 795                           <property name="use_underline">True</property>
 796                           <property name="use_markup">False</property>
 797                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 798                           <property name="wrap">False</property>
 799                           <property name="selectable">False</property>
 800                           <property name="xalign">0.5</property>
 801                           <property name="yalign">0.5</property>
 802                           <property name="xpad">0</property>
 803                           <property name="ypad">0</property>
 804                         </widget>
 805                         <packing>
 806                           <property name="padding">0</property>
 807                           <property name="expand">False</property>
 808                           <property name="fill">False</property>
 809                         </packing>
 810                       </child>
 811                     </widget>
 812                   </child>
 813                 </widget>
 814               </child>
 815             </widget>
 816           </child>
 817
 818           <child>
 819             <widget class="GtkButton" id="UriChoiceConstantsButton">
 820               <property name="visible">True</property>
 821               <property name="sensitive">False</property>
 822               <property name="can_default">True</property>
 823               <property name="can_focus">True</property>
 824               <property name="label" translatable="yes">Try Constants</property>
 825               <property name="use_underline">True</property>
 826               <property name="relief">GTK_RELIEF_NORMAL</property>
 827               <property name="focus_on_click">True</property>
 828               <property name="response_id">0</property>
 829             </widget>
 830           </child>
 831
 832           <child>
 833             <widget class="GtkButton" id="UriChoiceAutoButton">
 834               <property name="visible">True</property>
 835               <property name="can_default">True</property>
 836               <property name="can_focus">True</property>
 837               <property name="relief">GTK_RELIEF_NORMAL</property>
 838               <property name="focus_on_click">True</property>
 839               <property name="response_id">0</property>
 840
 841               <child>
 842                 <widget class="GtkAlignment" id="alignment1">
 843                   <property name="visible">True</property>
 844                   <property name="xalign">0.5</property>
 845                   <property name="yalign">0.5</property>
 846                   <property name="xscale">0</property>
 847                   <property name="yscale">0</property>
 848                   <property name="top_padding">0</property>
 849                   <property name="bottom_padding">0</property>
 850                   <property name="left_padding">0</property>
 851                   <property name="right_padding">0</property>
 852
 853                   <child>
 854                     <widget class="GtkHBox" id="hbox1">
 855                       <property name="visible">True</property>
 856                       <property name="homogeneous">False</property>
 857                       <property name="spacing">2</property>
 858
 859                       <child>
 860                         <widget class="GtkImage" id="image18">
 861                           <property name="visible">True</property>
 862                           <property name="stock">gtk-ok</property>
 863                           <property name="icon_size">4</property>
 864                           <property name="xalign">0.5</property>
 865                           <property name="yalign">0.5</property>
 866                           <property name="xpad">0</property>
 867                           <property name="ypad">0</property>
 868                         </widget>
 869                         <packing>
 870                           <property name="padding">0</property>
 871                           <property name="expand">False</property>
 872                           <property name="fill">False</property>
 873                         </packing>
 874                       </child>
 875
 876                       <child>
 877                         <widget class="GtkLabel" id="label1">
 878                           <property name="visible">True</property>
 879                           <property name="label" translatable="yes">_Auto</property>
 880                           <property name="use_underline">True</property>
 881                           <property name="use_markup">False</property>
 882                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 883                           <property name="wrap">False</property>
 884                           <property name="selectable">False</property>
 885                           <property name="xalign">0.5</property>
 886                           <property name="yalign">0.5</property>
 887                           <property name="xpad">0</property>
 888                           <property name="ypad">0</property>
 889                         </widget>
 890                         <packing>
 891                           <property name="padding">0</property>
 892                           <property name="expand">False</property>
 893                           <property name="fill">False</property>
 894                         </packing>
 895                       </child>
 896                     </widget>
 897                   </child>
 898                 </widget>
 899               </child>
 900             </widget>
 901           </child>
 902         </widget>
 903         <packing>
 904           <property name="padding">0</property>
 905           <property name="expand">False</property>
 906           <property name="fill">True</property>
 907           <property name="pack_type">GTK_PACK_END</property>
 908         </packing>
 909       </child>
 910
 911       <child>
 912         <widget class="GtkVBox" id="vbox2">
 913           <property name="visible">True</property>
 914           <property name="homogeneous">False</property>
 915           <property name="spacing">0</property>
 916
 917           <child>
 918             <widget class="GtkLabel" id="UriChoiceLabel">
 919               <property name="visible">True</property>
 920               <property name="label" translatable="yes">some informative message here ...</property>
 921               <property name="use_underline">False</property>
 922               <property name="use_markup">False</property>
 923               <property name="justify">GTK_JUSTIFY_LEFT</property>
 924               <property name="wrap">False</property>
 925               <property name="selectable">False</property>
 926               <property name="xalign">0.5</property>
 927               <property name="yalign">0.5</property>
 928               <property name="xpad">0</property>
 929               <property name="ypad">0</property>
 930             </widget>
 931             <packing>
 932               <property name="padding">0</property>
 933               <property name="expand">False</property>
 934               <property name="fill">False</property>
 935             </packing>
 936           </child>
 937
 938           <child>
 939             <widget class="GtkScrolledWindow" id="scrolledwindow1">
 940               <property name="visible">True</property>
 941               <property name="can_focus">True</property>
 942               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 943               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 944               <property name="shadow_type">GTK_SHADOW_NONE</property>
 945               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 946
 947               <child>
 948                 <widget class="GtkTreeView" id="UriChoiceTreeView">
 949                   <property name="visible">True</property>
 950                   <property name="can_focus">True</property>
 951                   <property name="headers_visible">False</property>
 952                   <property name="rules_hint">False</property>
 953                   <property name="reorderable">False</property>
 954                   <property name="enable_search">True</property>
 955                 </widget>
 956               </child>
 957             </widget>
 958             <packing>
 959               <property name="padding">0</property>
 960               <property name="expand">True</property>
 961               <property name="fill">True</property>
 962             </packing>
 963           </child>
 964
 965           <child>
 966             <widget class="GtkHBox" id="hbox2">
 967               <property name="visible">True</property>
 968               <property name="homogeneous">False</property>
 969               <property name="spacing">0</property>
 970
 971               <child>
 972                 <widget class="GtkLabel" id="label2">
 973                   <property name="visible">True</property>
 974                   <property name="label" translatable="yes">URI: </property>
 975                   <property name="use_underline">False</property>
 976                   <property name="use_markup">False</property>
 977                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 978                   <property name="wrap">False</property>
 979                   <property name="selectable">False</property>
 980                   <property name="xalign">0.5</property>
 981                   <property name="yalign">0.5</property>
 982                   <property name="xpad">0</property>
 983                   <property name="ypad">0</property>
 984                 </widget>
 985                 <packing>
 986                   <property name="padding">0</property>
 987                   <property name="expand">False</property>
 988                   <property name="fill">False</property>
 989                 </packing>
 990               </child>
 991
 992               <child>
 993                 <widget class="GtkEntry" id="entry1">
 994                   <property name="visible">True</property>
 995                   <property name="can_focus">True</property>
 996                   <property name="editable">True</property>
 997                   <property name="visibility">True</property>
 998                   <property name="max_length">0</property>
 999                   <property name="text" translatable="yes"></property>
1000                   <property name="has_frame">True</property>
1001                   <property name="invisible_char" translatable="yes">*</property>
1002                   <property name="activates_default">False</property>
1003                 </widget>
1004                 <packing>
1005                   <property name="padding">0</property>
1006                   <property name="expand">True</property>
1007                   <property name="fill">True</property>
1008                 </packing>
1009               </child>
1010             </widget>
1011             <packing>
1012               <property name="padding">0</property>
1013               <property name="expand">False</property>
1014               <property name="fill">True</property>
1015             </packing>
1016           </child>
1017         </widget>
1018         <packing>
1019           <property name="padding">0</property>
1020           <property name="expand">True</property>
1021           <property name="fill">True</property>
1022         </packing>
1023       </child>
1024     </widget>
1025   </child>
1026 </widget>
1027
1028 <widget class="GtkDialog" id="InterpChoiceDialog">
1029   <property name="title" translatable="yes">Interpretation choice</property>
1030   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1031   <property name="window_position">GTK_WIN_POS_NONE</property>
1032   <property name="modal">True</property>
1033   <property name="resizable">True</property>
1034   <property name="destroy_with_parent">False</property>
1035   <property name="decorated">True</property>
1036   <property name="skip_taskbar_hint">False</property>
1037   <property name="skip_pager_hint">False</property>
1038   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1039   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1040   <property name="has_separator">True</property>
1041
1042   <child internal-child="vbox">
1043     <widget class="GtkVBox" id="dialog-vbox4">
1044       <property name="visible">True</property>
1045       <property name="homogeneous">False</property>
1046       <property name="spacing">0</property>
1047
1048       <child internal-child="action_area">
1049         <widget class="GtkHButtonBox" id="dialog-action_area4">
1050           <property name="visible">True</property>
1051           <property name="layout_style">GTK_BUTTONBOX_END</property>
1052
1053           <child>
1054             <widget class="GtkButton" id="InterpChoiceHelpButton">
1055               <property name="visible">True</property>
1056               <property name="can_default">True</property>
1057               <property name="can_focus">True</property>
1058               <property name="label">gtk-help</property>
1059               <property name="use_stock">True</property>
1060               <property name="relief">GTK_RELIEF_NORMAL</property>
1061               <property name="focus_on_click">True</property>
1062               <property name="response_id">-11</property>
1063             </widget>
1064           </child>
1065
1066           <child>
1067             <widget class="GtkButton" id="InterpChoiceCancelButton">
1068               <property name="visible">True</property>
1069               <property name="can_default">True</property>
1070               <property name="can_focus">True</property>
1071               <property name="label">gtk-cancel</property>
1072               <property name="use_stock">True</property>
1073               <property name="relief">GTK_RELIEF_NORMAL</property>
1074               <property name="focus_on_click">True</property>
1075               <property name="response_id">-6</property>
1076             </widget>
1077           </child>
1078
1079           <child>
1080             <widget class="GtkButton" id="InterpChoiceOkButton">
1081               <property name="visible">True</property>
1082               <property name="can_default">True</property>
1083               <property name="can_focus">True</property>
1084               <property name="label">gtk-ok</property>
1085               <property name="use_stock">True</property>
1086               <property name="relief">GTK_RELIEF_NORMAL</property>
1087               <property name="focus_on_click">True</property>
1088               <property name="response_id">-5</property>
1089             </widget>
1090           </child>
1091         </widget>
1092         <packing>
1093           <property name="padding">0</property>
1094           <property name="expand">False</property>
1095           <property name="fill">True</property>
1096           <property name="pack_type">GTK_PACK_END</property>
1097         </packing>
1098       </child>
1099
1100       <child>
1101         <widget class="GtkVBox" id="vbox3">
1102           <property name="visible">True</property>
1103           <property name="homogeneous">False</property>
1104           <property name="spacing">0</property>
1105
1106           <child>
1107             <widget class="GtkLabel" id="label6">
1108               <property name="visible">True</property>
1109               <property name="label" translatable="yes">some informative message here ...</property>
1110               <property name="use_underline">False</property>
1111               <property name="use_markup">False</property>
1112               <property name="justify">GTK_JUSTIFY_LEFT</property>
1113               <property name="wrap">False</property>
1114               <property name="selectable">False</property>
1115               <property name="xalign">0.5</property>
1116               <property name="yalign">0.5</property>
1117               <property name="xpad">0</property>
1118               <property name="ypad">0</property>
1119             </widget>
1120             <packing>
1121               <property name="padding">0</property>
1122               <property name="expand">False</property>
1123               <property name="fill">False</property>
1124             </packing>
1125           </child>
1126
1127           <child>
1128             <placeholder/>
1129           </child>
1130         </widget>
1131         <packing>
1132           <property name="padding">0</property>
1133           <property name="expand">True</property>
1134           <property name="fill">True</property>
1135         </packing>
1136       </child>
1137     </widget>
1138   </child>
1139 </widget>
1140
1141 <widget class="GtkDialog" id="EmptyDialog">
1142   <property name="visible">True</property>
1143   <property name="title" translatable="yes">DUMMY</property>
1144   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1145   <property name="window_position">GTK_WIN_POS_NONE</property>
1146   <property name="modal">False</property>
1147   <property name="resizable">True</property>
1148   <property name="destroy_with_parent">False</property>
1149   <property name="decorated">True</property>
1150   <property name="skip_taskbar_hint">False</property>
1151   <property name="skip_pager_hint">False</property>
1152   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1153   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1154   <property name="has_separator">True</property>
1155
1156   <child internal-child="vbox">
1157     <widget class="GtkVBox" id="EmptyDialogVBox">
1158       <property name="visible">True</property>
1159       <property name="homogeneous">False</property>
1160       <property name="spacing">0</property>
1161
1162       <child internal-child="action_area">
1163         <widget class="GtkHButtonBox" id="dialog-action_area5">
1164           <property name="visible">True</property>
1165           <property name="layout_style">GTK_BUTTONBOX_END</property>
1166
1167           <child>
1168             <widget class="GtkButton" id="EmptyDialogCancelButton">
1169               <property name="visible">True</property>
1170               <property name="can_default">True</property>
1171               <property name="can_focus">True</property>
1172               <property name="label">gtk-cancel</property>
1173               <property name="use_stock">True</property>
1174               <property name="relief">GTK_RELIEF_NORMAL</property>
1175               <property name="focus_on_click">True</property>
1176               <property name="response_id">-6</property>
1177             </widget>
1178           </child>
1179
1180           <child>
1181             <widget class="GtkButton" id="EmptyDialogOkButton">
1182               <property name="visible">True</property>
1183               <property name="can_default">True</property>
1184               <property name="can_focus">True</property>
1185               <property name="label">gtk-ok</property>
1186               <property name="use_stock">True</property>
1187               <property name="relief">GTK_RELIEF_NORMAL</property>
1188               <property name="focus_on_click">True</property>
1189               <property name="response_id">-5</property>
1190             </widget>
1191           </child>
1192         </widget>
1193         <packing>
1194           <property name="padding">0</property>
1195           <property name="expand">False</property>
1196           <property name="fill">True</property>
1197           <property name="pack_type">GTK_PACK_END</property>
1198         </packing>
1199       </child>
1200
1201       <child>
1202         <widget class="GtkLabel" id="EmptyDialogLabel">
1203           <property name="visible">True</property>
1204           <property name="label" translatable="yes">DUMMY</property>
1205           <property name="use_underline">False</property>
1206           <property name="use_markup">False</property>
1207           <property name="justify">GTK_JUSTIFY_LEFT</property>
1208           <property name="wrap">False</property>
1209           <property name="selectable">False</property>
1210           <property name="xalign">0.5</property>
1211           <property name="yalign">0.5</property>
1212           <property name="xpad">0</property>
1213           <property name="ypad">0</property>
1214         </widget>
1215         <packing>
1216           <property name="padding">0</property>
1217           <property name="expand">False</property>
1218           <property name="fill">False</property>
1219         </packing>
1220       </child>
1221
1222       <child>
1223         <placeholder/>
1224       </child>
1225     </widget>
1226   </child>
1227 </widget>
1228
1229 <widget class="GtkWindow" id="CheckWin">
1230   <property name="title" translatable="yes">Check</property>
1231   <property name="type">GTK_WINDOW_TOPLEVEL</property>
1232   <property name="window_position">GTK_WIN_POS_NONE</property>
1233   <property name="modal">False</property>
1234   <property name="resizable">True</property>
1235   <property name="destroy_with_parent">False</property>
1236   <property name="decorated">True</property>
1237   <property name="skip_taskbar_hint">False</property>
1238   <property name="skip_pager_hint">False</property>
1239   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
1240   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1241
1242   <child>
1243     <placeholder/>
1244   </child>
1245 </widget>
1246
1247 </glade-interface>