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
  17   <child>
  18     <widget class="GtkVBox" id="MainWinShape">
  19       <property name="visible">True</property>
  20       <property name="homogeneous">False</property>
  21       <property name="spacing">0</property>
  22
  23       <child>
  24         <widget class="GtkMenuBar" id="MainMenuBar">
  25           <property name="visible">True</property>
  26
  27           <child>
  28             <widget class="GtkMenuItem" id="FileMenu">
  29               <property name="visible">True</property>
  30               <property name="label" translatable="yes">_File</property>
  31               <property name="use_underline">True</property>
  32
  33               <child>
  34                 <widget class="GtkMenu" id="FileMenu_menu">
  35
  36                   <child>
  37                     <widget class="GtkImageMenuItem" id="NewMenu">
  38                       <property name="visible">True</property>
  39                       <property name="label" translatable="yes">_New</property>
  40                       <property name="use_underline">True</property>
  41
  42                       <child internal-child="image">
  43                         <widget class="GtkImage" id="image76">
  44                           <property name="visible">True</property>
  45                           <property name="stock">gtk-new</property>
  46                           <property name="icon_size">1</property>
  47                           <property name="xalign">0.5</property>
  48                           <property name="yalign">0.5</property>
  49                           <property name="xpad">0</property>
  50                           <property name="ypad">0</property>
  51                         </widget>
  52                       </child>
  53
  54                       <child>
  55                         <widget class="GtkMenu" id="NewMenu_menu">
  56
  57                           <child>
  58                             <widget class="GtkMenuItem" id="NewProofMenuItem">
  59                               <property name="visible">True</property>
  60                               <property name="label" translatable="yes">_Proof or definition ...</property>
  61                               <property name="use_underline">True</property>
  62                               <accelerator key="n" modifiers="GDK_CONTROL_MASK" signal="activate"/>
  63                             </widget>
  64                           </child>
  65
  66                           <child>
  67                             <widget class="GtkMenuItem" id="NewDefsMenuItem">
  68                               <property name="visible">True</property>
  69                               <property name="label" translatable="yes">(Co)Inductive _definitions ...</property>
  70                               <property name="use_underline">True</property>
  71                             </widget>
  72                           </child>
  73                         </widget>
  74                       </child>
  75                     </widget>
  76                   </child>
  77
  78                   <child>
  79                     <widget class="GtkImageMenuItem" id="OpenMenuItem">
  80                       <property name="visible">True</property>
  81                       <property name="label" translatable="yes">_Open...</property>
  82                       <property name="use_underline">True</property>
  83                       <accelerator key="o" modifiers="GDK_CONTROL_MASK" signal="activate"/>
  84
  85                       <child internal-child="image">
  86                         <widget class="GtkImage" id="image77">
  87                           <property name="visible">True</property>
  88                           <property name="stock">gtk-open</property>
  89                           <property name="icon_size">1</property>
  90                           <property name="xalign">0.5</property>
  91                           <property name="yalign">0.5</property>
  92                           <property name="xpad">0</property>
  93                           <property name="ypad">0</property>
  94                         </widget>
  95                       </child>
  96                     </widget>
  97                   </child>
  98
  99                   <child>
 100                     <widget class="GtkImageMenuItem" id="SaveMenuItem">
 101                       <property name="visible">True</property>
 102                       <property name="label" translatable="yes">_Save</property>
 103                       <property name="use_underline">True</property>
 104                       <accelerator key="s" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 105
 106                       <child internal-child="image">
 107                         <widget class="GtkImage" id="image78">
 108                           <property name="visible">True</property>
 109                           <property name="stock">gtk-save</property>
 110                           <property name="icon_size">1</property>
 111                           <property name="xalign">0.5</property>
 112                           <property name="yalign">0.5</property>
 113                           <property name="xpad">0</property>
 114                           <property name="ypad">0</property>
 115                         </widget>
 116                       </child>
 117                     </widget>
 118                   </child>
 119
 120                   <child>
 121                     <widget class="GtkImageMenuItem" id="SaveAsMenuItem">
 122                       <property name="visible">True</property>
 123                       <property name="label" translatable="yes">Save _As ...</property>
 124                       <property name="use_underline">True</property>
 125
 126                       <child internal-child="image">
 127                         <widget class="GtkImage" id="image79">
 128                           <property name="visible">True</property>
 129                           <property name="stock">gtk-save-as</property>
 130                           <property name="icon_size">1</property>
 131                           <property name="xalign">0.5</property>
 132                           <property name="yalign">0.5</property>
 133                           <property name="xpad">0</property>
 134                           <property name="ypad">0</property>
 135                         </widget>
 136                       </child>
 137                     </widget>
 138                   </child>
 139
 140                   <child>
 141                     <widget class="GtkMenuItem" id="separator1">
 142                       <property name="visible">True</property>
 143                     </widget>
 144                   </child>
 145
 146                   <child>
 147                     <widget class="GtkImageMenuItem" id="QuitMenuItem">
 148                       <property name="visible">True</property>
 149                       <property name="label" translatable="yes">_Quit</property>
 150                       <property name="use_underline">True</property>
 151                       <accelerator key="q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 152
 153                       <child internal-child="image">
 154                         <widget class="GtkImage" id="image80">
 155                           <property name="visible">True</property>
 156                           <property name="stock">gtk-quit</property>
 157                           <property name="icon_size">1</property>
 158                           <property name="xalign">0.5</property>
 159                           <property name="yalign">0.5</property>
 160                           <property name="xpad">0</property>
 161                           <property name="ypad">0</property>
 162                         </widget>
 163                       </child>
 164                     </widget>
 165                   </child>
 166                 </widget>
 167               </child>
 168             </widget>
 169           </child>
 170
 171           <child>
 172             <widget class="GtkMenuItem" id="EditMenu">
 173               <property name="visible">True</property>
 174               <property name="label" translatable="yes">_Edit</property>
 175               <property name="use_underline">True</property>
 176             </widget>
 177           </child>
 178
 179           <child>
 180             <widget class="GtkMenuItem" id="ViewMenu">
 181               <property name="visible">True</property>
 182               <property name="label" translatable="yes">_View</property>
 183               <property name="use_underline">True</property>
 184
 185               <child>
 186                 <widget class="GtkMenu" id="ViewMenu_menu">
 187
 188                   <child>
 189                     <widget class="GtkCheckMenuItem" id="ShowToolBarMenuItem">
 190                       <property name="visible">True</property>
 191                       <property name="label" translatable="yes">Show Button Bar</property>
 192                       <property name="use_underline">True</property>
 193                       <property name="active">True</property>
 194                     </widget>
 195                   </child>
 196
 197                   <child>
 198                     <widget class="GtkCheckMenuItem" id="ShowProofMenuItem">
 199                       <property name="visible">True</property>
 200                       <property name="label" translatable="yes">Show Proof Window</property>
 201                       <property name="use_underline">True</property>
 202                       <property name="active">False</property>
 203                       <accelerator key="F3" modifiers="0" signal="activate"/>
 204                     </widget>
 205                   </child>
 206                 </widget>
 207               </child>
 208             </widget>
 209           </child>
 210
 211           <child>
 212             <widget class="GtkMenuItem" id="DebugMenu">
 213               <property name="visible">True</property>
 214               <property name="label" translatable="yes">Debug</property>
 215               <property name="use_underline">True</property>
 216
 217               <child>
 218                 <widget class="GtkMenu" id="DebugMenu_menu">
 219
 220                   <child>
 221                     <widget class="GtkMenuItem" id="separator2">
 222                       <property name="visible">True</property>
 223                     </widget>
 224                   </child>
 225                 </widget>
 226               </child>
 227             </widget>
 228           </child>
 229
 230           <child>
 231             <widget class="GtkMenuItem" id="HelpMenu">
 232               <property name="visible">True</property>
 233               <property name="label" translatable="yes">_Help</property>
 234               <property name="use_underline">True</property>
 235
 236               <child>
 237                 <widget class="GtkMenu" id="HelpMenu_menu">
 238
 239                   <child>
 240                     <widget class="GtkMenuItem" id="AboutMenuItem">
 241                       <property name="visible">True</property>
 242                       <property name="label" translatable="yes">About...</property>
 243                       <property name="use_underline">True</property>
 244                     </widget>
 245                   </child>
 246                 </widget>
 247               </child>
 248             </widget>
 249           </child>
 250         </widget>
 251         <packing>
 252           <property name="padding">0</property>
 253           <property name="expand">False</property>
 254           <property name="fill">False</property>
 255         </packing>
 256       </child>
 257
 258       <child>
 259         <widget class="GtkVPaned" id="MainVPanes">
 260           <property name="visible">True</property>
 261           <property name="can_focus">True</property>
 262           <property name="position">450</property>
 263
 264           <child>
 265             <widget class="GtkScrolledWindow" id="ProofStatus">
 266               <property name="visible">True</property>
 267               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 268               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 269               <property name="shadow_type">GTK_SHADOW_NONE</property>
 270               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 271
 272               <child>
 273                 <placeholder/>
 274               </child>
 275             </widget>
 276             <packing>
 277               <property name="shrink">True</property>
 278               <property name="resize">False</property>
 279             </packing>
 280           </child>
 281
 282           <child>
 283             <widget class="GtkScrolledWindow" id="ScrolledUserInput">
 284               <property name="visible">True</property>
 285               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 286               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 287               <property name="shadow_type">GTK_SHADOW_IN</property>
 288               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 289
 290               <child>
 291                 <placeholder/>
 292               </child>
 293             </widget>
 294             <packing>
 295               <property name="shrink">True</property>
 296               <property name="resize">True</property>
 297             </packing>
 298           </child>
 299         </widget>
 300         <packing>
 301           <property name="padding">0</property>
 302           <property name="expand">True</property>
 303           <property name="fill">True</property>
 304         </packing>
 305       </child>
 306
 307       <child>
 308         <widget class="GtkStatusbar" id="MainStatusBar">
 309           <property name="visible">True</property>
 310           <property name="has_resize_grip">True</property>
 311         </widget>
 312         <packing>
 313           <property name="padding">0</property>
 314           <property name="expand">False</property>
 315           <property name="fill">False</property>
 316         </packing>
 317       </child>
 318     </widget>
 319   </child>
 320 </widget>
 321
 322 <widget class="GtkWindow" id="ProofWin">
 323   <property name="title" translatable="yes">Matita: current proof</property>
 324   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 325   <property name="window_position">GTK_WIN_POS_NONE</property>
 326   <property name="modal">False</property>
 327   <property name="default_width">700</property>
 328   <property name="default_height">525</property>
 329   <property name="resizable">True</property>
 330   <property name="destroy_with_parent">False</property>
 331
 332   <child>
 333     <widget class="GtkEventBox" id="ProofWinEventBox">
 334       <property name="visible">True</property>
 335
 336       <child>
 337         <widget class="GtkScrolledWindow" id="ScrolledProof">
 338           <property name="visible">True</property>
 339           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 340           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 341           <property name="shadow_type">GTK_SHADOW_NONE</property>
 342           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 343
 344           <child>
 345             <widget class="GtkViewport" id="viewport1">
 346               <property name="visible">True</property>
 347               <property name="shadow_type">GTK_SHADOW_IN</property>
 348
 349               <child>
 350                 <placeholder/>
 351               </child>
 352             </widget>
 353           </child>
 354         </widget>
 355       </child>
 356     </widget>
 357   </child>
 358 </widget>
 359
 360 <widget class="GtkFileSelection" id="FileSelectionWin">
 361   <property name="border_width">10</property>
 362   <property name="title" translatable="yes">Select File</property>
 363   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 364   <property name="window_position">GTK_WIN_POS_CENTER</property>
 365   <property name="modal">True</property>
 366   <property name="resizable">True</property>
 367   <property name="destroy_with_parent">False</property>
 368   <property name="show_fileops">True</property>
 369
 370   <child internal-child="cancel_button">
 371     <widget class="GtkButton" id="cancel_button1">
 372       <property name="visible">True</property>
 373       <property name="can_default">True</property>
 374       <property name="can_focus">True</property>
 375       <property name="relief">GTK_RELIEF_NORMAL</property>
 376     </widget>
 377   </child>
 378
 379   <child internal-child="ok_button">
 380     <widget class="GtkButton" id="ok_button1">
 381       <property name="visible">True</property>
 382       <property name="can_default">True</property>
 383       <property name="can_focus">True</property>
 384       <property name="relief">GTK_RELIEF_NORMAL</property>
 385     </widget>
 386   </child>
 387 </widget>
 388
 389 <widget class="GtkWindow" id="ToolBarWin">
 390   <property name="width_request">130</property>
 391   <property name="height_request">450</property>
 392   <property name="visible">True</property>
 393   <property name="title" translatable="yes">ToolBar</property>
 394   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 395   <property name="window_position">GTK_WIN_POS_NONE</property>
 396   <property name="modal">False</property>
 397   <property name="resizable">False</property>
 398   <property name="destroy_with_parent">False</property>
 399
 400   <child>
 401     <widget class="GtkEventBox" id="ToolBarEventBox">
 402       <property name="visible">True</property>
 403
 404       <child>
 405         <widget class="GtkVBox" id="vbox1">
 406           <property name="visible">True</property>
 407           <property name="homogeneous">False</property>
 408           <property name="spacing">0</property>
 409
 410           <child>
 411             <widget class="GtkVButtonBox" id="vbuttonbox1">
 412               <property name="visible">True</property>
 413               <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
 414               <property name="spacing">0</property>
 415
 416               <child>
 417                 <widget class="GtkButton" id="button1">
 418                   <property name="width_request">120</property>
 419                   <property name="visible">True</property>
 420                   <property name="can_default">True</property>
 421                   <property name="can_focus">True</property>
 422                   <property name="label" translatable="yes">button1</property>
 423                   <property name="use_underline">True</property>
 424                   <property name="relief">GTK_RELIEF_NORMAL</property>
 425                 </widget>
 426               </child>
 427
 428               <child>
 429                 <widget class="GtkButton" id="button2">
 430                   <property name="visible">True</property>
 431                   <property name="can_default">True</property>
 432                   <property name="can_focus">True</property>
 433                   <property name="label" translatable="yes">button2</property>
 434                   <property name="use_underline">True</property>
 435                   <property name="relief">GTK_RELIEF_NORMAL</property>
 436                 </widget>
 437               </child>
 438
 439               <child>
 440                 <widget class="GtkButton" id="button3">
 441                   <property name="visible">True</property>
 442                   <property name="can_default">True</property>
 443                   <property name="can_focus">True</property>
 444                   <property name="label" translatable="yes">button3</property>
 445                   <property name="use_underline">True</property>
 446                   <property name="relief">GTK_RELIEF_NORMAL</property>
 447                 </widget>
 448               </child>
 449
 450               <child>
 451                 <widget class="GtkButton" id="button4">
 452                   <property name="visible">True</property>
 453                   <property name="can_default">True</property>
 454                   <property name="can_focus">True</property>
 455                   <property name="label" translatable="yes">button4</property>
 456                   <property name="use_underline">True</property>
 457                   <property name="relief">GTK_RELIEF_NORMAL</property>
 458                 </widget>
 459               </child>
 460             </widget>
 461             <packing>
 462               <property name="padding">0</property>
 463               <property name="expand">False</property>
 464               <property name="fill">True</property>
 465             </packing>
 466           </child>
 467
 468           <child>
 469             <widget class="GtkHSeparator" id="hseparator1">
 470               <property name="visible">True</property>
 471             </widget>
 472             <packing>
 473               <property name="padding">5</property>
 474               <property name="expand">False</property>
 475               <property name="fill">True</property>
 476             </packing>
 477           </child>
 478
 479           <child>
 480             <placeholder/>
 481           </child>
 482         </widget>
 483       </child>
 484     </widget>
 485   </child>
 486 </widget>
 487
 488 <widget class="GtkDialog" id="GenericDialog">
 489   <property name="title" translatable="yes">DUMMY</property>
 490   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 491   <property name="window_position">GTK_WIN_POS_CENTER</property>
 492   <property name="modal">True</property>
 493   <property name="resizable">False</property>
 494   <property name="destroy_with_parent">False</property>
 495   <property name="has_separator">True</property>
 496
 497   <child internal-child="vbox">
 498     <widget class="GtkVBox" id="dialog-vbox1">
 499       <property name="visible">True</property>
 500       <property name="homogeneous">False</property>
 501       <property name="spacing">0</property>
 502
 503       <child internal-child="action_area">
 504         <widget class="GtkHButtonBox" id="dialog-action_area1">
 505           <property name="visible">True</property>
 506           <property name="layout_style">GTK_BUTTONBOX_END</property>
 507
 508           <child>
 509             <widget class="GtkButton" id="cancelbutton1">
 510               <property name="visible">True</property>
 511               <property name="can_default">True</property>
 512               <property name="can_focus">True</property>
 513               <property name="label">gtk-cancel</property>
 514               <property name="use_stock">True</property>
 515               <property name="relief">GTK_RELIEF_NORMAL</property>
 516               <property name="response_id">-6</property>
 517             </widget>
 518           </child>
 519
 520           <child>
 521             <widget class="GtkButton" id="okbutton1">
 522               <property name="visible">True</property>
 523               <property name="can_default">True</property>
 524               <property name="can_focus">True</property>
 525               <property name="label">gtk-ok</property>
 526               <property name="use_stock">True</property>
 527               <property name="relief">GTK_RELIEF_NORMAL</property>
 528               <property name="response_id">-5</property>
 529             </widget>
 530           </child>
 531         </widget>
 532         <packing>
 533           <property name="padding">0</property>
 534           <property name="expand">False</property>
 535           <property name="fill">True</property>
 536           <property name="pack_type">GTK_PACK_END</property>
 537         </packing>
 538       </child>
 539
 540       <child>
 541         <placeholder/>
 542       </child>
 543     </widget>
 544   </child>
 545 </widget>
 546
 547 <widget class="GtkDialog" id="AboutWin">
 548   <property name="title" translatable="yes">Matita: about</property>
 549   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 550   <property name="window_position">GTK_WIN_POS_CENTER</property>
 551   <property name="modal">True</property>
 552   <property name="resizable">False</property>
 553   <property name="destroy_with_parent">False</property>
 554   <property name="has_separator">True</property>
 555
 556   <child internal-child="vbox">
 557     <widget class="GtkVBox" id="dialog-vbox2">
 558       <property name="visible">True</property>
 559       <property name="homogeneous">False</property>
 560       <property name="spacing">0</property>
 561
 562       <child internal-child="action_area">
 563         <widget class="GtkHButtonBox" id="dialog-action_area2">
 564           <property name="visible">True</property>
 565           <property name="layout_style">GTK_BUTTONBOX_END</property>
 566
 567           <child>
 568             <widget class="GtkButton" id="AboutDismissButton">
 569               <property name="visible">True</property>
 570               <property name="can_default">True</property>
 571               <property name="can_focus">True</property>
 572               <property name="label">gtk-ok</property>
 573               <property name="use_stock">True</property>
 574               <property name="relief">GTK_RELIEF_NORMAL</property>
 575               <property name="response_id">-5</property>
 576             </widget>
 577           </child>
 578         </widget>
 579         <packing>
 580           <property name="padding">0</property>
 581           <property name="expand">False</property>
 582           <property name="fill">True</property>
 583           <property name="pack_type">GTK_PACK_END</property>
 584         </packing>
 585       </child>
 586
 587       <child>
 588         <placeholder/>
 589       </child>
 590     </widget>
 591   </child>
 592 </widget>
 593
 594 <widget class="GtkDialog" id="UriChoiceDialog">
 595   <property name="height_request">280</property>
 596   <property name="title" translatable="yes">Uri choice</property>
 597   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 598   <property name="window_position">GTK_WIN_POS_CENTER</property>
 599   <property name="modal">True</property>
 600   <property name="resizable">True</property>
 601   <property name="destroy_with_parent">False</property>
 602   <property name="has_separator">True</property>
 603
 604   <child internal-child="vbox">
 605     <widget class="GtkVBox" id="dialog-vbox3">
 606       <property name="visible">True</property>
 607       <property name="homogeneous">False</property>
 608       <property name="spacing">0</property>
 609
 610       <child internal-child="action_area">
 611         <widget class="GtkHButtonBox" id="dialog-action_area3">
 612           <property name="visible">True</property>
 613           <property name="layout_style">GTK_BUTTONBOX_END</property>
 614
 615           <child>
 616             <widget class="GtkButton" id="UriChoiceAbortButton">
 617               <property name="visible">True</property>
 618               <property name="can_default">True</property>
 619               <property name="can_focus">True</property>
 620               <property name="label">gtk-cancel</property>
 621               <property name="use_stock">True</property>
 622               <property name="relief">GTK_RELIEF_NORMAL</property>
 623               <property name="response_id">-6</property>
 624             </widget>
 625           </child>
 626
 627           <child>
 628             <widget class="GtkButton" id="UriChoiceSelectedButton">
 629               <property name="visible">True</property>
 630               <property name="can_default">True</property>
 631               <property name="can_focus">True</property>
 632               <property name="relief">GTK_RELIEF_NORMAL</property>
 633               <property name="response_id">0</property>
 634
 635               <child>
 636                 <widget class="GtkAlignment" id="alignment2">
 637                   <property name="visible">True</property>
 638                   <property name="xalign">0.5</property>
 639                   <property name="yalign">0.5</property>
 640                   <property name="xscale">0</property>
 641                   <property name="yscale">0</property>
 642
 643                   <child>
 644                     <widget class="GtkHBox" id="hbox3">
 645                       <property name="visible">True</property>
 646                       <property name="homogeneous">False</property>
 647                       <property name="spacing">2</property>
 648
 649                       <child>
 650                         <widget class="GtkImage" id="image19">
 651                           <property name="visible">True</property>
 652                           <property name="stock">gtk-index</property>
 653                           <property name="icon_size">4</property>
 654                           <property name="xalign">0.5</property>
 655                           <property name="yalign">0.5</property>
 656                           <property name="xpad">0</property>
 657                           <property name="ypad">0</property>
 658                         </widget>
 659                         <packing>
 660                           <property name="padding">0</property>
 661                           <property name="expand">False</property>
 662                           <property name="fill">False</property>
 663                         </packing>
 664                       </child>
 665
 666                       <child>
 667                         <widget class="GtkLabel" id="label3">
 668                           <property name="visible">True</property>
 669                           <property name="label" translatable="yes">Try _Selected</property>
 670                           <property name="use_underline">True</property>
 671                           <property name="use_markup">False</property>
 672                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 673                           <property name="wrap">False</property>
 674                           <property name="selectable">False</property>
 675                           <property name="xalign">0.5</property>
 676                           <property name="yalign">0.5</property>
 677                           <property name="xpad">0</property>
 678                           <property name="ypad">0</property>
 679                         </widget>
 680                         <packing>
 681                           <property name="padding">0</property>
 682                           <property name="expand">False</property>
 683                           <property name="fill">False</property>
 684                         </packing>
 685                       </child>
 686                     </widget>
 687                   </child>
 688                 </widget>
 689               </child>
 690             </widget>
 691           </child>
 692
 693           <child>
 694             <widget class="GtkButton" id="UriChoiceConstantsButton">
 695               <property name="visible">True</property>
 696               <property name="sensitive">False</property>
 697               <property name="can_default">True</property>
 698               <property name="can_focus">True</property>
 699               <property name="label" translatable="yes">Try Constants</property>
 700               <property name="use_underline">True</property>
 701               <property name="relief">GTK_RELIEF_NORMAL</property>
 702               <property name="response_id">0</property>
 703             </widget>
 704           </child>
 705
 706           <child>
 707             <widget class="GtkButton" id="UriChoiceAutoButton">
 708               <property name="visible">True</property>
 709               <property name="can_default">True</property>
 710               <property name="can_focus">True</property>
 711               <property name="relief">GTK_RELIEF_NORMAL</property>
 712               <property name="response_id">0</property>
 713
 714               <child>
 715                 <widget class="GtkAlignment" id="alignment1">
 716                   <property name="visible">True</property>
 717                   <property name="xalign">0.5</property>
 718                   <property name="yalign">0.5</property>
 719                   <property name="xscale">0</property>
 720                   <property name="yscale">0</property>
 721
 722                   <child>
 723                     <widget class="GtkHBox" id="hbox1">
 724                       <property name="visible">True</property>
 725                       <property name="homogeneous">False</property>
 726                       <property name="spacing">2</property>
 727
 728                       <child>
 729                         <widget class="GtkImage" id="image18">
 730                           <property name="visible">True</property>
 731                           <property name="stock">gtk-ok</property>
 732                           <property name="icon_size">4</property>
 733                           <property name="xalign">0.5</property>
 734                           <property name="yalign">0.5</property>
 735                           <property name="xpad">0</property>
 736                           <property name="ypad">0</property>
 737                         </widget>
 738                         <packing>
 739                           <property name="padding">0</property>
 740                           <property name="expand">False</property>
 741                           <property name="fill">False</property>
 742                         </packing>
 743                       </child>
 744
 745                       <child>
 746                         <widget class="GtkLabel" id="label1">
 747                           <property name="visible">True</property>
 748                           <property name="label" translatable="yes">_Auto</property>
 749                           <property name="use_underline">True</property>
 750                           <property name="use_markup">False</property>
 751                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 752                           <property name="wrap">False</property>
 753                           <property name="selectable">False</property>
 754                           <property name="xalign">0.5</property>
 755                           <property name="yalign">0.5</property>
 756                           <property name="xpad">0</property>
 757                           <property name="ypad">0</property>
 758                         </widget>
 759                         <packing>
 760                           <property name="padding">0</property>
 761                           <property name="expand">False</property>
 762                           <property name="fill">False</property>
 763                         </packing>
 764                       </child>
 765                     </widget>
 766                   </child>
 767                 </widget>
 768               </child>
 769             </widget>
 770           </child>
 771         </widget>
 772         <packing>
 773           <property name="padding">0</property>
 774           <property name="expand">False</property>
 775           <property name="fill">True</property>
 776           <property name="pack_type">GTK_PACK_END</property>
 777         </packing>
 778       </child>
 779
 780       <child>
 781         <widget class="GtkVBox" id="vbox2">
 782           <property name="visible">True</property>
 783           <property name="homogeneous">False</property>
 784           <property name="spacing">0</property>
 785
 786           <child>
 787             <widget class="GtkLabel" id="UriChoiceLabel">
 788               <property name="visible">True</property>
 789               <property name="label" translatable="yes">some informative message here ...</property>
 790               <property name="use_underline">False</property>
 791               <property name="use_markup">False</property>
 792               <property name="justify">GTK_JUSTIFY_LEFT</property>
 793               <property name="wrap">False</property>
 794               <property name="selectable">False</property>
 795               <property name="xalign">0.5</property>
 796               <property name="yalign">0.5</property>
 797               <property name="xpad">0</property>
 798               <property name="ypad">0</property>
 799             </widget>
 800             <packing>
 801               <property name="padding">0</property>
 802               <property name="expand">False</property>
 803               <property name="fill">False</property>
 804             </packing>
 805           </child>
 806
 807           <child>
 808             <widget class="GtkScrolledWindow" id="scrolledwindow1">
 809               <property name="visible">True</property>
 810               <property name="can_focus">True</property>
 811               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 812               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 813               <property name="shadow_type">GTK_SHADOW_NONE</property>
 814               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 815
 816               <child>
 817                 <widget class="GtkTreeView" id="UriChoiceTreeView">
 818                   <property name="visible">True</property>
 819                   <property name="can_focus">True</property>
 820                   <property name="headers_visible">False</property>
 821                   <property name="rules_hint">False</property>
 822                   <property name="reorderable">False</property>
 823                   <property name="enable_search">True</property>
 824                 </widget>
 825               </child>
 826             </widget>
 827             <packing>
 828               <property name="padding">0</property>
 829               <property name="expand">True</property>
 830               <property name="fill">True</property>
 831             </packing>
 832           </child>
 833
 834           <child>
 835             <widget class="GtkHBox" id="hbox2">
 836               <property name="visible">True</property>
 837               <property name="homogeneous">False</property>
 838               <property name="spacing">0</property>
 839
 840               <child>
 841                 <widget class="GtkLabel" id="label2">
 842                   <property name="visible">True</property>
 843                   <property name="label" translatable="yes">URI: </property>
 844                   <property name="use_underline">False</property>
 845                   <property name="use_markup">False</property>
 846                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 847                   <property name="wrap">False</property>
 848                   <property name="selectable">False</property>
 849                   <property name="xalign">0.5</property>
 850                   <property name="yalign">0.5</property>
 851                   <property name="xpad">0</property>
 852                   <property name="ypad">0</property>
 853                 </widget>
 854                 <packing>
 855                   <property name="padding">0</property>
 856                   <property name="expand">False</property>
 857                   <property name="fill">False</property>
 858                 </packing>
 859               </child>
 860
 861               <child>
 862                 <widget class="GtkEntry" id="entry1">
 863                   <property name="visible">True</property>
 864                   <property name="can_focus">True</property>
 865                   <property name="editable">True</property>
 866                   <property name="visibility">True</property>
 867                   <property name="max_length">0</property>
 868                   <property name="text" translatable="yes"></property>
 869                   <property name="has_frame">True</property>
 870                   <property name="invisible_char" translatable="yes">*</property>
 871                   <property name="activates_default">False</property>
 872                 </widget>
 873                 <packing>
 874                   <property name="padding">0</property>
 875                   <property name="expand">True</property>
 876                   <property name="fill">True</property>
 877                 </packing>
 878               </child>
 879             </widget>
 880             <packing>
 881               <property name="padding">0</property>
 882               <property name="expand">False</property>
 883               <property name="fill">True</property>
 884             </packing>
 885           </child>
 886         </widget>
 887         <packing>
 888           <property name="padding">0</property>
 889           <property name="expand">True</property>
 890           <property name="fill">True</property>
 891         </packing>
 892       </child>
 893     </widget>
 894   </child>
 895 </widget>
 896
 897 <widget class="GtkDialog" id="InterpChoiceDialog">
 898   <property name="title" translatable="yes">Interpretation choice</property>
 899   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 900   <property name="window_position">GTK_WIN_POS_NONE</property>
 901   <property name="modal">True</property>
 902   <property name="resizable">True</property>
 903   <property name="destroy_with_parent">False</property>
 904   <property name="has_separator">True</property>
 905
 906   <child internal-child="vbox">
 907     <widget class="GtkVBox" id="dialog-vbox4">
 908       <property name="visible">True</property>
 909       <property name="homogeneous">False</property>
 910       <property name="spacing">0</property>
 911
 912       <child internal-child="action_area">
 913         <widget class="GtkHButtonBox" id="dialog-action_area4">
 914           <property name="visible">True</property>
 915           <property name="layout_style">GTK_BUTTONBOX_END</property>
 916
 917           <child>
 918             <widget class="GtkButton" id="InterpChoiceHelpButton">
 919               <property name="visible">True</property>
 920               <property name="can_default">True</property>
 921               <property name="can_focus">True</property>
 922               <property name="label">gtk-help</property>
 923               <property name="use_stock">True</property>
 924               <property name="relief">GTK_RELIEF_NORMAL</property>
 925               <property name="response_id">-11</property>
 926             </widget>
 927           </child>
 928
 929           <child>
 930             <widget class="GtkButton" id="InterpChoiceCancelButton">
 931               <property name="visible">True</property>
 932               <property name="can_default">True</property>
 933               <property name="can_focus">True</property>
 934               <property name="label">gtk-cancel</property>
 935               <property name="use_stock">True</property>
 936               <property name="relief">GTK_RELIEF_NORMAL</property>
 937               <property name="response_id">-6</property>
 938             </widget>
 939           </child>
 940
 941           <child>
 942             <widget class="GtkButton" id="InterpChoiceOkButton">
 943               <property name="visible">True</property>
 944               <property name="can_default">True</property>
 945               <property name="can_focus">True</property>
 946               <property name="label">gtk-ok</property>
 947               <property name="use_stock">True</property>
 948               <property name="relief">GTK_RELIEF_NORMAL</property>
 949               <property name="response_id">-5</property>
 950             </widget>
 951           </child>
 952         </widget>
 953         <packing>
 954           <property name="padding">0</property>
 955           <property name="expand">False</property>
 956           <property name="fill">True</property>
 957           <property name="pack_type">GTK_PACK_END</property>
 958         </packing>
 959       </child>
 960
 961       <child>
 962         <widget class="GtkVBox" id="vbox3">
 963           <property name="visible">True</property>
 964           <property name="homogeneous">False</property>
 965           <property name="spacing">0</property>
 966
 967           <child>
 968             <widget class="GtkLabel" id="label6">
 969               <property name="visible">True</property>
 970               <property name="label" translatable="yes">some informative message here ...</property>
 971               <property name="use_underline">False</property>
 972               <property name="use_markup">False</property>
 973               <property name="justify">GTK_JUSTIFY_LEFT</property>
 974               <property name="wrap">False</property>
 975               <property name="selectable">False</property>
 976               <property name="xalign">0.5</property>
 977               <property name="yalign">0.5</property>
 978               <property name="xpad">0</property>
 979               <property name="ypad">0</property>
 980             </widget>
 981             <packing>
 982               <property name="padding">0</property>
 983               <property name="expand">False</property>
 984               <property name="fill">False</property>
 985             </packing>
 986           </child>
 987
 988           <child>
 989             <placeholder/>
 990           </child>
 991         </widget>
 992         <packing>
 993           <property name="padding">0</property>
 994           <property name="expand">True</property>
 995           <property name="fill">True</property>
 996         </packing>
 997       </child>
 998     </widget>
 999   </child>
1000 </widget>
1001
1002 </glade-interface>