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       <visible>False</visible>
  37       <shadow_type>GTK_SHADOW_OUT</shadow_type>
  38       <child>
  39         <padding>0</padding>
  40         <expand>False</expand>
  41         <fill>False</fill>
  42       </child>
  43
  44       <widget>
  45         <class>GtkMenuItem</class>
  46         <name>toolsMenu</name>
  47         <label>Tools</label>
  48         <right_justify>False</right_justify>
  49
  50         <widget>
  51           <class>GtkMenu</class>
  52           <name>toolsMenu_menu</name>
  53
  54           <widget>
  55             <class>GtkCheckMenuItem</class>
  56             <name>toggleDebuggingMenuItem</name>
  57             <label>Debugging</label>
  58             <active>False</active>
  59             <always_show_toggle>True</always_show_toggle>
  60           </widget>
  61         </widget>
  62       </widget>
  63     </widget>
  64
  65     <widget>
  66       <class>GtkHBox</class>
  67       <name>hbox4</name>
  68       <homogeneous>False</homogeneous>
  69       <spacing>2</spacing>
  70       <child>
  71         <padding>0</padding>
  72         <expand>False</expand>
  73         <fill>False</fill>
  74       </child>
  75
  76       <widget>
  77         <class>GtkLabel</class>
  78         <name>label11</name>
  79         <label>My URL:</label>
  80         <justify>GTK_JUSTIFY_CENTER</justify>
  81         <wrap>False</wrap>
  82         <xalign>0.5</xalign>
  83         <yalign>0.5</yalign>
  84         <xpad>0</xpad>
  85         <ypad>0</ypad>
  86         <child>
  87           <padding>0</padding>
  88           <expand>False</expand>
  89           <fill>False</fill>
  90         </child>
  91       </widget>
  92
  93       <widget>
  94         <class>GtkEntry</class>
  95         <name>clientUrlEntry</name>
  96         <tooltip>Local HTTP daemon URL</tooltip>
  97         <can_focus>True</can_focus>
  98         <editable>False</editable>
  99         <text_visible>True</text_visible>
 100         <text_max_length>0</text_max_length>
 101         <text></text>
 102         <child>
 103           <padding>0</padding>
 104           <expand>True</expand>
 105           <fill>True</fill>
 106         </child>
 107       </widget>
 108
 109       <widget>
 110         <class>GtkButton</class>
 111         <name>startLocalHttpDaemonButton</name>
 112         <tooltip>Start the local HTTP daemon listening on the specified URL</tooltip>
 113         <can_focus>True</can_focus>
 114         <label>Start!</label>
 115         <relief>GTK_RELIEF_NORMAL</relief>
 116         <child>
 117           <padding>0</padding>
 118           <expand>False</expand>
 119           <fill>False</fill>
 120         </child>
 121       </widget>
 122
 123       <widget>
 124         <class>GtkButton</class>
 125         <name>testLocalHttpDaemonButton</name>
 126         <can_focus>True</can_focus>
 127         <label>Test!</label>
 128         <relief>GTK_RELIEF_NORMAL</relief>
 129         <child>
 130           <padding>0</padding>
 131           <expand>False</expand>
 132           <fill>False</fill>
 133         </child>
 134       </widget>
 135     </widget>
 136
 137     <widget>
 138       <class>GtkVBox</class>
 139       <name>vbox4</name>
 140       <homogeneous>False</homogeneous>
 141       <spacing>0</spacing>
 142       <child>
 143         <padding>0</padding>
 144         <expand>False</expand>
 145         <fill>True</fill>
 146       </child>
 147
 148       <widget>
 149         <class>GtkHBox</class>
 150         <name>hbox1</name>
 151         <homogeneous>False</homogeneous>
 152         <spacing>2</spacing>
 153         <child>
 154           <padding>0</padding>
 155           <expand>False</expand>
 156           <fill>False</fill>
 157         </child>
 158
 159         <widget>
 160           <class>GtkLabel</class>
 161           <name>label1</name>
 162           <label>Broker:</label>
 163           <justify>GTK_JUSTIFY_CENTER</justify>
 164           <wrap>False</wrap>
 165           <xalign>0.5</xalign>
 166           <yalign>0.5</yalign>
 167           <xpad>0</xpad>
 168           <ypad>0</ypad>
 169           <child>
 170             <padding>0</padding>
 171             <expand>False</expand>
 172             <fill>False</fill>
 173           </child>
 174         </widget>
 175
 176         <widget>
 177           <class>GtkEntry</class>
 178           <name>brokerUrlEntry</name>
 179           <tooltip>HBugs broker URL</tooltip>
 180           <can_focus>True</can_focus>
 181           <editable>False</editable>
 182           <text_visible>True</text_visible>
 183           <text_max_length>0</text_max_length>
 184           <text></text>
 185           <child>
 186             <padding>0</padding>
 187             <expand>True</expand>
 188             <fill>True</fill>
 189           </child>
 190         </widget>
 191
 192         <widget>
 193           <class>GtkButton</class>
 194           <name>testBrokerButton</name>
 195           <can_focus>True</can_focus>
 196           <label>Test!</label>
 197           <relief>GTK_RELIEF_NORMAL</relief>
 198           <child>
 199             <padding>0</padding>
 200             <expand>False</expand>
 201             <fill>False</fill>
 202           </child>
 203         </widget>
 204       </widget>
 205
 206       <widget>
 207         <class>GtkHBox</class>
 208         <name>hbox2</name>
 209         <homogeneous>False</homogeneous>
 210         <spacing>2</spacing>
 211         <child>
 212           <padding>0</padding>
 213           <expand>False</expand>
 214           <fill>False</fill>
 215         </child>
 216
 217         <widget>
 218           <class>GtkLabel</class>
 219           <name>label2</name>
 220           <visible>False</visible>
 221           <label>Client ID:</label>
 222           <justify>GTK_JUSTIFY_CENTER</justify>
 223           <wrap>False</wrap>
 224           <xalign>0.5</xalign>
 225           <yalign>0.5</yalign>
 226           <xpad>0</xpad>
 227           <ypad>0</ypad>
 228           <child>
 229             <padding>0</padding>
 230             <expand>False</expand>
 231             <fill>False</fill>
 232           </child>
 233         </widget>
 234
 235         <widget>
 236           <class>GtkLabel</class>
 237           <name>clientIdLabel</name>
 238           <visible>False</visible>
 239           <label></label>
 240           <justify>GTK_JUSTIFY_LEFT</justify>
 241           <wrap>False</wrap>
 242           <xalign>0.5</xalign>
 243           <yalign>0.5</yalign>
 244           <xpad>0</xpad>
 245           <ypad>0</ypad>
 246           <child>
 247             <padding>0</padding>
 248             <expand>True</expand>
 249             <fill>True</fill>
 250           </child>
 251         </widget>
 252
 253         <widget>
 254           <class>GtkButton</class>
 255           <name>registerClientButton</name>
 256           <can_focus>True</can_focus>
 257           <label>(Re)Register</label>
 258           <relief>GTK_RELIEF_NORMAL</relief>
 259           <child>
 260             <padding>0</padding>
 261             <expand>False</expand>
 262             <fill>False</fill>
 263           </child>
 264         </widget>
 265       </widget>
 266     </widget>
 267
 268     <widget>
 269       <class>GtkVPaned</class>
 270       <name>vpaned1</name>
 271       <handle_size>10</handle_size>
 272       <gutter_size>6</gutter_size>
 273       <position>0</position>
 274       <child>
 275         <padding>0</padding>
 276         <expand>True</expand>
 277         <fill>True</fill>
 278       </child>
 279
 280       <widget>
 281         <class>GtkFrame</class>
 282         <name>frame3</name>
 283         <border_width>4</border_width>
 284         <label>Subscriptions</label>
 285         <label_xalign>0</label_xalign>
 286         <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 287         <child>
 288           <shrink>False</shrink>
 289           <resize>False</resize>
 290         </child>
 291
 292         <widget>
 293           <class>GtkHBox</class>
 294           <name>hbox6</name>
 295           <homogeneous>False</homogeneous>
 296           <spacing>2</spacing>
 297
 298           <widget>
 299             <class>GtkScrolledWindow</class>
 300             <name>scrolledwindow3</name>
 301             <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
 302             <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
 303             <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
 304             <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
 305             <child>
 306               <padding>0</padding>
 307               <expand>True</expand>
 308               <fill>True</fill>
 309             </child>
 310
 311             <widget>
 312               <class>GtkCList</class>
 313               <name>subscriptionCList</name>
 314               <can_focus>True</can_focus>
 315               <columns>1</columns>
 316               <column_widths>80</column_widths>
 317               <selection_mode>GTK_SELECTION_SINGLE</selection_mode>
 318               <show_titles>False</show_titles>
 319               <shadow_type>GTK_SHADOW_IN</shadow_type>
 320
 321               <widget>
 322                 <class>GtkLabel</class>
 323                 <child_name>CList:title</child_name>
 324                 <name>label7</name>
 325                 <label>label7</label>
 326                 <justify>GTK_JUSTIFY_CENTER</justify>
 327                 <wrap>False</wrap>
 328                 <xalign>0.5</xalign>
 329                 <yalign>0.5</yalign>
 330                 <xpad>0</xpad>
 331                 <ypad>0</ypad>
 332               </widget>
 333             </widget>
 334           </widget>
 335
 336           <widget>
 337             <class>GtkFixed</class>
 338             <name>fixed1</name>
 339             <child>
 340               <padding>0</padding>
 341               <expand>False</expand>
 342               <fill>False</fill>
 343             </child>
 344
 345             <widget>
 346               <class>GtkButton</class>
 347               <name>showSubscriptionWindowButton</name>
 348               <x>0</x>
 349               <y>0</y>
 350               <width>0</width>
 351               <height>0</height>
 352               <can_focus>True</can_focus>
 353               <label>Subscribe ...</label>
 354               <relief>GTK_RELIEF_NORMAL</relief>
 355             </widget>
 356           </widget>
 357         </widget>
 358       </widget>
 359
 360       <widget>
 361         <class>GtkFrame</class>
 362         <name>frame2</name>
 363         <border_width>4</border_width>
 364         <height>250</height>
 365         <label>Hints</label>
 366         <label_xalign>0</label_xalign>
 367         <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 368         <child>
 369           <shrink>True</shrink>
 370           <resize>True</resize>
 371         </child>
 372
 373         <widget>
 374           <class>GtkVBox</class>
 375           <name>vbox6</name>
 376           <homogeneous>False</homogeneous>
 377           <spacing>0</spacing>
 378
 379           <widget>
 380             <class>GtkScrolledWindow</class>
 381             <name>scrolledwindow2</name>
 382             <width>400</width>
 383             <hscrollbar_policy>GTK_POLICY_ALWAYS</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>GtkCList</class>
 395               <name>hintsCList</name>
 396               <can_focus>True</can_focus>
 397               <columns>1</columns>
 398               <column_widths>80</column_widths>
 399               <selection_mode>GTK_SELECTION_SINGLE</selection_mode>
 400               <show_titles>False</show_titles>
 401               <shadow_type>GTK_SHADOW_IN</shadow_type>
 402
 403               <widget>
 404                 <class>GtkLabel</class>
 405                 <child_name>CList:title</child_name>
 406                 <name>label6</name>
 407                 <label>label6</label>
 408                 <justify>GTK_JUSTIFY_CENTER</justify>
 409                 <wrap>False</wrap>
 410                 <xalign>0.5</xalign>
 411                 <yalign>0.5</yalign>
 412                 <xpad>0</xpad>
 413                 <ypad>0</ypad>
 414               </widget>
 415             </widget>
 416           </widget>
 417         </widget>
 418       </widget>
 419     </widget>
 420
 421     <widget>
 422       <class>GtkStatusbar</class>
 423       <name>mainWindowStatusBar</name>
 424       <visible>False</visible>
 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>