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>GtkHBox</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>4</border_width>
366 <label_xalign>0</label_xalign>
367 <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
370 <expand>True</expand>
375 <class>GtkVBox</class>
377 <homogeneous>False</homogeneous>
381 <class>GtkScrolledWindow</class>
382 <name>scrolledwindow2</name>
384 <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
385 <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
386 <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
387 <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
390 <expand>True</expand>
395 <class>GtkCList</class>
396 <name>hintsCList</name>
397 <can_focus>True</can_focus>
399 <column_widths>80</column_widths>
400 <selection_mode>GTK_SELECTION_SINGLE</selection_mode>
401 <show_titles>False</show_titles>
402 <shadow_type>GTK_SHADOW_IN</shadow_type>
405 <class>GtkLabel</class>
406 <child_name>CList:title</child_name>
408 <label>label6</label>
409 <justify>GTK_JUSTIFY_CENTER</justify>
423 <class>GtkStatusbar</class>
424 <name>mainWindowStatusBar</name>
427 <expand>False</expand>
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>
442 <allow_shrink>False</allow_shrink>
443 <allow_grow>True</allow_grow>
444 <auto_shrink>False</auto_shrink>
447 <class>GtkVBox</class>
449 <homogeneous>False</homogeneous>
453 <class>GtkButton</class>
454 <name>listTutorsButton</name>
455 <can_focus>True</can_focus>
456 <label>Refresh</label>
457 <relief>GTK_RELIEF_NORMAL</relief>
460 <expand>False</expand>
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>
474 <expand>True</expand>
479 <class>GtkCList</class>
480 <name>tutorsCList</name>
483 <can_focus>True</can_focus>
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>
491 <class>GtkLabel</class>
492 <child_name>CList:title</child_name>
495 <justify>GTK_JUSTIFY_CENTER</justify>
504 <class>GtkLabel</class>
505 <child_name>CList:title</child_name>
507 <label>Description</label>
508 <justify>GTK_JUSTIFY_CENTER</justify>
519 <class>GtkHBox</class>
521 <homogeneous>False</homogeneous>
525 <expand>False</expand>
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>
537 <expand>True</expand>
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>
550 <expand>True</expand>
557 <class>GtkStatusbar</class>
558 <name>subscribeWindowStatusBar</name>
561 <expand>False</expand>
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>
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>
583 <class>GtkVBox</class>
584 <child_name>Dialog:vbox</child_name>
585 <name>dialogVbox1</name>
586 <homogeneous>False</homogeneous>
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>
598 <expand>False</expand>
600 <pack>GTK_PACK_END</pack>
604 <class>GtkButton</class>
605 <name>okDialogButton</name>
606 <can_focus>True</can_focus>
608 <relief>GTK_RELIEF_NORMAL</relief>
611 <expand>False</expand>
618 <class>GtkTable</class>
620 <border_width>5</border_width>
623 <homogeneous>False</homogeneous>
624 <row_spacing>0</row_spacing>
625 <column_spacing>0</column_spacing>
628 <expand>True</expand>
633 <class>GtkLabel</class>
634 <name>dialogLabel</name>
636 <justify>GTK_JUSTIFY_CENTER</justify>
643 <left_attach>0</left_attach>
644 <right_attach>1</right_attach>
645 <top_attach>0</top_attach>
646 <bottom_attach>1</bottom_attach>
649 <xexpand>True</xexpand>
650 <yexpand>True</yexpand>
651 <xshrink>False</xshrink>
652 <yshrink>False</yshrink>