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