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>GtkVBox</class>
 304           <name>vbox7</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>frame4</name>
 364         <border_width>8</border_width>
 365         <label>DEBUG: state</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>GtkHBox</class>
 376           <name>hbox3</name>
 377           <homogeneous>False</homogeneous>
 378           <spacing>0</spacing>
 379
 380           <widget>
 381             <class>GtkScrolledWindow</class>
 382             <name>scrolledwindow5</name>
 383             <hscrollbar_policy>GTK_POLICY_NEVER</hscrollbar_policy>
 384             <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
 385             <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
 386             <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
 387             <child>
 388               <padding>0</padding>
 389               <expand>True</expand>
 390               <fill>True</fill>
 391             </child>
 392
 393             <widget>
 394               <class>GtkText</class>
 395               <name>stateText</name>
 396               <can_focus>True</can_focus>
 397               <editable>True</editable>
 398               <text></text>
 399             </widget>
 400           </widget>
 401
 402           <widget>
 403             <class>GtkButton</class>
 404             <name>stateChangeButton</name>
 405             <can_focus>True</can_focus>
 406             <label>send</label>
 407             <relief>GTK_RELIEF_NORMAL</relief>
 408             <child>
 409               <padding>0</padding>
 410               <expand>False</expand>
 411               <fill>False</fill>
 412             </child>
 413           </widget>
 414         </widget>
 415       </widget>
 416
 417       <widget>
 418         <class>GtkFrame</class>
 419         <name>frame2</name>
 420         <border_width>4</border_width>
 421         <label>Hints</label>
 422         <label_xalign>0</label_xalign>
 423         <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 424         <child>
 425           <padding>0</padding>
 426           <expand>True</expand>
 427           <fill>True</fill>
 428         </child>
 429
 430         <widget>
 431           <class>GtkVBox</class>
 432           <name>vbox6</name>
 433           <homogeneous>False</homogeneous>
 434           <spacing>0</spacing>
 435
 436           <widget>
 437             <class>GtkScrolledWindow</class>
 438             <name>scrolledwindow2</name>
 439             <width>400</width>
 440             <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
 441             <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
 442             <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
 443             <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
 444             <child>
 445               <padding>0</padding>
 446               <expand>True</expand>
 447               <fill>True</fill>
 448             </child>
 449
 450             <widget>
 451               <class>GtkCList</class>
 452               <name>hintsCList</name>
 453               <can_focus>True</can_focus>
 454               <columns>1</columns>
 455               <column_widths>80</column_widths>
 456               <selection_mode>GTK_SELECTION_SINGLE</selection_mode>
 457               <show_titles>False</show_titles>
 458               <shadow_type>GTK_SHADOW_IN</shadow_type>
 459
 460               <widget>
 461                 <class>GtkLabel</class>
 462                 <child_name>CList:title</child_name>
 463                 <name>label6</name>
 464                 <label>label6</label>
 465                 <justify>GTK_JUSTIFY_CENTER</justify>
 466                 <wrap>False</wrap>
 467                 <xalign>0.5</xalign>
 468                 <yalign>0.5</yalign>
 469                 <xpad>0</xpad>
 470                 <ypad>0</ypad>
 471               </widget>
 472             </widget>
 473           </widget>
 474
 475           <widget>
 476             <class>GtkButton</class>
 477             <name>useHintButton</name>
 478             <can_focus>True</can_focus>
 479             <label>Use hint!</label>
 480             <relief>GTK_RELIEF_NORMAL</relief>
 481             <child>
 482               <padding>0</padding>
 483               <expand>False</expand>
 484               <fill>False</fill>
 485             </child>
 486           </widget>
 487         </widget>
 488       </widget>
 489     </widget>
 490
 491     <widget>
 492       <class>GtkStatusbar</class>
 493       <name>mainWindowStatusBar</name>
 494       <child>
 495         <padding>0</padding>
 496         <expand>False</expand>
 497         <fill>False</fill>
 498       </child>
 499     </widget>
 500   </widget>
 501 </widget>
 502
 503 <widget>
 504   <class>GtkWindow</class>
 505   <name>subscribeWindow</name>
 506   <visible>False</visible>
 507   <title>Hbugs: subscribe ...</title>
 508   <type>GTK_WINDOW_TOPLEVEL</type>
 509   <position>GTK_WIN_POS_NONE</position>
 510   <modal>False</modal>
 511   <allow_shrink>False</allow_shrink>
 512   <allow_grow>True</allow_grow>
 513   <auto_shrink>False</auto_shrink>
 514
 515   <widget>
 516     <class>GtkVBox</class>
 517     <name>vbox8</name>
 518     <homogeneous>False</homogeneous>
 519     <spacing>0</spacing>
 520
 521     <widget>
 522       <class>GtkButton</class>
 523       <name>listTutorsButton</name>
 524       <can_focus>True</can_focus>
 525       <label>Refresh</label>
 526       <relief>GTK_RELIEF_NORMAL</relief>
 527       <child>
 528         <padding>0</padding>
 529         <expand>False</expand>
 530         <fill>False</fill>
 531       </child>
 532     </widget>
 533
 534     <widget>
 535       <class>GtkScrolledWindow</class>
 536       <name>scrolledwindow4</name>
 537       <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
 538       <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
 539       <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
 540       <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
 541       <child>
 542         <padding>0</padding>
 543         <expand>True</expand>
 544         <fill>True</fill>
 545       </child>
 546
 547       <widget>
 548         <class>GtkCList</class>
 549         <name>tutorsCList</name>
 550         <width>600</width>
 551         <height>300</height>
 552         <can_focus>True</can_focus>
 553         <columns>2</columns>
 554         <column_widths>205,80</column_widths>
 555         <selection_mode>GTK_SELECTION_EXTENDED</selection_mode>
 556         <show_titles>True</show_titles>
 557         <shadow_type>GTK_SHADOW_IN</shadow_type>
 558
 559         <widget>
 560           <class>GtkLabel</class>
 561           <child_name>CList:title</child_name>
 562           <name>label12</name>
 563           <label>Id</label>
 564           <justify>GTK_JUSTIFY_CENTER</justify>
 565           <wrap>False</wrap>
 566           <xalign>0.5</xalign>
 567           <yalign>0.5</yalign>
 568           <xpad>0</xpad>
 569           <ypad>0</ypad>
 570         </widget>
 571
 572         <widget>
 573           <class>GtkLabel</class>
 574           <child_name>CList:title</child_name>
 575           <name>label13</name>
 576           <label>Description</label>
 577           <justify>GTK_JUSTIFY_CENTER</justify>
 578           <wrap>False</wrap>
 579           <xalign>0.5</xalign>
 580           <yalign>0.5</yalign>
 581           <xpad>0</xpad>
 582           <ypad>0</ypad>
 583         </widget>
 584       </widget>
 585     </widget>
 586
 587     <widget>
 588       <class>GtkButton</class>
 589       <name>subscribeButton</name>
 590       <can_focus>True</can_focus>
 591       <label>Subscribe to selected</label>
 592       <relief>GTK_RELIEF_NORMAL</relief>
 593       <child>
 594         <padding>0</padding>
 595         <expand>False</expand>
 596         <fill>False</fill>
 597       </child>
 598     </widget>
 599
 600     <widget>
 601       <class>GtkStatusbar</class>
 602       <name>subscribeWindowStatusBar</name>
 603       <child>
 604         <padding>0</padding>
 605         <expand>False</expand>
 606         <fill>False</fill>
 607       </child>
 608     </widget>
 609   </widget>
 610 </widget>
 611
 612 <widget>
 613   <class>GtkDialog</class>
 614   <name>messageDialog</name>
 615   <visible>False</visible>
 616   <title>Message</title>
 617   <type>GTK_WINDOW_TOPLEVEL</type>
 618   <position>GTK_WIN_POS_CENTER</position>
 619   <modal>True</modal>
 620   <default_width>220</default_width>
 621   <default_height>150</default_height>
 622   <allow_shrink>True</allow_shrink>
 623   <allow_grow>True</allow_grow>
 624   <auto_shrink>False</auto_shrink>
 625
 626   <widget>
 627     <class>GtkVBox</class>
 628     <child_name>Dialog:vbox</child_name>
 629     <name>dialogVbox1</name>
 630     <homogeneous>False</homogeneous>
 631     <spacing>0</spacing>
 632
 633     <widget>
 634       <class>GtkHBox</class>
 635       <child_name>Dialog:action_area</child_name>
 636       <name>dialogAction_area1</name>
 637       <border_width>2</border_width>
 638       <homogeneous>True</homogeneous>
 639       <spacing>5</spacing>
 640       <child>
 641         <padding>0</padding>
 642         <expand>False</expand>
 643         <fill>True</fill>
 644         <pack>GTK_PACK_END</pack>
 645       </child>
 646
 647       <widget>
 648         <class>GtkButton</class>
 649         <name>okDialogButton</name>
 650         <can_focus>True</can_focus>
 651         <label>OK</label>
 652         <relief>GTK_RELIEF_NORMAL</relief>
 653         <child>
 654           <padding>0</padding>
 655           <expand>False</expand>
 656           <fill>True</fill>
 657         </child>
 658       </widget>
 659     </widget>
 660
 661     <widget>
 662       <class>GtkTable</class>
 663       <name>table1</name>
 664       <border_width>5</border_width>
 665       <rows>1</rows>
 666       <columns>1</columns>
 667       <homogeneous>False</homogeneous>
 668       <row_spacing>0</row_spacing>
 669       <column_spacing>0</column_spacing>
 670       <child>
 671         <padding>0</padding>
 672         <expand>True</expand>
 673         <fill>True</fill>
 674       </child>
 675
 676       <widget>
 677         <class>GtkLabel</class>
 678         <name>dialogLabel</name>
 679         <label></label>
 680         <justify>GTK_JUSTIFY_CENTER</justify>
 681         <wrap>True</wrap>
 682         <xalign>0.5</xalign>
 683         <yalign>0.5</yalign>
 684         <xpad>0</xpad>
 685         <ypad>0</ypad>
 686         <child>
 687           <left_attach>0</left_attach>
 688           <right_attach>1</right_attach>
 689           <top_attach>0</top_attach>
 690           <bottom_attach>1</bottom_attach>
 691           <xpad>0</xpad>
 692           <ypad>0</ypad>
 693           <xexpand>True</xexpand>
 694           <yexpand>True</yexpand>
 695           <xshrink>False</xshrink>
 696           <yshrink>False</yshrink>
 697           <xfill>True</xfill>
 698           <yfill>True</yfill>
 699         </child>
 700       </widget>
 701     </widget>
 702   </widget>
 703 </widget>
 704
 705 </GTK-Interface>