5 <name>Ghc-FrontPanel</name>
6 <program_name>ghc-frontpanel</program_name>
7 <directory></directory>
8 <source_directory>.</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 <output_main_file>False</output_main_file>
14 <output_support_files>False</output_support_files>
15 <output_build_files>False</output_build_files>
16 <main_source_file>VisWindow.c</main_source_file>
17 <main_header_file>VisWindow.h</main_header_file>
18 <handler_source_file>VisCallbacks.c</handler_source_file>
19 <handler_header_file>VisCallbacks.h</handler_header_file>
20 <support_source_file>VisSupport.c</support_source_file>
21 <support_header_file>VisSupport.h</support_header_file>
25 <class>GtkWindow</class>
26 <name>GHC Front Panel</name>
27 <title>GHC Front Panel</title>
28 <type>GTK_WINDOW_TOPLEVEL</type>
29 <position>GTK_WIN_POS_NONE</position>
31 <default_width>450</default_width>
32 <default_height>600</default_height>
33 <allow_shrink>False</allow_shrink>
34 <allow_grow>True</allow_grow>
35 <auto_shrink>False</auto_shrink>
38 <class>GtkVBox</class>
40 <homogeneous>False</homogeneous>
44 <class>GtkHBox</class>
46 <border_width>10</border_width>
47 <homogeneous>False</homogeneous>
56 <class>GtkVBox</class>
58 <homogeneous>False</homogeneous>
67 <class>GtkFrame</class>
69 <label>Memory Map</label>
70 <label_xalign>0</label_xalign>
71 <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
79 <class>GtkHBox</class>
81 <homogeneous>False</homogeneous>
85 <class>GtkLabel</class>
88 <justify>GTK_JUSTIFY_CENTER</justify>
96 <expand>False</expand>
102 <class>GtkVRuler</class>
103 <name>map_ruler</name>
104 <metric>GTK_PIXELS</metric>
107 <position>5.18797</position>
108 <max_size>10</max_size>
111 <expand>False</expand>
117 <class>GtkDrawingArea</class>
121 <expand>True</expand>
129 <class>GtkFrame</class>
131 <label>Generations</label>
132 <label_xalign>0</label_xalign>
133 <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
136 <expand>True</expand>
141 <class>GtkVBox</class>
143 <homogeneous>False</homogeneous>
147 <class>GtkTable</class>
151 <homogeneous>False</homogeneous>
152 <row_spacing>0</row_spacing>
153 <column_spacing>0</column_spacing>
156 <expand>True</expand>
161 <class>GtkVRuler</class>
162 <name>gen_ruler</name>
163 <metric>GTK_PIXELS</metric>
166 <position>1.69935</position>
167 <max_size>10</max_size>
169 <left_attach>1</left_attach>
170 <right_attach>2</right_attach>
171 <top_attach>0</top_attach>
172 <bottom_attach>1</bottom_attach>
175 <xexpand>False</xexpand>
176 <yexpand>True</yexpand>
177 <xshrink>False</xshrink>
178 <yshrink>False</yshrink>
185 <class>GtkHBox</class>
186 <name>gen_hbox</name>
187 <homogeneous>False</homogeneous>
190 <left_attach>2</left_attach>
191 <right_attach>3</right_attach>
192 <top_attach>1</top_attach>
193 <bottom_attach>2</bottom_attach>
196 <xexpand>True</xexpand>
197 <yexpand>False</yexpand>
198 <xshrink>False</xshrink>
199 <yshrink>False</yshrink>
205 <class>Placeholder</class>
209 <class>Placeholder</class>
213 <class>Placeholder</class>
218 <class>GtkDrawingArea</class>
219 <name>generations</name>
221 <left_attach>2</left_attach>
222 <right_attach>3</right_attach>
223 <top_attach>0</top_attach>
224 <bottom_attach>1</bottom_attach>
227 <xexpand>False</xexpand>
228 <yexpand>False</yexpand>
229 <xshrink>False</xshrink>
230 <yshrink>False</yshrink>
237 <class>GtkLabel</class>
240 <justify>GTK_JUSTIFY_CENTER</justify>
247 <left_attach>0</left_attach>
248 <right_attach>1</right_attach>
249 <top_attach>0</top_attach>
250 <bottom_attach>1</bottom_attach>
253 <xexpand>False</xexpand>
254 <yexpand>False</yexpand>
255 <xshrink>False</xshrink>
256 <yshrink>False</yshrink>
266 <class>GtkFrame</class>
268 <label>Residency</label>
269 <label_xalign>0</label_xalign>
270 <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
273 <expand>True</expand>
278 <class>GtkTable</class>
280 <border_width>2</border_width>
283 <homogeneous>False</homogeneous>
284 <row_spacing>0</row_spacing>
285 <column_spacing>0</column_spacing>
288 <class>GtkHRuler</class>
289 <name>res_hruler</name>
290 <metric>GTK_PIXELS</metric>
293 <position>8.35443</position>
294 <max_size>10</max_size>
296 <left_attach>2</left_attach>
297 <right_attach>3</right_attach>
298 <top_attach>1</top_attach>
299 <bottom_attach>2</bottom_attach>
302 <xexpand>True</xexpand>
303 <yexpand>False</yexpand>
304 <xshrink>False</xshrink>
305 <yshrink>False</yshrink>
312 <class>GtkVRuler</class>
313 <name>res_vruler</name>
314 <metric>GTK_PIXELS</metric>
317 <position>9.69925</position>
318 <max_size>10</max_size>
320 <left_attach>1</left_attach>
321 <right_attach>2</right_attach>
322 <top_attach>2</top_attach>
323 <bottom_attach>3</bottom_attach>
326 <xexpand>False</xexpand>
327 <yexpand>True</yexpand>
328 <xshrink>False</xshrink>
329 <yshrink>False</yshrink>
336 <class>GtkDrawingArea</class>
337 <name>res_drawingarea</name>
339 <left_attach>2</left_attach>
340 <right_attach>3</right_attach>
341 <top_attach>2</top_attach>
342 <bottom_attach>3</bottom_attach>
345 <xexpand>False</xexpand>
346 <yexpand>False</yexpand>
347 <xshrink>False</xshrink>
348 <yshrink>False</yshrink>
355 <class>GtkLabel</class>
358 <justify>GTK_JUSTIFY_CENTER</justify>
365 <left_attach>2</left_attach>
366 <right_attach>3</right_attach>
367 <top_attach>0</top_attach>
368 <bottom_attach>1</bottom_attach>
371 <xexpand>False</xexpand>
372 <yexpand>False</yexpand>
373 <xshrink>False</xshrink>
374 <yshrink>False</yshrink>
381 <class>GtkLabel</class>
384 <justify>GTK_JUSTIFY_CENTER</justify>
391 <left_attach>0</left_attach>
392 <right_attach>1</right_attach>
393 <top_attach>2</top_attach>
394 <bottom_attach>3</bottom_attach>
397 <xexpand>False</xexpand>
398 <yexpand>False</yexpand>
399 <xshrink>False</xshrink>
400 <yshrink>False</yshrink>
410 <class>GtkVBox</class>
412 <homogeneous>False</homogeneous>
413 <spacing>10</spacing>
416 <expand>False</expand>
418 <pack>GTK_PACK_END</pack>
422 <class>GtkFrame</class>
425 <label_xalign>0</label_xalign>
426 <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
429 <expand>False</expand>
434 <class>GtkVBox</class>
436 <border_width>5</border_width>
437 <homogeneous>False</homogeneous>
441 <class>Placeholder</class>
445 <class>Placeholder</class>
449 <class>GtkTable</class>
453 <homogeneous>False</homogeneous>
454 <row_spacing>0</row_spacing>
455 <column_spacing>7</column_spacing>
458 <expand>True</expand>
463 <class>GtkLabel</class>
465 <label>Allocated</label>
466 <justify>GTK_JUSTIFY_RIGHT</justify>
473 <left_attach>0</left_attach>
474 <right_attach>1</right_attach>
475 <top_attach>1</top_attach>
476 <bottom_attach>2</bottom_attach>
479 <xexpand>False</xexpand>
480 <yexpand>False</yexpand>
481 <xshrink>False</xshrink>
482 <yshrink>False</yshrink>
489 <class>GtkLabel</class>
492 <justify>GTK_JUSTIFY_RIGHT</justify>
499 <left_attach>0</left_attach>
500 <right_attach>1</right_attach>
501 <top_attach>0</top_attach>
502 <bottom_attach>1</bottom_attach>
505 <xexpand>False</xexpand>
506 <yexpand>False</yexpand>
507 <xshrink>False</xshrink>
508 <yshrink>False</yshrink>
515 <class>GtkLabel</class>
517 <label>Allocation Rate</label>
518 <justify>GTK_JUSTIFY_RIGHT</justify>
525 <left_attach>0</left_attach>
526 <right_attach>1</right_attach>
527 <top_attach>3</top_attach>
528 <bottom_attach>4</bottom_attach>
531 <xexpand>False</xexpand>
532 <yexpand>False</yexpand>
533 <xshrink>False</xshrink>
534 <yshrink>False</yshrink>
541 <class>GtkLabel</class>
543 <label> Footprint</label>
544 <justify>GTK_JUSTIFY_RIGHT</justify>
551 <left_attach>0</left_attach>
552 <right_attach>1</right_attach>
553 <top_attach>2</top_attach>
554 <bottom_attach>3</bottom_attach>
557 <xexpand>False</xexpand>
558 <yexpand>False</yexpand>
559 <xshrink>False</xshrink>
560 <yshrink>False</yshrink>
567 <class>GtkLabel</class>
570 <justify>GTK_JUSTIFY_CENTER</justify>
577 <left_attach>2</left_attach>
578 <right_attach>3</right_attach>
579 <top_attach>3</top_attach>
580 <bottom_attach>4</bottom_attach>
583 <xexpand>False</xexpand>
584 <yexpand>False</yexpand>
585 <xshrink>False</xshrink>
586 <yshrink>False</yshrink>
593 <class>GtkLabel</class>
596 <justify>GTK_JUSTIFY_LEFT</justify>
598 <xalign>7.45058e-09</xalign>
603 <left_attach>2</left_attach>
604 <right_attach>3</right_attach>
605 <top_attach>2</top_attach>
606 <bottom_attach>3</bottom_attach>
609 <xexpand>False</xexpand>
610 <yexpand>False</yexpand>
611 <xshrink>False</xshrink>
612 <yshrink>False</yshrink>
619 <class>GtkLabel</class>
622 <justify>GTK_JUSTIFY_CENTER</justify>
624 <xalign>7.45058e-09</xalign>
629 <left_attach>2</left_attach>
630 <right_attach>3</right_attach>
631 <top_attach>1</top_attach>
632 <bottom_attach>2</bottom_attach>
635 <xexpand>False</xexpand>
636 <yexpand>False</yexpand>
637 <xshrink>False</xshrink>
638 <yshrink>False</yshrink>
645 <class>GtkLabel</class>
648 <justify>GTK_JUSTIFY_CENTER</justify>
650 <xalign>7.45058e-09</xalign>
655 <left_attach>2</left_attach>
656 <right_attach>3</right_attach>
657 <top_attach>0</top_attach>
658 <bottom_attach>1</bottom_attach>
661 <xexpand>False</xexpand>
662 <yexpand>False</yexpand>
663 <xshrink>False</xshrink>
664 <yshrink>False</yshrink>
671 <class>GtkLabel</class>
672 <name>live_label</name>
675 <justify>GTK_JUSTIFY_CENTER</justify>
682 <left_attach>1</left_attach>
683 <right_attach>2</right_attach>
684 <top_attach>0</top_attach>
685 <bottom_attach>1</bottom_attach>
688 <xexpand>False</xexpand>
689 <yexpand>False</yexpand>
690 <xshrink>False</xshrink>
691 <yshrink>False</yshrink>
698 <class>GtkLabel</class>
699 <name>allocated_label</name>
702 <justify>GTK_JUSTIFY_CENTER</justify>
709 <left_attach>1</left_attach>
710 <right_attach>2</right_attach>
711 <top_attach>1</top_attach>
712 <bottom_attach>2</bottom_attach>
715 <xexpand>False</xexpand>
716 <yexpand>False</yexpand>
717 <xshrink>False</xshrink>
718 <yshrink>False</yshrink>
725 <class>GtkLabel</class>
726 <name>footprint_label</name>
729 <justify>GTK_JUSTIFY_CENTER</justify>
736 <left_attach>1</left_attach>
737 <right_attach>2</right_attach>
738 <top_attach>2</top_attach>
739 <bottom_attach>3</bottom_attach>
742 <xexpand>False</xexpand>
743 <yexpand>False</yexpand>
744 <xshrink>False</xshrink>
745 <yshrink>False</yshrink>
752 <class>GtkLabel</class>
753 <name>alloc_rate_label</name>
756 <justify>GTK_JUSTIFY_CENTER</justify>
763 <left_attach>1</left_attach>
764 <right_attach>2</right_attach>
765 <top_attach>3</top_attach>
766 <bottom_attach>4</bottom_attach>
769 <xexpand>False</xexpand>
770 <yexpand>False</yexpand>
771 <xshrink>False</xshrink>
772 <yshrink>False</yshrink>
782 <class>GtkFrame</class>
784 <label>Threads</label>
785 <label_xalign>0</label_xalign>
786 <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
789 <expand>False</expand>
794 <class>GtkTable</class>
796 <border_width>6</border_width>
799 <homogeneous>False</homogeneous>
800 <row_spacing>0</row_spacing>
801 <column_spacing>10</column_spacing>
804 <class>GtkLabel</class>
806 <label>Running</label>
807 <justify>GTK_JUSTIFY_CENTER</justify>
814 <left_attach>0</left_attach>
815 <right_attach>1</right_attach>
816 <top_attach>0</top_attach>
817 <bottom_attach>1</bottom_attach>
820 <xexpand>False</xexpand>
821 <yexpand>False</yexpand>
822 <xshrink>False</xshrink>
823 <yshrink>False</yshrink>
830 <class>GtkLabel</class>
832 <label>Blocked on I/O (Read)</label>
833 <justify>GTK_JUSTIFY_CENTER</justify>
840 <left_attach>0</left_attach>
841 <right_attach>1</right_attach>
842 <top_attach>1</top_attach>
843 <bottom_attach>2</bottom_attach>
846 <xexpand>False</xexpand>
847 <yexpand>False</yexpand>
848 <xshrink>False</xshrink>
849 <yshrink>False</yshrink>
856 <class>GtkLabel</class>
858 <label>Blocked on MVar</label>
859 <justify>GTK_JUSTIFY_CENTER</justify>
866 <left_attach>0</left_attach>
867 <right_attach>1</right_attach>
868 <top_attach>3</top_attach>
869 <bottom_attach>4</bottom_attach>
872 <xexpand>False</xexpand>
873 <yexpand>False</yexpand>
874 <xshrink>False</xshrink>
875 <yshrink>False</yshrink>
882 <class>GtkLabel</class>
884 <label>Blocked on throwTo</label>
885 <justify>GTK_JUSTIFY_CENTER</justify>
892 <left_attach>0</left_attach>
893 <right_attach>1</right_attach>
894 <top_attach>4</top_attach>
895 <bottom_attach>5</bottom_attach>
898 <xexpand>False</xexpand>
899 <yexpand>False</yexpand>
900 <xshrink>False</xshrink>
901 <yshrink>False</yshrink>
908 <class>GtkLabel</class>
910 <label>Blocked on Black Hole</label>
911 <justify>GTK_JUSTIFY_CENTER</justify>
918 <left_attach>0</left_attach>
919 <right_attach>1</right_attach>
920 <top_attach>5</top_attach>
921 <bottom_attach>6</bottom_attach>
924 <xexpand>False</xexpand>
925 <yexpand>False</yexpand>
926 <xshrink>False</xshrink>
927 <yshrink>False</yshrink>
934 <class>GtkLabel</class>
936 <label>Sleeping</label>
937 <justify>GTK_JUSTIFY_CENTER</justify>
944 <left_attach>0</left_attach>
945 <right_attach>1</right_attach>
946 <top_attach>6</top_attach>
947 <bottom_attach>7</bottom_attach>
950 <xexpand>False</xexpand>
951 <yexpand>False</yexpand>
952 <xshrink>False</xshrink>
953 <yshrink>False</yshrink>
960 <class>GtkLabel</class>
962 <label>Blocked on I/O (Write)</label>
963 <justify>GTK_JUSTIFY_CENTER</justify>
970 <left_attach>0</left_attach>
971 <right_attach>1</right_attach>
972 <top_attach>2</top_attach>
973 <bottom_attach>3</bottom_attach>
976 <xexpand>False</xexpand>
977 <yexpand>False</yexpand>
978 <xshrink>False</xshrink>
979 <yshrink>False</yshrink>
986 <class>GtkLabel</class>
987 <name>running_label</name>
988 <label>label28</label>
989 <justify>GTK_JUSTIFY_CENTER</justify>
996 <left_attach>1</left_attach>
997 <right_attach>2</right_attach>
998 <top_attach>0</top_attach>
999 <bottom_attach>1</bottom_attach>
1002 <xexpand>False</xexpand>
1003 <yexpand>False</yexpand>
1004 <xshrink>False</xshrink>
1005 <yshrink>False</yshrink>
1006 <xfill>False</xfill>
1007 <yfill>False</yfill>
1012 <class>GtkLabel</class>
1013 <name>blockread_label</name>
1014 <label>label29</label>
1015 <justify>GTK_JUSTIFY_CENTER</justify>
1017 <xalign>0.5</xalign>
1018 <yalign>0.5</yalign>
1022 <left_attach>1</left_attach>
1023 <right_attach>2</right_attach>
1024 <top_attach>1</top_attach>
1025 <bottom_attach>2</bottom_attach>
1028 <xexpand>False</xexpand>
1029 <yexpand>False</yexpand>
1030 <xshrink>False</xshrink>
1031 <yshrink>False</yshrink>
1032 <xfill>False</xfill>
1033 <yfill>False</yfill>
1038 <class>GtkLabel</class>
1039 <name>blockwrite_label</name>
1040 <label>label30</label>
1041 <justify>GTK_JUSTIFY_CENTER</justify>
1043 <xalign>0.5</xalign>
1044 <yalign>0.5</yalign>
1048 <left_attach>1</left_attach>
1049 <right_attach>2</right_attach>
1050 <top_attach>2</top_attach>
1051 <bottom_attach>3</bottom_attach>
1054 <xexpand>False</xexpand>
1055 <yexpand>False</yexpand>
1056 <xshrink>False</xshrink>
1057 <yshrink>False</yshrink>
1058 <xfill>False</xfill>
1059 <yfill>False</yfill>
1064 <class>GtkLabel</class>
1065 <name>blockmvar_label</name>
1066 <label>label31</label>
1067 <justify>GTK_JUSTIFY_CENTER</justify>
1069 <xalign>0.5</xalign>
1070 <yalign>0.5</yalign>
1074 <left_attach>1</left_attach>
1075 <right_attach>2</right_attach>
1076 <top_attach>3</top_attach>
1077 <bottom_attach>4</bottom_attach>
1080 <xexpand>False</xexpand>
1081 <yexpand>False</yexpand>
1082 <xshrink>False</xshrink>
1083 <yshrink>False</yshrink>
1084 <xfill>False</xfill>
1085 <yfill>False</yfill>
1090 <class>GtkLabel</class>
1091 <name>blockthrowto_label</name>
1092 <label>label32</label>
1093 <justify>GTK_JUSTIFY_CENTER</justify>
1095 <xalign>0.5</xalign>
1096 <yalign>0.5</yalign>
1100 <left_attach>1</left_attach>
1101 <right_attach>2</right_attach>
1102 <top_attach>4</top_attach>
1103 <bottom_attach>5</bottom_attach>
1106 <xexpand>False</xexpand>
1107 <yexpand>False</yexpand>
1108 <xshrink>False</xshrink>
1109 <yshrink>False</yshrink>
1110 <xfill>False</xfill>
1111 <yfill>False</yfill>
1116 <class>GtkLabel</class>
1117 <name>blockbh_label</name>
1118 <label>label33</label>
1119 <justify>GTK_JUSTIFY_CENTER</justify>
1121 <xalign>0.5</xalign>
1122 <yalign>0.5</yalign>
1126 <left_attach>1</left_attach>
1127 <right_attach>2</right_attach>
1128 <top_attach>5</top_attach>
1129 <bottom_attach>6</bottom_attach>
1132 <xexpand>False</xexpand>
1133 <yexpand>False</yexpand>
1134 <xshrink>False</xshrink>
1135 <yshrink>False</yshrink>
1136 <xfill>False</xfill>
1137 <yfill>False</yfill>
1142 <class>GtkLabel</class>
1143 <name>sleeping_label</name>
1144 <label>label34</label>
1145 <justify>GTK_JUSTIFY_CENTER</justify>
1147 <xalign>0.5</xalign>
1148 <yalign>0.5</yalign>
1152 <left_attach>1</left_attach>
1153 <right_attach>2</right_attach>
1154 <top_attach>6</top_attach>
1155 <bottom_attach>7</bottom_attach>
1158 <xexpand>False</xexpand>
1159 <yexpand>False</yexpand>
1160 <xshrink>False</xshrink>
1161 <yshrink>False</yshrink>
1162 <xfill>False</xfill>
1163 <yfill>False</yfill>
1168 <class>GtkHSeparator</class>
1169 <name>hseparator1</name>
1171 <left_attach>0</left_attach>
1172 <right_attach>1</right_attach>
1173 <top_attach>7</top_attach>
1174 <bottom_attach>8</bottom_attach>
1177 <xexpand>False</xexpand>
1178 <yexpand>True</yexpand>
1179 <xshrink>False</xshrink>
1180 <yshrink>False</yshrink>
1187 <class>GtkHSeparator</class>
1188 <name>hseparator2</name>
1190 <left_attach>1</left_attach>
1191 <right_attach>2</right_attach>
1192 <top_attach>7</top_attach>
1193 <bottom_attach>8</bottom_attach>
1196 <xexpand>False</xexpand>
1197 <yexpand>False</yexpand>
1198 <xshrink>False</xshrink>
1199 <yshrink>False</yshrink>
1206 <class>GtkLabel</class>
1207 <name>label35</name>
1208 <label>Total</label>
1209 <justify>GTK_JUSTIFY_CENTER</justify>
1212 <yalign>0.5</yalign>
1216 <left_attach>0</left_attach>
1217 <right_attach>1</right_attach>
1218 <top_attach>8</top_attach>
1219 <bottom_attach>9</bottom_attach>
1222 <xexpand>False</xexpand>
1223 <yexpand>False</yexpand>
1224 <xshrink>False</xshrink>
1225 <yshrink>False</yshrink>
1227 <yfill>False</yfill>
1232 <class>GtkLabel</class>
1233 <name>total_label</name>
1234 <label>label36</label>
1235 <justify>GTK_JUSTIFY_CENTER</justify>
1237 <xalign>0.5</xalign>
1238 <yalign>0.5</yalign>
1242 <left_attach>1</left_attach>
1243 <right_attach>2</right_attach>
1244 <top_attach>8</top_attach>
1245 <bottom_attach>9</bottom_attach>
1248 <xexpand>False</xexpand>
1249 <yexpand>False</yexpand>
1250 <xshrink>False</xshrink>
1251 <yshrink>False</yshrink>
1252 <xfill>False</xfill>
1253 <yfill>False</yfill>
1260 <class>GtkFrame</class>
1262 <label>Updates</label>
1263 <label_xalign>0</label_xalign>
1264 <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
1266 <padding>0</padding>
1267 <expand>False</expand>
1272 <class>GtkVBox</class>
1274 <border_width>5</border_width>
1275 <homogeneous>False</homogeneous>
1276 <spacing>10</spacing>
1279 <class>GtkVBox</class>
1281 <homogeneous>False</homogeneous>
1282 <spacing>0</spacing>
1284 <padding>0</padding>
1285 <expand>True</expand>
1290 <class>GtkRadioButton</class>
1291 <name>cont_radio</name>
1292 <can_focus>True</can_focus>
1294 <name>clicked</name>
1295 <handler>on_cont_radio_clicked</handler>
1296 <last_modification_time>Tue, 17 Oct 2000 15:55:50 GMT</last_modification_time>
1298 <label>Continuous</label>
1299 <active>True</active>
1300 <draw_indicator>True</draw_indicator>
1303 <padding>0</padding>
1304 <expand>False</expand>
1310 <class>GtkRadioButton</class>
1311 <name>stop_before_radio</name>
1312 <can_focus>True</can_focus>
1314 <name>clicked</name>
1315 <handler>on_stop_before_radio_clicked</handler>
1316 <last_modification_time>Tue, 17 Oct 2000 15:56:04 GMT</last_modification_time>
1318 <label>Stop before GC</label>
1319 <active>False</active>
1320 <draw_indicator>True</draw_indicator>
1323 <padding>0</padding>
1324 <expand>False</expand>
1330 <class>GtkRadioButton</class>
1331 <name>stop_after_radio</name>
1332 <can_focus>True</can_focus>
1334 <name>clicked</name>
1335 <handler>on_stop_after_radio_clicked</handler>
1336 <last_modification_time>Tue, 17 Oct 2000 15:56:10 GMT</last_modification_time>
1338 <label>Stop after GC</label>
1339 <active>False</active>
1340 <draw_indicator>True</draw_indicator>
1343 <padding>0</padding>
1344 <expand>False</expand>
1350 <class>GtkRadioButton</class>
1351 <name>stop_both_radio</name>
1352 <can_focus>True</can_focus>
1354 <name>clicked</name>
1355 <handler>on_stop_both_radio_clicked</handler>
1356 <last_modification_time>Tue, 17 Oct 2000 15:56:22 GMT</last_modification_time>
1358 <label>Stop before & after GC</label>
1359 <active>False</active>
1360 <draw_indicator>True</draw_indicator>
1363 <padding>0</padding>
1364 <expand>False</expand>
1371 <class>GtkVBox</class>
1373 <homogeneous>False</homogeneous>
1374 <spacing>0</spacing>
1376 <padding>0</padding>
1377 <expand>False</expand>
1382 <class>GtkButton</class>
1383 <name>stop_but</name>
1384 <can_focus>True</can_focus>
1386 <name>clicked</name>
1387 <handler>on_stop_but_clicked</handler>
1388 <last_modification_time>Tue, 17 Oct 2000 15:56:46 GMT</last_modification_time>
1392 <padding>0</padding>
1393 <expand>False</expand>
1399 <class>GtkButton</class>
1400 <name>continue_but</name>
1401 <can_focus>True</can_focus>
1403 <name>clicked</name>
1404 <handler>on_continue_but_clicked</handler>
1405 <last_modification_time>Tue, 17 Oct 2000 15:56:53 GMT</last_modification_time>
1407 <label>Continue</label>
1409 <padding>0</padding>
1410 <expand>False</expand>
1419 <class>GtkButton</class>
1420 <name>quit_but</name>
1421 <can_focus>True</can_focus>
1423 <name>clicked</name>
1424 <handler>on_quit_but_clicked</handler>
1425 <last_modification_time>Tue, 17 Oct 2000 15:57:03 GMT</last_modification_time>
1429 <padding>0</padding>
1430 <expand>False</expand>
1432 <pack>GTK_PACK_END</pack>
1439 <class>GtkStatusbar</class>
1440 <name>statusbar</name>
1442 <padding>0</padding>
1443 <expand>False</expand>