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 <visible>False</visible>
19 <title>Hbugs: your personal proof trainer!</title>
20 <type>GTK_WINDOW_TOPLEVEL</type>
21 <position>GTK_WIN_POS_NONE</position>
23 <allow_shrink>False</allow_shrink>
24 <allow_grow>True</allow_grow>
25 <auto_shrink>False</auto_shrink>
28 <class>GtkVBox</class>
30 <homogeneous>False</homogeneous>
34 <class>GtkMenuBar</class>
36 <shadow_type>GTK_SHADOW_OUT</shadow_type>
39 <expand>False</expand>
44 <class>GtkMenuItem</class>
45 <name>toolsMenu</name>
47 <right_justify>False</right_justify>
50 <class>GtkMenu</class>
51 <name>toolsMenu_menu</name>
54 <class>GtkCheckMenuItem</class>
55 <name>toggleDebuggingMenuItem</name>
56 <label>Debugging</label>
57 <active>False</active>
58 <always_show_toggle>True</always_show_toggle>
65 <class>GtkHBox</class>
67 <homogeneous>False</homogeneous>
71 <expand>False</expand>
76 <class>GtkLabel</class>
78 <label>My URL:</label>
79 <justify>GTK_JUSTIFY_CENTER</justify>
87 <expand>False</expand>
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>
103 <expand>True</expand>
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>
117 <expand>False</expand>
123 <class>GtkButton</class>
124 <name>testLocalHttpDaemonButton</name>
125 <can_focus>True</can_focus>
127 <relief>GTK_RELIEF_NORMAL</relief>
130 <expand>False</expand>
137 <class>GtkVBox</class>
139 <homogeneous>False</homogeneous>
143 <expand>False</expand>
148 <class>GtkHBox</class>
150 <homogeneous>False</homogeneous>
154 <expand>False</expand>
159 <class>GtkLabel</class>
161 <label>Broker:</label>
162 <justify>GTK_JUSTIFY_CENTER</justify>
170 <expand>False</expand>
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>
186 <expand>True</expand>
192 <class>GtkButton</class>
193 <name>testBrokerButton</name>
194 <can_focus>True</can_focus>
196 <relief>GTK_RELIEF_NORMAL</relief>
199 <expand>False</expand>
206 <class>GtkHBox</class>
208 <homogeneous>False</homogeneous>
212 <expand>False</expand>
217 <class>GtkLabel</class>
219 <label>Client ID:</label>
220 <justify>GTK_JUSTIFY_CENTER</justify>
228 <expand>False</expand>
234 <class>GtkLabel</class>
235 <name>clientIdLabel</name>
237 <justify>GTK_JUSTIFY_LEFT</justify>
245 <expand>True</expand>
251 <class>GtkButton</class>
252 <name>registerClientButton</name>
253 <can_focus>True</can_focus>
254 <label>Register</label>
255 <relief>GTK_RELIEF_NORMAL</relief>
258 <expand>False</expand>
264 <class>GtkButton</class>
265 <name>unregisterClientButton</name>
266 <can_focus>True</can_focus>
267 <label>Unregister</label>
268 <relief>GTK_RELIEF_NORMAL</relief>
271 <expand>False</expand>
279 <class>GtkVBox</class>
281 <homogeneous>True</homogeneous>
285 <expand>True</expand>
290 <class>GtkFrame</class>
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>
298 <expand>True</expand>
303 <class>GtkVBox</class>
305 <homogeneous>False</homogeneous>
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>
317 <expand>True</expand>
322 <class>GtkCList</class>
323 <name>subscriptionCList</name>
324 <can_focus>True</can_focus>
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>
332 <class>GtkLabel</class>
333 <child_name>CList:title</child_name>
335 <label>label7</label>
336 <justify>GTK_JUSTIFY_CENTER</justify>
347 <class>GtkButton</class>
348 <name>showSubscriptionWindowButton</name>
349 <can_focus>True</can_focus>
350 <label>Subscribe ...</label>
351 <relief>GTK_RELIEF_NORMAL</relief>
354 <expand>False</expand>
362 <class>GtkFrame</class>
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>
370 <expand>True</expand>
375 <class>GtkHBox</class>
377 <homogeneous>False</homogeneous>
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>
389 <expand>True</expand>
394 <class>GtkText</class>
395 <name>stateText</name>
396 <can_focus>True</can_focus>
397 <editable>True</editable>
403 <class>GtkButton</class>
404 <name>stateChangeButton</name>
405 <can_focus>True</can_focus>
407 <relief>GTK_RELIEF_NORMAL</relief>
410 <expand>False</expand>
418 <class>GtkFrame</class>
420 <border_width>4</border_width>
422 <label_xalign>0</label_xalign>
423 <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
426 <expand>True</expand>
431 <class>GtkVBox</class>
433 <homogeneous>False</homogeneous>
437 <class>GtkScrolledWindow</class>
438 <name>scrolledwindow2</name>
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>
446 <expand>True</expand>
451 <class>GtkCList</class>
452 <name>hintsCList</name>
453 <can_focus>True</can_focus>
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>
461 <class>GtkLabel</class>
462 <child_name>CList:title</child_name>
464 <label>label6</label>
465 <justify>GTK_JUSTIFY_CENTER</justify>
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>
483 <expand>False</expand>
492 <class>GtkStatusbar</class>
493 <name>mainWindowStatusBar</name>
496 <expand>False</expand>
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>
511 <allow_shrink>False</allow_shrink>
512 <allow_grow>True</allow_grow>
513 <auto_shrink>False</auto_shrink>
516 <class>GtkVBox</class>
518 <homogeneous>False</homogeneous>
522 <class>GtkButton</class>
523 <name>listTutorsButton</name>
524 <can_focus>True</can_focus>
525 <label>Refresh</label>
526 <relief>GTK_RELIEF_NORMAL</relief>
529 <expand>False</expand>
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>
543 <expand>True</expand>
548 <class>GtkCList</class>
549 <name>tutorsCList</name>
552 <can_focus>True</can_focus>
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>
560 <class>GtkLabel</class>
561 <child_name>CList:title</child_name>
564 <justify>GTK_JUSTIFY_CENTER</justify>
573 <class>GtkLabel</class>
574 <child_name>CList:title</child_name>
576 <label>Description</label>
577 <justify>GTK_JUSTIFY_CENTER</justify>
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>
595 <expand>False</expand>
601 <class>GtkStatusbar</class>
602 <name>subscribeWindowStatusBar</name>
605 <expand>False</expand>
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>
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>
627 <class>GtkVBox</class>
628 <child_name>Dialog:vbox</child_name>
629 <name>dialogVbox1</name>
630 <homogeneous>False</homogeneous>
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>
642 <expand>False</expand>
644 <pack>GTK_PACK_END</pack>
648 <class>GtkButton</class>
649 <name>okDialogButton</name>
650 <can_focus>True</can_focus>
652 <relief>GTK_RELIEF_NORMAL</relief>
655 <expand>False</expand>
662 <class>GtkTable</class>
664 <border_width>5</border_width>
667 <homogeneous>False</homogeneous>
668 <row_spacing>0</row_spacing>
669 <column_spacing>0</column_spacing>
672 <expand>True</expand>
677 <class>GtkLabel</class>
678 <name>dialogLabel</name>
680 <justify>GTK_JUSTIFY_CENTER</justify>
687 <left_attach>0</left_attach>
688 <right_attach>1</right_attach>
689 <top_attach>0</top_attach>
690 <bottom_attach>1</bottom_attach>
693 <xexpand>True</xexpand>
694 <yexpand>True</yexpand>
695 <xshrink>False</xshrink>
696 <yshrink>False</yshrink>