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>
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>
22 <allow_shrink>False</allow_shrink>
23 <allow_grow>True</allow_grow>
24 <auto_shrink>False</auto_shrink>
27 <class>GtkVBox</class>
29 <homogeneous>False</homogeneous>
33 <class>GtkMenuBar</class>
35 <shadow_type>GTK_SHADOW_OUT</shadow_type>
38 <expand>False</expand>
43 <class>GtkMenuItem</class>
44 <name>toolsMenu</name>
46 <right_justify>False</right_justify>
49 <class>GtkMenu</class>
50 <name>toolsMenu_menu</name>
53 <class>GtkCheckMenuItem</class>
54 <name>toggleDebuggingMenuItem</name>
55 <label>Debugging</label>
56 <active>False</active>
57 <always_show_toggle>True</always_show_toggle>
64 <class>GtkHBox</class>
66 <homogeneous>False</homogeneous>
70 <expand>False</expand>
75 <class>GtkLabel</class>
77 <label>My URL:</label>
78 <justify>GTK_JUSTIFY_CENTER</justify>
86 <expand>False</expand>
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>
102 <expand>True</expand>
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>
116 <expand>False</expand>
122 <class>GtkButton</class>
123 <name>testLocalHttpDaemonButton</name>
124 <can_focus>True</can_focus>
126 <relief>GTK_RELIEF_NORMAL</relief>
129 <expand>False</expand>
136 <class>GtkVBox</class>
138 <homogeneous>False</homogeneous>
142 <expand>False</expand>
147 <class>GtkHBox</class>
149 <homogeneous>False</homogeneous>
153 <expand>False</expand>
158 <class>GtkLabel</class>
160 <label>Broker:</label>
161 <justify>GTK_JUSTIFY_CENTER</justify>
169 <expand>False</expand>
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>
185 <expand>True</expand>
191 <class>GtkButton</class>
192 <name>testBrokerButton</name>
193 <can_focus>True</can_focus>
195 <relief>GTK_RELIEF_NORMAL</relief>
198 <expand>False</expand>
205 <class>GtkHBox</class>
207 <homogeneous>False</homogeneous>
211 <expand>False</expand>
216 <class>GtkLabel</class>
218 <label>Client ID:</label>
219 <justify>GTK_JUSTIFY_CENTER</justify>
227 <expand>False</expand>
233 <class>GtkLabel</class>
234 <name>clientIdLabel</name>
236 <justify>GTK_JUSTIFY_LEFT</justify>
244 <expand>True</expand>
250 <class>GtkButton</class>
251 <name>registerClientButton</name>
252 <can_focus>True</can_focus>
253 <label>Register</label>
254 <relief>GTK_RELIEF_NORMAL</relief>
257 <expand>False</expand>
263 <class>GtkButton</class>
264 <name>unregisterClientButton</name>
265 <can_focus>True</can_focus>
266 <label>Unregister</label>
267 <relief>GTK_RELIEF_NORMAL</relief>
270 <expand>False</expand>
278 <class>GtkVBox</class>
280 <homogeneous>True</homogeneous>
284 <expand>True</expand>
289 <class>GtkFrame</class>
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>
297 <expand>True</expand>
302 <class>GtkVBox</class>
304 <homogeneous>False</homogeneous>
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>
316 <expand>True</expand>
321 <class>GtkCList</class>
322 <name>subscriptionCList</name>
323 <can_focus>True</can_focus>
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>
331 <class>GtkLabel</class>
332 <child_name>CList:title</child_name>
334 <label>label7</label>
335 <justify>GTK_JUSTIFY_CENTER</justify>
346 <class>GtkButton</class>
347 <name>showSubscriptionWindowButton</name>
348 <can_focus>True</can_focus>
349 <label>Subscribe ...</label>
350 <relief>GTK_RELIEF_NORMAL</relief>
353 <expand>False</expand>
361 <class>GtkFrame</class>
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>
369 <expand>True</expand>
374 <class>GtkHBox</class>
376 <homogeneous>False</homogeneous>
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>
388 <expand>True</expand>
393 <class>GtkText</class>
394 <name>stateText</name>
395 <can_focus>True</can_focus>
396 <editable>True</editable>
402 <class>GtkButton</class>
403 <name>stateChangeButton</name>
404 <can_focus>True</can_focus>
406 <relief>GTK_RELIEF_NORMAL</relief>
409 <expand>False</expand>
417 <class>GtkFrame</class>
419 <border_width>4</border_width>
421 <label_xalign>0</label_xalign>
422 <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
425 <expand>True</expand>
430 <class>GtkVBox</class>
432 <homogeneous>False</homogeneous>
436 <class>GtkScrolledWindow</class>
437 <name>scrolledwindow2</name>
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>
445 <expand>True</expand>
450 <class>GtkCList</class>
451 <name>hintsCList</name>
452 <can_focus>True</can_focus>
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>
460 <class>GtkLabel</class>
461 <child_name>CList:title</child_name>
463 <label>label6</label>
464 <justify>GTK_JUSTIFY_CENTER</justify>
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>
482 <expand>False</expand>
491 <class>GtkStatusbar</class>
492 <name>mainWindowStatusBar</name>
495 <expand>False</expand>
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>
510 <allow_shrink>False</allow_shrink>
511 <allow_grow>True</allow_grow>
512 <auto_shrink>False</auto_shrink>
515 <class>GtkVBox</class>
517 <homogeneous>False</homogeneous>
521 <class>GtkButton</class>
522 <name>listTutorsButton</name>
523 <can_focus>True</can_focus>
524 <label>Refresh</label>
525 <relief>GTK_RELIEF_NORMAL</relief>
528 <expand>False</expand>
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>
542 <expand>True</expand>
547 <class>GtkCList</class>
548 <name>tutorsCList</name>
551 <can_focus>True</can_focus>
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>
559 <class>GtkLabel</class>
560 <child_name>CList:title</child_name>
563 <justify>GTK_JUSTIFY_CENTER</justify>
572 <class>GtkLabel</class>
573 <child_name>CList:title</child_name>
575 <label>Description</label>
576 <justify>GTK_JUSTIFY_CENTER</justify>
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>
594 <expand>False</expand>
600 <class>GtkStatusbar</class>
601 <name>subscribeWindowStatusBar</name>
604 <expand>False</expand>
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>
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>
626 <class>GtkVBox</class>
627 <child_name>Dialog:vbox</child_name>
628 <name>dialogVbox1</name>
629 <homogeneous>False</homogeneous>
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>
641 <expand>False</expand>
643 <pack>GTK_PACK_END</pack>
647 <class>GtkButton</class>
648 <name>okDialogButton</name>
649 <can_focus>True</can_focus>
651 <relief>GTK_RELIEF_NORMAL</relief>
654 <expand>False</expand>
661 <class>GtkTable</class>
663 <border_width>5</border_width>
666 <homogeneous>False</homogeneous>
667 <row_spacing>0</row_spacing>
668 <column_spacing>0</column_spacing>
671 <expand>True</expand>
676 <class>GtkLabel</class>
677 <name>dialogLabel</name>
679 <justify>GTK_JUSTIFY_CENTER</justify>
686 <left_attach>0</left_attach>
687 <right_attach>1</right_attach>
688 <top_attach>0</top_attach>
689 <bottom_attach>1</bottom_attach>
692 <xexpand>True</xexpand>
693 <yexpand>True</yexpand>
694 <xshrink>False</xshrink>
695 <yshrink>False</yshrink>