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="GtkMenuItem" id="ExitMenuItem">
  38                       <property name="visible">True</property>
  39                       <property name="label" translatable="yes">Exit</property>
  40                       <property name="use_underline">True</property>
  41                       <accelerator key="q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
  42                     </widget>
  43                   </child>
  44                 </widget>
  45               </child>
  46             </widget>
  47           </child>
  48
  49           <child>
  50             <widget class="GtkMenuItem" id="EditMenu">
  51               <property name="visible">True</property>
  52               <property name="label" translatable="yes">_Edit</property>
  53               <property name="use_underline">True</property>
  54             </widget>
  55           </child>
  56
  57           <child>
  58             <widget class="GtkMenuItem" id="ViewMenu">
  59               <property name="visible">True</property>
  60               <property name="label" translatable="yes">_View</property>
  61               <property name="use_underline">True</property>
  62
  63               <child>
  64                 <widget class="GtkMenu" id="ViewMenu_menu">
  65
  66                   <child>
  67                     <widget class="GtkCheckMenuItem" id="ShowToolBarMenuItem">
  68                       <property name="visible">True</property>
  69                       <property name="label" translatable="yes">Show Button Bar</property>
  70                       <property name="use_underline">True</property>
  71                       <property name="active">True</property>
  72                     </widget>
  73                   </child>
  74
  75                   <child>
  76                     <widget class="GtkCheckMenuItem" id="ShowProofMenuItem">
  77                       <property name="visible">True</property>
  78                       <property name="label" translatable="yes">Show Proof Window</property>
  79                       <property name="use_underline">True</property>
  80                       <property name="active">False</property>
  81                       <accelerator key="F3" modifiers="0" signal="activate"/>
  82                     </widget>
  83                   </child>
  84                 </widget>
  85               </child>
  86             </widget>
  87           </child>
  88
  89           <child>
  90             <widget class="GtkMenuItem" id="HelpMenu">
  91               <property name="visible">True</property>
  92               <property name="label" translatable="yes">_Help</property>
  93               <property name="use_underline">True</property>
  94
  95               <child>
  96                 <widget class="GtkMenu" id="HelpMenu_menu">
  97
  98                   <child>
  99                     <widget class="GtkMenuItem" id="AboutMenuItem">
 100                       <property name="visible">True</property>
 101                       <property name="label" translatable="yes">About...</property>
 102                       <property name="use_underline">True</property>
 103                     </widget>
 104                   </child>
 105                 </widget>
 106               </child>
 107             </widget>
 108           </child>
 109         </widget>
 110         <packing>
 111           <property name="padding">0</property>
 112           <property name="expand">False</property>
 113           <property name="fill">False</property>
 114         </packing>
 115       </child>
 116
 117       <child>
 118         <widget class="GtkVPaned" id="MainVPanes">
 119           <property name="visible">True</property>
 120           <property name="can_focus">True</property>
 121           <property name="position">450</property>
 122
 123           <child>
 124             <widget class="GtkScrolledWindow" id="ProofStatus">
 125               <property name="visible">True</property>
 126               <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 127               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 128               <property name="shadow_type">GTK_SHADOW_NONE</property>
 129               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 130
 131               <child>
 132                 <placeholder/>
 133               </child>
 134             </widget>
 135             <packing>
 136               <property name="shrink">True</property>
 137               <property name="resize">False</property>
 138             </packing>
 139           </child>
 140
 141           <child>
 142             <widget class="GtkScrolledWindow" id="ScrolledUserInput">
 143               <property name="visible">True</property>
 144               <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
 145               <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 146               <property name="shadow_type">GTK_SHADOW_IN</property>
 147               <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 148
 149               <child>
 150                 <widget class="GtkTextView" id="UserInput">
 151                   <property name="visible">True</property>
 152                   <property name="can_focus">True</property>
 153                   <property name="editable">False</property>
 154                   <property name="justification">GTK_JUSTIFY_LEFT</property>
 155                   <property name="wrap_mode">GTK_WRAP_WORD</property>
 156                   <property name="cursor_visible">True</property>
 157                   <property name="pixels_above_lines">0</property>
 158                   <property name="pixels_below_lines">0</property>
 159                   <property name="pixels_inside_wrap">0</property>
 160                   <property name="left_margin">0</property>
 161                   <property name="right_margin">0</property>
 162                   <property name="indent">0</property>
 163                   <property name="text" translatable="yes"></property>
 164                 </widget>
 165               </child>
 166             </widget>
 167             <packing>
 168               <property name="shrink">True</property>
 169               <property name="resize">True</property>
 170             </packing>
 171           </child>
 172         </widget>
 173         <packing>
 174           <property name="padding">0</property>
 175           <property name="expand">True</property>
 176           <property name="fill">True</property>
 177         </packing>
 178       </child>
 179
 180       <child>
 181         <widget class="GtkStatusbar" id="MainStatusBar">
 182           <property name="visible">True</property>
 183           <property name="has_resize_grip">True</property>
 184         </widget>
 185         <packing>
 186           <property name="padding">0</property>
 187           <property name="expand">False</property>
 188           <property name="fill">False</property>
 189         </packing>
 190       </child>
 191     </widget>
 192   </child>
 193 </widget>
 194
 195 <widget class="GtkWindow" id="ProofWin">
 196   <property name="title" translatable="yes">Mathita: current proof</property>
 197   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 198   <property name="window_position">GTK_WIN_POS_NONE</property>
 199   <property name="modal">False</property>
 200   <property name="default_width">700</property>
 201   <property name="default_height">525</property>
 202   <property name="resizable">True</property>
 203   <property name="destroy_with_parent">False</property>
 204
 205   <child>
 206     <widget class="GtkEventBox" id="ProofWinEventBox">
 207       <property name="visible">True</property>
 208
 209       <child>
 210         <widget class="GtkScrolledWindow" id="ScrolledProof">
 211           <property name="visible">True</property>
 212           <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 213           <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 214           <property name="shadow_type">GTK_SHADOW_NONE</property>
 215           <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 216
 217           <child>
 218             <widget class="GtkViewport" id="viewport1">
 219               <property name="visible">True</property>
 220               <property name="shadow_type">GTK_SHADOW_IN</property>
 221
 222               <child>
 223                 <placeholder/>
 224               </child>
 225             </widget>
 226           </child>
 227         </widget>
 228       </child>
 229     </widget>
 230   </child>
 231 </widget>
 232
 233 <widget class="GtkFileSelection" id="FileSelectionWin">
 234   <property name="border_width">10</property>
 235   <property name="title" translatable="yes">Select File</property>
 236   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 237   <property name="window_position">GTK_WIN_POS_NONE</property>
 238   <property name="modal">True</property>
 239   <property name="resizable">True</property>
 240   <property name="destroy_with_parent">False</property>
 241   <property name="show_fileops">True</property>
 242
 243   <child internal-child="cancel_button">
 244     <widget class="GtkButton" id="cancel_button1">
 245       <property name="visible">True</property>
 246       <property name="can_default">True</property>
 247       <property name="can_focus">True</property>
 248       <property name="relief">GTK_RELIEF_NORMAL</property>
 249     </widget>
 250   </child>
 251
 252   <child internal-child="ok_button">
 253     <widget class="GtkButton" id="ok_button1">
 254       <property name="visible">True</property>
 255       <property name="can_default">True</property>
 256       <property name="can_focus">True</property>
 257       <property name="relief">GTK_RELIEF_NORMAL</property>
 258     </widget>
 259   </child>
 260 </widget>
 261
 262 <widget class="GtkWindow" id="ToolBarWin">
 263   <property name="width_request">130</property>
 264   <property name="height_request">450</property>
 265   <property name="visible">True</property>
 266   <property name="title" translatable="yes">ToolBar</property>
 267   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 268   <property name="window_position">GTK_WIN_POS_NONE</property>
 269   <property name="modal">False</property>
 270   <property name="resizable">False</property>
 271   <property name="destroy_with_parent">False</property>
 272
 273   <child>
 274     <widget class="GtkEventBox" id="ToolBarEventBox">
 275       <property name="visible">True</property>
 276
 277       <child>
 278         <widget class="GtkVBox" id="vbox1">
 279           <property name="visible">True</property>
 280           <property name="homogeneous">False</property>
 281           <property name="spacing">0</property>
 282
 283           <child>
 284             <widget class="GtkVButtonBox" id="vbuttonbox1">
 285               <property name="visible">True</property>
 286               <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
 287               <property name="spacing">0</property>
 288
 289               <child>
 290                 <widget class="GtkButton" id="button1">
 291                   <property name="width_request">120</property>
 292                   <property name="visible">True</property>
 293                   <property name="can_default">True</property>
 294                   <property name="can_focus">True</property>
 295                   <property name="label" translatable="yes">button1</property>
 296                   <property name="use_underline">True</property>
 297                   <property name="relief">GTK_RELIEF_NORMAL</property>
 298                 </widget>
 299               </child>
 300
 301               <child>
 302                 <widget class="GtkButton" id="button2">
 303                   <property name="visible">True</property>
 304                   <property name="can_default">True</property>
 305                   <property name="can_focus">True</property>
 306                   <property name="label" translatable="yes">button2</property>
 307                   <property name="use_underline">True</property>
 308                   <property name="relief">GTK_RELIEF_NORMAL</property>
 309                 </widget>
 310               </child>
 311
 312               <child>
 313                 <widget class="GtkButton" id="button3">
 314                   <property name="visible">True</property>
 315                   <property name="can_default">True</property>
 316                   <property name="can_focus">True</property>
 317                   <property name="label" translatable="yes">button3</property>
 318                   <property name="use_underline">True</property>
 319                   <property name="relief">GTK_RELIEF_NORMAL</property>
 320                 </widget>
 321               </child>
 322
 323               <child>
 324                 <widget class="GtkButton" id="button4">
 325                   <property name="visible">True</property>
 326                   <property name="can_default">True</property>
 327                   <property name="can_focus">True</property>
 328                   <property name="label" translatable="yes">button4</property>
 329                   <property name="use_underline">True</property>
 330                   <property name="relief">GTK_RELIEF_NORMAL</property>
 331                 </widget>
 332               </child>
 333             </widget>
 334             <packing>
 335               <property name="padding">0</property>
 336               <property name="expand">False</property>
 337               <property name="fill">True</property>
 338             </packing>
 339           </child>
 340
 341           <child>
 342             <widget class="GtkHSeparator" id="hseparator1">
 343               <property name="visible">True</property>
 344             </widget>
 345             <packing>
 346               <property name="padding">5</property>
 347               <property name="expand">False</property>
 348               <property name="fill">True</property>
 349             </packing>
 350           </child>
 351
 352           <child>
 353             <placeholder/>
 354           </child>
 355         </widget>
 356       </child>
 357     </widget>
 358   </child>
 359 </widget>
 360
 361 <widget class="GtkDialog" id="GenericDialog">
 362   <property name="title" translatable="yes">DUMMY</property>
 363   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 364   <property name="window_position">GTK_WIN_POS_NONE</property>
 365   <property name="modal">True</property>
 366   <property name="resizable">False</property>
 367   <property name="destroy_with_parent">False</property>
 368   <property name="has_separator">True</property>
 369
 370   <child internal-child="vbox">
 371     <widget class="GtkVBox" id="dialog-vbox1">
 372       <property name="visible">True</property>
 373       <property name="homogeneous">False</property>
 374       <property name="spacing">0</property>
 375
 376       <child internal-child="action_area">
 377         <widget class="GtkHButtonBox" id="dialog-action_area1">
 378           <property name="visible">True</property>
 379           <property name="layout_style">GTK_BUTTONBOX_END</property>
 380
 381           <child>
 382             <widget class="GtkButton" id="cancelbutton1">
 383               <property name="visible">True</property>
 384               <property name="can_default">True</property>
 385               <property name="can_focus">True</property>
 386               <property name="label">gtk-cancel</property>
 387               <property name="use_stock">True</property>
 388               <property name="relief">GTK_RELIEF_NORMAL</property>
 389               <property name="response_id">-6</property>
 390             </widget>
 391           </child>
 392
 393           <child>
 394             <widget class="GtkButton" id="okbutton1">
 395               <property name="visible">True</property>
 396               <property name="can_default">True</property>
 397               <property name="can_focus">True</property>
 398               <property name="label">gtk-ok</property>
 399               <property name="use_stock">True</property>
 400               <property name="relief">GTK_RELIEF_NORMAL</property>
 401               <property name="response_id">-5</property>
 402             </widget>
 403           </child>
 404         </widget>
 405         <packing>
 406           <property name="padding">0</property>
 407           <property name="expand">False</property>
 408           <property name="fill">True</property>
 409           <property name="pack_type">GTK_PACK_END</property>
 410         </packing>
 411       </child>
 412
 413       <child>
 414         <placeholder/>
 415       </child>
 416     </widget>
 417   </child>
 418 </widget>
 419
 420 <widget class="GtkDialog" id="AboutWin">
 421   <property name="title" translatable="yes">Mathita: about</property>
 422   <property name="type">GTK_WINDOW_TOPLEVEL</property>
 423   <property name="window_position">GTK_WIN_POS_NONE</property>
 424   <property name="modal">True</property>
 425   <property name="resizable">False</property>
 426   <property name="destroy_with_parent">False</property>
 427   <property name="has_separator">True</property>
 428
 429   <child internal-child="vbox">
 430     <widget class="GtkVBox" id="dialog-vbox2">
 431       <property name="visible">True</property>
 432       <property name="homogeneous">False</property>
 433       <property name="spacing">0</property>
 434
 435       <child internal-child="action_area">
 436         <widget class="GtkHButtonBox" id="dialog-action_area2">
 437           <property name="visible">True</property>
 438           <property name="layout_style">GTK_BUTTONBOX_END</property>
 439
 440           <child>
 441             <widget class="GtkButton" id="okbutton2">
 442               <property name="visible">True</property>
 443               <property name="can_default">True</property>
 444               <property name="can_focus">True</property>
 445               <property name="label">gtk-ok</property>
 446               <property name="use_stock">True</property>
 447               <property name="relief">GTK_RELIEF_NORMAL</property>
 448               <property name="response_id">-5</property>
 449             </widget>
 450           </child>
 451         </widget>
 452         <packing>
 453           <property name="padding">0</property>
 454           <property name="expand">False</property>
 455           <property name="fill">True</property>
 456           <property name="pack_type">GTK_PACK_END</property>
 457         </packing>
 458       </child>
 459
 460       <child>
 461         <placeholder/>
 462       </child>
 463     </widget>
 464   </child>
 465 </widget>
 466
 467 </glade-interface>