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="ConfirmationDialog">
 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="ConfirmationDialogCancelButton">
 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="ConfirmationDialogOkButton">
 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         <widget class="GtkLabel" id="ConfirmationDialogLabel">
 542           <property name="visible">True</property>
 543           <property name="label" translatable="yes">DUMMY</property>
 544           <property name="use_underline">False</property>
 545           <property name="use_markup">False</property>
 546           <property name="justify">GTK_JUSTIFY_CENTER</property>
 547           <property name="wrap">False</property>
 548           <property name="selectable">False</property>
 549           <property name="xalign">0.5</property>
 550           <property name="yalign">0.5</property>
 551           <property name="xpad">0</property>
 552           <property name="ypad">0</property>
 553         </widget>
 554         <packing>
 555           <property name="padding">0</property>
 556           <property name="expand">False</property>
 557           <property name="fill">False</property>
 558         </packing>
 559       </child>
 560     </widget>
 561   </child>
 562 </widget>
 563
 564 <widget class="GtkDialog" id="AboutWin">
 565   <property name="title" translatable="yes">Matita: about</property>
 566   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 567   <property name="window_position">GTK_WIN_POS_CENTER</property>
 568   <property name="modal">True</property>
 569   <property name="resizable">False</property>
 570   <property name="destroy_with_parent">False</property>
 571   <property name="has_separator">True</property>
 572
 573   <child internal-child="vbox">
 574     <widget class="GtkVBox" id="dialog-vbox2">
 575       <property name="visible">True</property>
 576       <property name="homogeneous">False</property>
 577       <property name="spacing">0</property>
 578
 579       <child internal-child="action_area">
 580         <widget class="GtkHButtonBox" id="dialog-action_area2">
 581           <property name="visible">True</property>
 582           <property name="layout_style">GTK_BUTTONBOX_END</property>
 583
 584           <child>
 585             <widget class="GtkButton" id="AboutDismissButton">
 586               <property name="visible">True</property>
 587               <property name="can_default">True</property>
 588               <property name="can_focus">True</property>
 589               <property name="label">gtk-ok</property>
 590               <property name="use_stock">True</property>
 591               <property name="relief">GTK_RELIEF_NORMAL</property>
 592               <property name="response_id">-5</property>
 593             </widget>
 594           </child>
 595         </widget>
 596         <packing>
 597           <property name="padding">0</property>
 598           <property name="expand">False</property>
 599           <property name="fill">True</property>
 600           <property name="pack_type">GTK_PACK_END</property>
 601         </packing>
 602       </child>
 603
 604       <child>
 605         <placeholder/>
 606       </child>
 607     </widget>
 608   </child>
 609 </widget>
 610
 611 <widget class="GtkDialog" id="UriChoiceDialog">
 612   <property name="height_request">280</property>
 613   <property name="title" translatable="yes">Uri choice</property>
 614   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 615   <property name="window_position">GTK_WIN_POS_CENTER</property>
 616   <property name="modal">True</property>
 617   <property name="resizable">True</property>
 618   <property name="destroy_with_parent">False</property>
 619   <property name="has_separator">True</property>
 620
 621   <child internal-child="vbox">
 622     <widget class="GtkVBox" id="dialog-vbox3">
 623       <property name="visible">True</property>
 624       <property name="homogeneous">False</property>
 625       <property name="spacing">0</property>
 626
 627       <child internal-child="action_area">
 628         <widget class="GtkHButtonBox" id="dialog-action_area3">
 629           <property name="visible">True</property>
 630           <property name="layout_style">GTK_BUTTONBOX_END</property>
 631
 632           <child>
 633             <widget class="GtkButton" id="UriChoiceAbortButton">
 634               <property name="visible">True</property>
 635               <property name="can_default">True</property>
 636               <property name="can_focus">True</property>
 637               <property name="label">gtk-cancel</property>
 638               <property name="use_stock">True</property>
 639               <property name="relief">GTK_RELIEF_NORMAL</property>
 640               <property name="response_id">-6</property>
 641             </widget>
 642           </child>
 643
 644           <child>
 645             <widget class="GtkButton" id="UriChoiceSelectedButton">
 646               <property name="visible">True</property>
 647               <property name="can_default">True</property>
 648               <property name="can_focus">True</property>
 649               <property name="relief">GTK_RELIEF_NORMAL</property>
 650               <property name="response_id">0</property>
 651
 652               <child>
 653                 <widget class="GtkAlignment" id="alignment2">
 654                   <property name="visible">True</property>
 655                   <property name="xalign">0.5</property>
 656                   <property name="yalign">0.5</property>
 657                   <property name="xscale">0</property>
 658                   <property name="yscale">0</property>
 659
 660                   <child>
 661                     <widget class="GtkHBox" id="hbox3">
 662                       <property name="visible">True</property>
 663                       <property name="homogeneous">False</property>
 664                       <property name="spacing">2</property>
 665
 666                       <child>
 667                         <widget class="GtkImage" id="image19">
 668                           <property name="visible">True</property>
 669                           <property name="stock">gtk-index</property>
 670                           <property name="icon_size">4</property>
 671                           <property name="xalign">0.5</property>
 672                           <property name="yalign">0.5</property>
 673                           <property name="xpad">0</property>
 674                           <property name="ypad">0</property>
 675                         </widget>
 676                         <packing>
 677                           <property name="padding">0</property>
 678                           <property name="expand">False</property>
 679                           <property name="fill">False</property>
 680                         </packing>
 681                       </child>
 682
 683                       <child>
 684                         <widget class="GtkLabel" id="label3">
 685                           <property name="visible">True</property>
 686                           <property name="label" translatable="yes">Try _Selected</property>
 687                           <property name="use_underline">True</property>
 688                           <property name="use_markup">False</property>
 689                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 690                           <property name="wrap">False</property>
 691                           <property name="selectable">False</property>
 692                           <property name="xalign">0.5</property>
 693                           <property name="yalign">0.5</property>
 694                           <property name="xpad">0</property>
 695                           <property name="ypad">0</property>
 696                         </widget>
 697                         <packing>
 698                           <property name="padding">0</property>
 699                           <property name="expand">False</property>
 700                           <property name="fill">False</property>
 701                         </packing>
 702                       </child>
 703                     </widget>
 704                   </child>
 705                 </widget>
 706               </child>
 707             </widget>
 708           </child>
 709
 710           <child>
 711             <widget class="GtkButton" id="UriChoiceConstantsButton">
 712               <property name="visible">True</property>
 713               <property name="sensitive">False</property>
 714               <property name="can_default">True</property>
 715               <property name="can_focus">True</property>
 716               <property name="label" translatable="yes">Try Constants</property>
 717               <property name="use_underline">True</property>
 718               <property name="relief">GTK_RELIEF_NORMAL</property>
 719               <property name="response_id">0</property>
 720             </widget>
 721           </child>
 722
 723           <child>
 724             <widget class="GtkButton" id="UriChoiceAutoButton">
 725               <property name="visible">True</property>
 726               <property name="can_default">True</property>
 727               <property name="can_focus">True</property>
 728               <property name="relief">GTK_RELIEF_NORMAL</property>
 729               <property name="response_id">0</property>
 730
 731               <child>
 732                 <widget class="GtkAlignment" id="alignment1">
 733                   <property name="visible">True</property>
 734                   <property name="xalign">0.5</property>
 735                   <property name="yalign">0.5</property>
 736                   <property name="xscale">0</property>
 737                   <property name="yscale">0</property>
 738
 739                   <child>
 740                     <widget class="GtkHBox" id="hbox1">
 741                       <property name="visible">True</property>
 742                       <property name="homogeneous">False</property>
 743                       <property name="spacing">2</property>
 744
 745                       <child>
 746                         <widget class="GtkImage" id="image18">
 747                           <property name="visible">True</property>
 748                           <property name="stock">gtk-ok</property>
 749                           <property name="icon_size">4</property>
 750                           <property name="xalign">0.5</property>
 751                           <property name="yalign">0.5</property>
 752                           <property name="xpad">0</property>
 753                           <property name="ypad">0</property>
 754                         </widget>
 755                         <packing>
 756                           <property name="padding">0</property>
 757                           <property name="expand">False</property>
 758                           <property name="fill">False</property>
 759                         </packing>
 760                       </child>
 761
 762                       <child>
 763                         <widget class="GtkLabel" id="label1">
 764                           <property name="visible">True</property>
 765                           <property name="label" translatable="yes">_Auto</property>
 766                           <property name="use_underline">True</property>
 767                           <property name="use_markup">False</property>
 768                           <property name="justify">GTK_JUSTIFY_LEFT</property>
 769                           <property name="wrap">False</property>
 770                           <property name="selectable">False</property>
 771                           <property name="xalign">0.5</property>
 772                           <property name="yalign">0.5</property>
 773                           <property name="xpad">0</property>
 774                           <property name="ypad">0</property>
 775                         </widget>
 776                         <packing>
 777                           <property name="padding">0</property>
 778                           <property name="expand">False</property>
 779                           <property name="fill">False</property>
 780                         </packing>
 781                       </child>
 782                     </widget>
 783                   </child>
 784                 </widget>
 785               </child>
 786             </widget>
 787           </child>
 788         </widget>
 789         <packing>
 790           <property name="padding">0</property>
 791           <property name="expand">False</property>
 792           <property name="fill">True</property>
 793           <property name="pack_type">GTK_PACK_END</property>
 794         </packing>
 795       </child>
 796
 797       <child>
 798         <widget class="GtkVBox" id="vbox2">
 799           <property name="visible">True</property>
 800           <property name="homogeneous">False</property>
 801           <property name="spacing">0</property>
 802
 803           <child>
 804             <widget class="GtkLabel" id="UriChoiceLabel">
 805               <property name="visible">True</property>
 806               <property name="label" translatable="yes">some informative message here ...</property>
 807               <property name="use_underline">False</property>
 808               <property name="use_markup">False</property>
 809               <property name="justify">GTK_JUSTIFY_LEFT</property>
 810               <property name="wrap">False</property>
 811               <property name="selectable">False</property>
 812               <property name="xalign">0.5</property>
 813               <property name="yalign">0.5</property>
 814               <property name="xpad">0</property>
 815               <property name="ypad">0</property>
 816             </widget>
 817             <packing>
 818               <property name="padding">0</property>
 819               <property name="expand">False</property>
 820               <property name="fill">False</property>
 821             </packing>
 822           </child>
 823
 824           <child>
 825             <widget class="GtkScrolledWindow" id="scrolledwindow1">
 826               <property name="visible">True</property>
 827               <property name="can_focus">True</property>
 828               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 829               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 830               <property name="shadow_type">GTK_SHADOW_NONE</property>
 831               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 832
 833               <child>
 834                 <widget class="GtkTreeView" id="UriChoiceTreeView">
 835                   <property name="visible">True</property>
 836                   <property name="can_focus">True</property>
 837                   <property name="headers_visible">False</property>
 838                   <property name="rules_hint">False</property>
 839                   <property name="reorderable">False</property>
 840                   <property name="enable_search">True</property>
 841                 </widget>
 842               </child>
 843             </widget>
 844             <packing>
 845               <property name="padding">0</property>
 846               <property name="expand">True</property>
 847               <property name="fill">True</property>
 848             </packing>
 849           </child>
 850
 851           <child>
 852             <widget class="GtkHBox" id="hbox2">
 853               <property name="visible">True</property>
 854               <property name="homogeneous">False</property>
 855               <property name="spacing">0</property>
 856
 857               <child>
 858                 <widget class="GtkLabel" id="label2">
 859                   <property name="visible">True</property>
 860                   <property name="label" translatable="yes">URI: </property>
 861                   <property name="use_underline">False</property>
 862                   <property name="use_markup">False</property>
 863                   <property name="justify">GTK_JUSTIFY_LEFT</property>
 864                   <property name="wrap">False</property>
 865                   <property name="selectable">False</property>
 866                   <property name="xalign">0.5</property>
 867                   <property name="yalign">0.5</property>
 868                   <property name="xpad">0</property>
 869                   <property name="ypad">0</property>
 870                 </widget>
 871                 <packing>
 872                   <property name="padding">0</property>
 873                   <property name="expand">False</property>
 874                   <property name="fill">False</property>
 875                 </packing>
 876               </child>
 877
 878               <child>
 879                 <widget class="GtkEntry" id="entry1">
 880                   <property name="visible">True</property>
 881                   <property name="can_focus">True</property>
 882                   <property name="editable">True</property>
 883                   <property name="visibility">True</property>
 884                   <property name="max_length">0</property>
 885                   <property name="text" translatable="yes"></property>
 886                   <property name="has_frame">True</property>
 887                   <property name="invisible_char" translatable="yes">*</property>
 888                   <property name="activates_default">False</property>
 889                 </widget>
 890                 <packing>
 891                   <property name="padding">0</property>
 892                   <property name="expand">True</property>
 893                   <property name="fill">True</property>
 894                 </packing>
 895               </child>
 896             </widget>
 897             <packing>
 898               <property name="padding">0</property>
 899               <property name="expand">False</property>
 900               <property name="fill">True</property>
 901             </packing>
 902           </child>
 903         </widget>
 904         <packing>
 905           <property name="padding">0</property>
 906           <property name="expand">True</property>
 907           <property name="fill">True</property>
 908         </packing>
 909       </child>
 910     </widget>
 911   </child>
 912 </widget>
 913
 914 <widget class="GtkDialog" id="InterpChoiceDialog">
 915   <property name="title" translatable="yes">Interpretation choice</property>
 916   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 917   <property name="window_position">GTK_WIN_POS_NONE</property>
 918   <property name="modal">True</property>
 919   <property name="resizable">True</property>
 920   <property name="destroy_with_parent">False</property>
 921   <property name="has_separator">True</property>
 922
 923   <child internal-child="vbox">
 924     <widget class="GtkVBox" id="dialog-vbox4">
 925       <property name="visible">True</property>
 926       <property name="homogeneous">False</property>
 927       <property name="spacing">0</property>
 928
 929       <child internal-child="action_area">
 930         <widget class="GtkHButtonBox" id="dialog-action_area4">
 931           <property name="visible">True</property>
 932           <property name="layout_style">GTK_BUTTONBOX_END</property>
 933
 934           <child>
 935             <widget class="GtkButton" id="InterpChoiceHelpButton">
 936               <property name="visible">True</property>
 937               <property name="can_default">True</property>
 938               <property name="can_focus">True</property>
 939               <property name="label">gtk-help</property>
 940               <property name="use_stock">True</property>
 941               <property name="relief">GTK_RELIEF_NORMAL</property>
 942               <property name="response_id">-11</property>
 943             </widget>
 944           </child>
 945
 946           <child>
 947             <widget class="GtkButton" id="InterpChoiceCancelButton">
 948               <property name="visible">True</property>
 949               <property name="can_default">True</property>
 950               <property name="can_focus">True</property>
 951               <property name="label">gtk-cancel</property>
 952               <property name="use_stock">True</property>
 953               <property name="relief">GTK_RELIEF_NORMAL</property>
 954               <property name="response_id">-6</property>
 955             </widget>
 956           </child>
 957
 958           <child>
 959             <widget class="GtkButton" id="InterpChoiceOkButton">
 960               <property name="visible">True</property>
 961               <property name="can_default">True</property>
 962               <property name="can_focus">True</property>
 963               <property name="label">gtk-ok</property>
 964               <property name="use_stock">True</property>
 965               <property name="relief">GTK_RELIEF_NORMAL</property>
 966               <property name="response_id">-5</property>
 967             </widget>
 968           </child>
 969         </widget>
 970         <packing>
 971           <property name="padding">0</property>
 972           <property name="expand">False</property>
 973           <property name="fill">True</property>
 974           <property name="pack_type">GTK_PACK_END</property>
 975         </packing>
 976       </child>
 977
 978       <child>
 979         <widget class="GtkVBox" id="vbox3">
 980           <property name="visible">True</property>
 981           <property name="homogeneous">False</property>
 982           <property name="spacing">0</property>
 983
 984           <child>
 985             <widget class="GtkLabel" id="label6">
 986               <property name="visible">True</property>
 987               <property name="label" translatable="yes">some informative message here ...</property>
 988               <property name="use_underline">False</property>
 989               <property name="use_markup">False</property>
 990               <property name="justify">GTK_JUSTIFY_LEFT</property>
 991               <property name="wrap">False</property>
 992               <property name="selectable">False</property>
 993               <property name="xalign">0.5</property>
 994               <property name="yalign">0.5</property>
 995               <property name="xpad">0</property>
 996               <property name="ypad">0</property>
 997             </widget>
 998             <packing>
 999               <property name="padding">0</property>
1000               <property name="expand">False</property>
1001               <property name="fill">False</property>
1002             </packing>
1003           </child>
1004
1005           <child>
1006             <placeholder/>
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 </glade-interface>