helm/matita/matita.glade

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