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