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