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 <visible>False</visible>
37 <shadow_type>GTK_SHADOW_OUT</shadow_type>
40 <expand>False</expand>
45 <class>GtkMenuItem</class>
46 <name>toolsMenu</name>
48 <right_justify>False</right_justify>
51 <class>GtkMenu</class>
52 <name>toolsMenu_menu</name>
55 <class>GtkCheckMenuItem</class>
56 <name>toggleDebuggingMenuItem</name>
57 <label>Debugging</label>
58 <active>False</active>
59 <always_show_toggle>True</always_show_toggle>
66 <class>GtkHBox</class>
68 <homogeneous>False</homogeneous>
72 <expand>False</expand>
77 <class>GtkLabel</class>
79 <label>My URL:</label>
80 <justify>GTK_JUSTIFY_CENTER</justify>
88 <expand>False</expand>
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>
104 <expand>True</expand>
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>
118 <expand>False</expand>
124 <class>GtkButton</class>
125 <name>testLocalHttpDaemonButton</name>
126 <can_focus>True</can_focus>
128 <relief>GTK_RELIEF_NORMAL</relief>
131 <expand>False</expand>
138 <class>GtkVBox</class>
140 <homogeneous>False</homogeneous>
144 <expand>False</expand>
149 <class>GtkHBox</class>
151 <homogeneous>False</homogeneous>
155 <expand>False</expand>
160 <class>GtkLabel</class>
162 <label>Broker:</label>
163 <justify>GTK_JUSTIFY_CENTER</justify>
171 <expand>False</expand>
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>
187 <expand>True</expand>
193 <class>GtkButton</class>
194 <name>testBrokerButton</name>
195 <can_focus>True</can_focus>
197 <relief>GTK_RELIEF_NORMAL</relief>
200 <expand>False</expand>
207 <class>GtkHBox</class>
209 <homogeneous>False</homogeneous>
213 <expand>False</expand>
218 <class>GtkLabel</class>
220 <visible>False</visible>
221 <label>Client ID:</label>
222 <justify>GTK_JUSTIFY_CENTER</justify>
230 <expand>False</expand>
236 <class>GtkLabel</class>
237 <name>clientIdLabel</name>
238 <visible>False</visible>
240 <justify>GTK_JUSTIFY_LEFT</justify>
248 <expand>True</expand>
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>
261 <expand>False</expand>
269 <class>GtkVPaned</class>
271 <handle_size>10</handle_size>
272 <gutter_size>6</gutter_size>
273 <position>0</position>
276 <expand>True</expand>
281 <class>GtkFrame</class>
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>
288 <shrink>False</shrink>
289 <resize>False</resize>
293 <class>GtkHBox</class>
295 <homogeneous>False</homogeneous>
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>
307 <expand>True</expand>
312 <class>GtkCList</class>
313 <name>subscriptionCList</name>
314 <can_focus>True</can_focus>
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>
322 <class>GtkLabel</class>
323 <child_name>CList:title</child_name>
325 <label>label7</label>
326 <justify>GTK_JUSTIFY_CENTER</justify>
337 <class>GtkFixed</class>
341 <expand>False</expand>
346 <class>GtkButton</class>
347 <name>showSubscriptionWindowButton</name>
352 <can_focus>True</can_focus>
353 <label>Subscribe ...</label>
354 <relief>GTK_RELIEF_NORMAL</relief>
361 <class>GtkFrame</class>
363 <border_width>4</border_width>
366 <label_xalign>0</label_xalign>
367 <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
369 <shrink>True</shrink>
370 <resize>True</resize>
374 <class>GtkVBox</class>
376 <homogeneous>False</homogeneous>
380 <class>GtkScrolledWindow</class>
381 <name>scrolledwindow2</name>
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>
389 <expand>True</expand>
394 <class>GtkCList</class>
395 <name>hintsCList</name>
396 <can_focus>True</can_focus>
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>
404 <class>GtkLabel</class>
405 <child_name>CList:title</child_name>
407 <label>label6</label>
408 <justify>GTK_JUSTIFY_CENTER</justify>
422 <class>GtkStatusbar</class>
423 <name>mainWindowStatusBar</name>
424 <visible>False</visible>
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>