helm/hbugs/client/hbugs_gui.glade

   1 <?xml version="1.0"?>
   2 <GTK-Interface>
   3
   4 <project>
   5   <name>hbugs_gui</name>
   6   <program_name>hbugs_gui</program_name>
   7   <directory></directory>
   8   <source_directory>src</source_directory>
   9   <pixmaps_directory>pixmaps</pixmaps_directory>
  10   <language>C</language>
  11   <gnome_support>False</gnome_support>
  12   <gettext_support>False</gettext_support>
  13 </project>
  14
  15 <widget>
  16   <class>GtkWindow</class>
  17   <name>hbugsMainWindow</name>
  18   <visible>False</visible>
  19   <title>Hbugs: your personal proof trainer!</title>
  20   <type>GTK_WINDOW_TOPLEVEL</type>
  21   <position>GTK_WIN_POS_NONE</position>
  22   <modal>False</modal>
  23   <allow_shrink>False</allow_shrink>
  24   <allow_grow>True</allow_grow>
  25   <auto_shrink>False</auto_shrink>
  26
  27   <widget>
  28     <class>GtkVBox</class>
  29     <name>vbox1</name>
  30     <homogeneous>False</homogeneous>
  31     <spacing>0</spacing>
  32
  33     <widget>
  34       <class>GtkMenuBar</class>
  35       <name>menubar</name>
  36       <shadow_type>GTK_SHADOW_OUT</shadow_type>
  37       <child>
  38         <padding>0</padding>
  39         <expand>False</expand>
  40         <fill>False</fill>
  41       </child>
  42
  43       <widget>
  44         <class>GtkMenuItem</class>
  45         <name>toolsMenu</name>
  46         <label>Tools</label>
  47         <right_justify>False</right_justify>
  48
  49         <widget>
  50           <class>GtkMenu</class>
  51           <name>toolsMenu_menu</name>
  52
  53           <widget>
  54             <class>GtkCheckMenuItem</class>
  55             <name>toggleDebuggingMenuItem</name>
  56             <label>Debugging</label>
  57             <active>False</active>
  58             <always_show_toggle>True</always_show_toggle>
  59           </widget>
  60         </widget>
  61       </widget>
  62     </widget>
  63
  64     <widget>
  65       <class>GtkHBox</class>
  66       <name>hbox4</name>
  67       <homogeneous>False</homogeneous>
  68       <spacing>2</spacing>
  69       <child>
  70         <padding>0</padding>
  71         <expand>False</expand>
  72         <fill>False</fill>
  73       </child>
  74
  75       <widget>
  76         <class>GtkLabel</class>
  77         <name>label11</name>
  78         <label>My URL:</label>
  79         <justify>GTK_JUSTIFY_CENTER</justify>
  80         <wrap>False</wrap>
  81         <xalign>0.5</xalign>
  82         <yalign>0.5</yalign>
  83         <xpad>0</xpad>
  84         <ypad>0</ypad>
  85         <child>
  86           <padding>0</padding>
  87           <expand>False</expand>
  88           <fill>False</fill>
  89         </child>
  90       </widget>
  91
  92       <widget>
  93         <class>GtkEntry</class>
  94         <name>clientUrlEntry</name>
  95         <tooltip>Local HTTP daemon URL</tooltip>
  96         <can_focus>True</can_focus>
  97         <editable>False</editable>
  98         <text_visible>True</text_visible>
  99         <text_max_length>0</text_max_length>
 100         <text></text>
 101         <child>
 102           <padding>0</padding>
 103           <expand>True</expand>
 104           <fill>True</fill>
 105         </child>
 106       </widget>
 107
 108       <widget>
 109         <class>GtkButton</class>
 110         <name>startLocalHttpDaemonButton</name>
 111         <tooltip>Start the local HTTP daemon listening on the specified URL</tooltip>
 112         <can_focus>True</can_focus>
 113         <label>Start!</label>
 114         <relief>GTK_RELIEF_NORMAL</relief>
 115         <child>
 116           <padding>0</padding>
 117           <expand>False</expand>
 118           <fill>False</fill>
 119         </child>
 120       </widget>
 121
 122       <widget>
 123         <class>GtkButton</class>
 124         <name>testLocalHttpDaemonButton</name>
 125         <can_focus>True</can_focus>
 126         <label>Test!</label>
 127         <relief>GTK_RELIEF_NORMAL</relief>
 128         <child>
 129           <padding>0</padding>
 130           <expand>False</expand>
 131           <fill>False</fill>
 132         </child>
 133       </widget>
 134     </widget>
 135
 136     <widget>
 137       <class>GtkVBox</class>
 138       <name>vbox4</name>
 139       <homogeneous>False</homogeneous>
 140       <spacing>0</spacing>
 141       <child>
 142         <padding>0</padding>
 143         <expand>False</expand>
 144         <fill>True</fill>
 145       </child>
 146
 147       <widget>
 148         <class>GtkHBox</class>
 149         <name>hbox1</name>
 150         <homogeneous>False</homogeneous>
 151         <spacing>2</spacing>
 152         <child>
 153           <padding>0</padding>
 154           <expand>False</expand>
 155           <fill>False</fill>
 156         </child>
 157
 158         <widget>
 159           <class>GtkLabel</class>
 160           <name>label1</name>
 161           <label>Broker:</label>
 162           <justify>GTK_JUSTIFY_CENTER</justify>
 163           <wrap>False</wrap>
 164           <xalign>0.5</xalign>
 165           <yalign>0.5</yalign>
 166           <xpad>0</xpad>
 167           <ypad>0</ypad>
 168           <child>
 169             <padding>0</padding>
 170             <expand>False</expand>
 171             <fill>False</fill>
 172           </child>
 173         </widget>
 174
 175         <widget>
 176           <class>GtkEntry</class>
 177           <name>brokerUrlEntry</name>
 178           <tooltip>HBugs broker URL</tooltip>
 179           <can_focus>True</can_focus>
 180           <editable>False</editable>
 181           <text_visible>True</text_visible>
 182           <text_max_length>0</text_max_length>
 183           <text></text>
 184           <child>
 185             <padding>0</padding>
 186             <expand>True</expand>
 187             <fill>True</fill>
 188           </child>
 189         </widget>
 190
 191         <widget>
 192           <class>GtkButton</class>
 193           <name>testBrokerButton</name>
 194           <can_focus>True</can_focus>
 195           <label>Test!</label>
 196           <relief>GTK_RELIEF_NORMAL</relief>
 197           <child>
 198             <padding>0</padding>
 199             <expand>False</expand>
 200             <fill>False</fill>
 201           </child>
 202         </widget>
 203       </widget>
 204
 205       <widget>
 206         <class>GtkHBox</class>
 207         <name>hbox2</name>
 208         <homogeneous>False</homogeneous>
 209         <spacing>2</spacing>
 210         <child>
 211           <padding>0</padding>
 212           <expand>False</expand>
 213           <fill>False</fill>
 214         </child>
 215
 216         <widget>
 217           <class>GtkLabel</class>
 218           <name>label2</name>
 219           <label>Client ID:</label>
 220           <justify>GTK_JUSTIFY_CENTER</justify>
 221           <wrap>False</wrap>
 222           <xalign>0.5</xalign>
 223           <yalign>0.5</yalign>
 224           <xpad>0</xpad>
 225           <ypad>0</ypad>
 226           <child>
 227             <padding>0</padding>
 228             <expand>False</expand>
 229             <fill>False</fill>
 230           </child>
 231         </widget>
 232
 233         <widget>
 234           <class>GtkLabel</class>
 235           <name>clientIdLabel</name>
 236           <label></label>
 237           <justify>GTK_JUSTIFY_LEFT</justify>
 238           <wrap>False</wrap>
 239           <xalign>0.5</xalign>
 240           <yalign>0.5</yalign>
 241           <xpad>0</xpad>
 242           <ypad>0</ypad>
 243           <child>
 244             <padding>0</padding>
 245             <expand>True</expand>
 246             <fill>True</fill>
 247           </child>
 248         </widget>
 249
 250         <widget>
 251           <class>GtkButton</class>
 252           <name>registerClientButton</name>
 253           <can_focus>True</can_focus>
 254           <label>Register</label>
 255           <relief>GTK_RELIEF_NORMAL</relief>
 256           <child>
 257             <padding>0</padding>
 258             <expand>False</expand>
 259             <fill>False</fill>
 260           </child>
 261         </widget>
 262
 263         <widget>
 264           <class>GtkButton</class>
 265           <name>unregisterClientButton</name>
 266           <can_focus>True</can_focus>
 267           <label>Unregister</label>
 268           <relief>GTK_RELIEF_NORMAL</relief>
 269           <child>
 270             <padding>0</padding>
 271             <expand>False</expand>
 272             <fill>False</fill>
 273           </child>
 274         </widget>
 275       </widget>
 276     </widget>
 277
 278     <widget>
 279       <class>GtkVBox</class>
 280       <name>vbox5</name>
 281       <homogeneous>True</homogeneous>
 282       <spacing>0</spacing>
 283       <child>
 284         <padding>0</padding>
 285         <expand>True</expand>
 286         <fill>True</fill>
 287       </child>
 288
 289       <widget>
 290         <class>GtkFrame</class>
 291         <name>frame3</name>
 292         <border_width>4</border_width>
 293         <label>Subscriptions</label>
 294         <label_xalign>0</label_xalign>
 295         <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 296         <child>
 297           <padding>0</padding>
 298           <expand>True</expand>
 299           <fill>True</fill>
 300         </child>
 301
 302         <widget>
 303           <class>GtkHBox</class>
 304           <name>hbox6</name>
 305           <homogeneous>False</homogeneous>
 306           <spacing>0</spacing>
 307
 308           <widget>
 309             <class>GtkScrolledWindow</class>
 310             <name>scrolledwindow3</name>
 311             <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
 312             <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
 313             <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
 314             <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
 315             <child>
 316               <padding>0</padding>
 317               <expand>True</expand>
 318               <fill>True</fill>
 319             </child>
 320
 321             <widget>
 322               <class>GtkCList</class>
 323               <name>subscriptionCList</name>
 324               <can_focus>True</can_focus>
 325               <columns>1</columns>
 326               <column_widths>80</column_widths>
 327               <selection_mode>GTK_SELECTION_SINGLE</selection_mode>
 328               <show_titles>False</show_titles>
 329               <shadow_type>GTK_SHADOW_IN</shadow_type>
 330
 331               <widget>
 332                 <class>GtkLabel</class>
 333                 <child_name>CList:title</child_name>
 334                 <name>label7</name>
 335                 <label>label7</label>
 336                 <justify>GTK_JUSTIFY_CENTER</justify>
 337                 <wrap>False</wrap>
 338                 <xalign>0.5</xalign>
 339                 <yalign>0.5</yalign>
 340                 <xpad>0</xpad>
 341                 <ypad>0</ypad>
 342               </widget>
 343             </widget>
 344           </widget>
 345
 346           <widget>
 347             <class>GtkButton</class>
 348             <name>showSubscriptionWindowButton</name>
 349             <can_focus>True</can_focus>
 350             <label>Subscribe ...</label>
 351             <relief>GTK_RELIEF_NORMAL</relief>
 352             <child>
 353               <padding>0</padding>
 354               <expand>False</expand>
 355               <fill>False</fill>
 356             </child>
 357           </widget>
 358         </widget>
 359       </widget>
 360
 361       <widget>
 362         <class>GtkFrame</class>
 363         <name>frame2</name>
 364         <border_width>4</border_width>
 365         <label>Hints</label>
 366         <label_xalign>0</label_xalign>
 367         <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 368         <child>
 369           <padding>0</padding>
 370           <expand>True</expand>
 371           <fill>True</fill>
 372         </child>
 373
 374         <widget>
 375           <class>GtkVBox</class>
 376           <name>vbox6</name>
 377           <homogeneous>False</homogeneous>
 378           <spacing>0</spacing>
 379
 380           <widget>
 381             <class>GtkScrolledWindow</class>
 382             <name>scrolledwindow2</name>
 383             <width>400</width>
 384             <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
 385             <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
 386             <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
 387             <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
 388             <child>
 389               <padding>0</padding>
 390               <expand>True</expand>
 391               <fill>True</fill>
 392             </child>
 393
 394             <widget>
 395               <class>GtkCList</class>
 396               <name>hintsCList</name>
 397               <can_focus>True</can_focus>
 398               <columns>1</columns>
 399               <column_widths>80</column_widths>
 400               <selection_mode>GTK_SELECTION_SINGLE</selection_mode>
 401               <show_titles>False</show_titles>
 402               <shadow_type>GTK_SHADOW_IN</shadow_type>
 403
 404               <widget>
 405                 <class>GtkLabel</class>
 406                 <child_name>CList:title</child_name>
 407                 <name>label6</name>
 408                 <label>label6</label>
 409                 <justify>GTK_JUSTIFY_CENTER</justify>
 410                 <wrap>False</wrap>
 411                 <xalign>0.5</xalign>
 412                 <yalign>0.5</yalign>
 413                 <xpad>0</xpad>
 414                 <ypad>0</ypad>
 415               </widget>
 416             </widget>
 417           </widget>
 418         </widget>
 419       </widget>
 420     </widget>
 421
 422     <widget>
 423       <class>GtkStatusbar</class>
 424       <name>mainWindowStatusBar</name>
 425       <child>
 426         <padding>0</padding>
 427         <expand>False</expand>
 428         <fill>False</fill>
 429       </child>
 430     </widget>
 431   </widget>
 432 </widget>
 433
 434 <widget>
 435   <class>GtkWindow</class>
 436   <name>subscribeWindow</name>
 437   <visible>False</visible>
 438   <title>Hbugs: subscribe ...</title>
 439   <type>GTK_WINDOW_TOPLEVEL</type>
 440   <position>GTK_WIN_POS_NONE</position>
 441   <modal>False</modal>
 442   <allow_shrink>False</allow_shrink>
 443   <allow_grow>True</allow_grow>
 444   <auto_shrink>False</auto_shrink>
 445
 446   <widget>
 447     <class>GtkVBox</class>
 448     <name>vbox8</name>
 449     <homogeneous>False</homogeneous>
 450     <spacing>0</spacing>
 451
 452     <widget>
 453       <class>GtkButton</class>
 454       <name>listTutorsButton</name>
 455       <can_focus>True</can_focus>
 456       <label>Refresh</label>
 457       <relief>GTK_RELIEF_NORMAL</relief>
 458       <child>
 459         <padding>0</padding>
 460         <expand>False</expand>
 461         <fill>False</fill>
 462       </child>
 463     </widget>
 464
 465     <widget>
 466       <class>GtkScrolledWindow</class>
 467       <name>scrolledwindow4</name>
 468       <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
 469       <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
 470       <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
 471       <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
 472       <child>
 473         <padding>0</padding>
 474         <expand>True</expand>
 475         <fill>True</fill>
 476       </child>
 477
 478       <widget>
 479         <class>GtkCList</class>
 480         <name>tutorsCList</name>
 481         <width>600</width>
 482         <height>300</height>
 483         <can_focus>True</can_focus>
 484         <columns>2</columns>
 485         <column_widths>205,80</column_widths>
 486         <selection_mode>GTK_SELECTION_EXTENDED</selection_mode>
 487         <show_titles>True</show_titles>
 488         <shadow_type>GTK_SHADOW_IN</shadow_type>
 489
 490         <widget>
 491           <class>GtkLabel</class>
 492           <child_name>CList:title</child_name>
 493           <name>label12</name>
 494           <label>Id</label>
 495           <justify>GTK_JUSTIFY_CENTER</justify>
 496           <wrap>False</wrap>
 497           <xalign>0.5</xalign>
 498           <yalign>0.5</yalign>
 499           <xpad>0</xpad>
 500           <ypad>0</ypad>
 501         </widget>
 502
 503         <widget>
 504           <class>GtkLabel</class>
 505           <child_name>CList:title</child_name>
 506           <name>label13</name>
 507           <label>Description</label>
 508           <justify>GTK_JUSTIFY_CENTER</justify>
 509           <wrap>False</wrap>
 510           <xalign>0.5</xalign>
 511           <yalign>0.5</yalign>
 512           <xpad>0</xpad>
 513           <ypad>0</ypad>
 514         </widget>
 515       </widget>
 516     </widget>
 517
 518     <widget>
 519       <class>GtkHBox</class>
 520       <name>hbox5</name>
 521       <homogeneous>False</homogeneous>
 522       <spacing>0</spacing>
 523       <child>
 524         <padding>0</padding>
 525         <expand>False</expand>
 526         <fill>False</fill>
 527       </child>
 528
 529       <widget>
 530         <class>GtkButton</class>
 531         <name>subscribeButton</name>
 532         <can_focus>True</can_focus>
 533         <label>Subscribe to Selected</label>
 534         <relief>GTK_RELIEF_NORMAL</relief>
 535         <child>
 536           <padding>0</padding>
 537           <expand>True</expand>
 538           <fill>True</fill>
 539         </child>
 540       </widget>
 541
 542       <widget>
 543         <class>GtkButton</class>
 544         <name>subscribeAllButton</name>
 545         <can_focus>True</can_focus>
 546         <label>Subscribe to All</label>
 547         <relief>GTK_RELIEF_NORMAL</relief>
 548         <child>
 549           <padding>0</padding>
 550           <expand>True</expand>
 551           <fill>True</fill>
 552         </child>
 553       </widget>
 554     </widget>
 555
 556     <widget>
 557       <class>GtkStatusbar</class>
 558       <name>subscribeWindowStatusBar</name>
 559       <child>
 560         <padding>0</padding>
 561         <expand>False</expand>
 562         <fill>False</fill>
 563       </child>
 564     </widget>
 565   </widget>
 566 </widget>
 567
 568 <widget>
 569   <class>GtkDialog</class>
 570   <name>messageDialog</name>
 571   <visible>False</visible>
 572   <title>Message</title>
 573   <type>GTK_WINDOW_TOPLEVEL</type>
 574   <position>GTK_WIN_POS_CENTER</position>
 575   <modal>True</modal>
 576   <default_width>220</default_width>
 577   <default_height>150</default_height>
 578   <allow_shrink>True</allow_shrink>
 579   <allow_grow>True</allow_grow>
 580   <auto_shrink>False</auto_shrink>
 581
 582   <widget>
 583     <class>GtkVBox</class>
 584     <child_name>Dialog:vbox</child_name>
 585     <name>dialogVbox1</name>
 586     <homogeneous>False</homogeneous>
 587     <spacing>0</spacing>
 588
 589     <widget>
 590       <class>GtkHBox</class>
 591       <child_name>Dialog:action_area</child_name>
 592       <name>dialogAction_area1</name>
 593       <border_width>2</border_width>
 594       <homogeneous>True</homogeneous>
 595       <spacing>5</spacing>
 596       <child>
 597         <padding>0</padding>
 598         <expand>False</expand>
 599         <fill>True</fill>
 600         <pack>GTK_PACK_END</pack>
 601       </child>
 602
 603       <widget>
 604         <class>GtkButton</class>
 605         <name>okDialogButton</name>
 606         <can_focus>True</can_focus>
 607         <label>OK</label>
 608         <relief>GTK_RELIEF_NORMAL</relief>
 609         <child>
 610           <padding>0</padding>
 611           <expand>False</expand>
 612           <fill>True</fill>
 613         </child>
 614       </widget>
 615     </widget>
 616
 617     <widget>
 618       <class>GtkTable</class>
 619       <name>table1</name>
 620       <border_width>5</border_width>
 621       <rows>1</rows>
 622       <columns>1</columns>
 623       <homogeneous>False</homogeneous>
 624       <row_spacing>0</row_spacing>
 625       <column_spacing>0</column_spacing>
 626       <child>
 627         <padding>0</padding>
 628         <expand>True</expand>
 629         <fill>True</fill>
 630       </child>
 631
 632       <widget>
 633         <class>GtkLabel</class>
 634         <name>dialogLabel</name>
 635         <label></label>
 636         <justify>GTK_JUSTIFY_CENTER</justify>
 637         <wrap>True</wrap>
 638         <xalign>0.5</xalign>
 639         <yalign>0.5</yalign>
 640         <xpad>0</xpad>
 641         <ypad>0</ypad>
 642         <child>
 643           <left_attach>0</left_attach>
 644           <right_attach>1</right_attach>
 645           <top_attach>0</top_attach>
 646           <bottom_attach>1</bottom_attach>
 647           <xpad>0</xpad>
 648           <ypad>0</ypad>
 649           <xexpand>True</xexpand>
 650           <yexpand>True</yexpand>
 651           <xshrink>False</xshrink>
 652           <yshrink>False</yshrink>
 653           <xfill>True</xfill>
 654           <yfill>True</yfill>
 655         </child>
 656       </widget>
 657     </widget>
 658   </widget>
 659 </widget>
 660
 661 </GTK-Interface>