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