Re-enable a flag-consistency check
[ghc.git] / rts / VisWindow.c
1 /*
2 * DO NOT EDIT THIS FILE - it is generated by Glade.
3 */
4
5 #ifdef HAVE_CONFIG_H
6 # include <config.h>
7 #endif
8
9 #include <sys/types.h>
10 #include <sys/stat.h>
11 #include <unistd.h>
12 #include <string.h>
13 #include <stdio.h>
14
15 #include <gdk/gdkkeysyms.h>
16 #include <gtk/gtk.h>
17
18 #include "VisCallbacks.h"
19 #include "VisWindow.h"
20 #include "VisSupport.h"
21
22 #define GLADE_HOOKUP_OBJECT(component,widget,name) \
23 g_object_set_data_full (G_OBJECT (component), name, \
24 gtk_widget_ref (widget), (GDestroyNotify) gtk_widget_unref)
25
26 #define GLADE_HOOKUP_OBJECT_NO_REF(component,widget,name) \
27 g_object_set_data (G_OBJECT (component), name, widget)
28
29 GtkWidget*
30 create_GHC_Front_Panel (void)
31 {
32 GtkWidget *GHC_Front_Panel;
33 GtkWidget *vbox1;
34 GtkWidget *hbox1;
35 GtkWidget *vbox4;
36 GtkWidget *frame3;
37 GtkWidget *hbox3;
38 GtkWidget *label40;
39 GtkWidget *map_ruler;
40 GtkWidget *memmap;
41 GtkWidget *label1;
42 GtkWidget *frame8;
43 GtkWidget *vbox14;
44 GtkWidget *table4;
45 GtkWidget *gen_ruler;
46 GtkWidget *gen_hbox;
47 GtkWidget *generations;
48 GtkWidget *label39;
49 GtkWidget *label41;
50 GtkWidget *frame7;
51 GtkWidget *table3;
52 GtkWidget *res_hruler;
53 GtkWidget *res_vruler;
54 GtkWidget *res_drawingarea;
55 GtkWidget *label37;
56 GtkWidget *label38;
57 GtkWidget *label42;
58 GtkWidget *vbox5;
59 GtkWidget *frame5;
60 GtkWidget *vbox6;
61 GtkWidget *table1;
62 GtkWidget *label12;
63 GtkWidget *label13;
64 GtkWidget *label14;
65 GtkWidget *label15;
66 GtkWidget *label16;
67 GtkWidget *label17;
68 GtkWidget *label18;
69 GtkWidget *label19;
70 GtkWidget *live_label;
71 GtkWidget *allocated_label;
72 GtkWidget *footprint_label;
73 GtkWidget *alloc_rate_label;
74 GtkWidget *label43;
75 GtkWidget *frame9;
76 GtkWidget *table5;
77 GtkWidget *label20;
78 GtkWidget *label21;
79 GtkWidget *label22;
80 GtkWidget *label24;
81 GtkWidget *label26;
82 GtkWidget *label25;
83 GtkWidget *label27;
84 GtkWidget *running_label;
85 GtkWidget *blockread_label;
86 GtkWidget *blockwrite_label;
87 GtkWidget *blockmvar_label;
88 GtkWidget *blockthrowto_label;
89 GtkWidget *blockbh_label;
90 GtkWidget *sleeping_label;
91 GtkWidget *hseparator1;
92 GtkWidget *hseparator2;
93 GtkWidget *label35;
94 GtkWidget *total_label;
95 GtkWidget *label44;
96 GtkWidget *frame6;
97 GtkWidget *vbox7;
98 GtkWidget *vbox9;
99 GtkWidget *cont_radio;
100 GSList *cont_radio_group = NULL;
101 GtkWidget *stop_before_radio;
102 GtkWidget *stop_after_radio;
103 GtkWidget *stop_both_radio;
104 GtkWidget *vbox8;
105 GtkWidget *stop_but;
106 GtkWidget *continue_but;
107 GtkWidget *label45;
108 GtkWidget *quit_but;
109 GtkWidget *statusbar;
110
111 GHC_Front_Panel = gtk_window_new (GTK_WINDOW_TOPLEVEL);
112 gtk_widget_set_name (GHC_Front_Panel, "GHC_Front_Panel");
113 gtk_window_set_title (GTK_WINDOW (GHC_Front_Panel), "GHC Front Panel");
114 gtk_window_set_default_size (GTK_WINDOW (GHC_Front_Panel), 450, 600);
115
116 vbox1 = gtk_vbox_new (FALSE, 0);
117 gtk_widget_set_name (vbox1, "vbox1");
118 gtk_widget_show (vbox1);
119 gtk_container_add (GTK_CONTAINER (GHC_Front_Panel), vbox1);
120
121 hbox1 = gtk_hbox_new (FALSE, 10);
122 gtk_widget_set_name (hbox1, "hbox1");
123 gtk_widget_show (hbox1);
124 gtk_box_pack_start (GTK_BOX (vbox1), hbox1, TRUE, TRUE, 0);
125 gtk_container_set_border_width (GTK_CONTAINER (hbox1), 10);
126
127 vbox4 = gtk_vbox_new (FALSE, 10);
128 gtk_widget_set_name (vbox4, "vbox4");
129 gtk_widget_show (vbox4);
130 gtk_box_pack_start (GTK_BOX (hbox1), vbox4, TRUE, TRUE, 0);
131
132 frame3 = gtk_frame_new (NULL);
133 gtk_widget_set_name (frame3, "frame3");
134 gtk_widget_show (frame3);
135 gtk_box_pack_start (GTK_BOX (vbox4), frame3, TRUE, TRUE, 0);
136
137 hbox3 = gtk_hbox_new (FALSE, 0);
138 gtk_widget_set_name (hbox3, "hbox3");
139 gtk_widget_show (hbox3);
140 gtk_container_add (GTK_CONTAINER (frame3), hbox3);
141
142 label40 = gtk_label_new ("Mb");
143 gtk_widget_set_name (label40, "label40");
144 gtk_widget_show (label40);
145 gtk_box_pack_start (GTK_BOX (hbox3), label40, FALSE, FALSE, 0);
146 gtk_label_set_justify (GTK_LABEL (label40), GTK_JUSTIFY_CENTER);
147
148 map_ruler = gtk_vruler_new ();
149 gtk_widget_set_name (map_ruler, "map_ruler");
150 gtk_widget_show (map_ruler);
151 gtk_box_pack_start (GTK_BOX (hbox3), map_ruler, FALSE, FALSE, 0);
152 gtk_ruler_set_range (GTK_RULER (map_ruler), 0, 10, 1.40845, 10);
153
154 memmap = gtk_drawing_area_new ();
155 gtk_widget_set_name (memmap, "memmap");
156 gtk_widget_show (memmap);
157 gtk_box_pack_start (GTK_BOX (hbox3), memmap, TRUE, TRUE, 0);
158
159 label1 = gtk_label_new ("Memory Map");
160 gtk_widget_set_name (label1, "label1");
161 gtk_widget_show (label1);
162 gtk_frame_set_label_widget (GTK_FRAME (frame3), label1);
163
164 frame8 = gtk_frame_new (NULL);
165 gtk_widget_set_name (frame8, "frame8");
166 gtk_widget_show (frame8);
167 gtk_box_pack_start (GTK_BOX (vbox4), frame8, TRUE, TRUE, 0);
168
169 vbox14 = gtk_vbox_new (FALSE, 0);
170 gtk_widget_set_name (vbox14, "vbox14");
171 gtk_widget_show (vbox14);
172 gtk_container_add (GTK_CONTAINER (frame8), vbox14);
173
174 table4 = gtk_table_new (2, 3, FALSE);
175 gtk_widget_set_name (table4, "table4");
176 gtk_widget_show (table4);
177 gtk_box_pack_start (GTK_BOX (vbox14), table4, TRUE, TRUE, 0);
178
179 gen_ruler = gtk_vruler_new ();
180 gtk_widget_set_name (gen_ruler, "gen_ruler");
181 gtk_widget_show (gen_ruler);
182 gtk_table_attach (GTK_TABLE (table4), gen_ruler, 1, 2, 0, 1,
183 (GtkAttachOptions) (GTK_FILL),
184 (GtkAttachOptions) (GTK_EXPAND | GTK_FILL), 0, 0);
185 gtk_ruler_set_range (GTK_RULER (gen_ruler), 0, 10, 1.69935, 10);
186
187 gen_hbox = gtk_hbox_new (FALSE, 0);
188 gtk_widget_set_name (gen_hbox, "gen_hbox");
189 gtk_widget_show (gen_hbox);
190 gtk_table_attach (GTK_TABLE (table4), gen_hbox, 2, 3, 1, 2,
191 (GtkAttachOptions) (GTK_EXPAND | GTK_FILL),
192 (GtkAttachOptions) (GTK_FILL), 0, 0);
193
194 generations = gtk_drawing_area_new ();
195 gtk_widget_set_name (generations, "generations");
196 gtk_widget_show (generations);
197 gtk_table_attach (GTK_TABLE (table4), generations, 2, 3, 0, 1,
198 (GtkAttachOptions) (GTK_FILL),
199 (GtkAttachOptions) (GTK_FILL), 0, 0);
200
201 label39 = gtk_label_new ("Mb");
202 gtk_widget_set_name (label39, "label39");
203 gtk_widget_show (label39);
204 gtk_table_attach (GTK_TABLE (table4), label39, 0, 1, 0, 1,
205 (GtkAttachOptions) (0),
206 (GtkAttachOptions) (0), 0, 0);
207 gtk_label_set_justify (GTK_LABEL (label39), GTK_JUSTIFY_CENTER);
208
209 label41 = gtk_label_new ("Generations");
210 gtk_widget_set_name (label41, "label41");
211 gtk_widget_show (label41);
212 gtk_frame_set_label_widget (GTK_FRAME (frame8), label41);
213
214 frame7 = gtk_frame_new (NULL);
215 gtk_widget_set_name (frame7, "frame7");
216 gtk_widget_show (frame7);
217 gtk_box_pack_start (GTK_BOX (vbox4), frame7, TRUE, TRUE, 0);
218
219 table3 = gtk_table_new (3, 3, FALSE);
220 gtk_widget_set_name (table3, "table3");
221 gtk_widget_show (table3);
222 gtk_container_add (GTK_CONTAINER (frame7), table3);
223 gtk_container_set_border_width (GTK_CONTAINER (table3), 2);
224
225 res_hruler = gtk_hruler_new ();
226 gtk_widget_set_name (res_hruler, "res_hruler");
227 gtk_widget_show (res_hruler);
228 gtk_table_attach (GTK_TABLE (table3), res_hruler, 2, 3, 1, 2,
229 (GtkAttachOptions) (GTK_EXPAND | GTK_FILL),
230 (GtkAttachOptions) (GTK_FILL), 0, 0);
231 gtk_ruler_set_range (GTK_RULER (res_hruler), 0, 10, 8.35443, 10);
232
233 res_vruler = gtk_vruler_new ();
234 gtk_widget_set_name (res_vruler, "res_vruler");
235 gtk_widget_show (res_vruler);
236 gtk_table_attach (GTK_TABLE (table3), res_vruler, 1, 2, 2, 3,
237 (GtkAttachOptions) (GTK_FILL),
238 (GtkAttachOptions) (GTK_EXPAND | GTK_FILL), 0, 0);
239 gtk_ruler_set_range (GTK_RULER (res_vruler), 0, 10, 9.69925, 10);
240
241 res_drawingarea = gtk_drawing_area_new ();
242 gtk_widget_set_name (res_drawingarea, "res_drawingarea");
243 gtk_widget_show (res_drawingarea);
244 gtk_table_attach (GTK_TABLE (table3), res_drawingarea, 2, 3, 2, 3,
245 (GtkAttachOptions) (GTK_FILL),
246 (GtkAttachOptions) (GTK_FILL), 0, 0);
247
248 label37 = gtk_label_new ("Secs");
249 gtk_widget_set_name (label37, "label37");
250 gtk_widget_show (label37);
251 gtk_table_attach (GTK_TABLE (table3), label37, 2, 3, 0, 1,
252 (GtkAttachOptions) (0),
253 (GtkAttachOptions) (0), 0, 0);
254 gtk_label_set_justify (GTK_LABEL (label37), GTK_JUSTIFY_CENTER);
255
256 label38 = gtk_label_new ("Mb");
257 gtk_widget_set_name (label38, "label38");
258 gtk_widget_show (label38);
259 gtk_table_attach (GTK_TABLE (table3), label38, 0, 1, 2, 3,
260 (GtkAttachOptions) (0),
261 (GtkAttachOptions) (0), 0, 0);
262 gtk_label_set_justify (GTK_LABEL (label38), GTK_JUSTIFY_CENTER);
263
264 label42 = gtk_label_new ("Residency");
265 gtk_widget_set_name (label42, "label42");
266 gtk_widget_show (label42);
267 gtk_frame_set_label_widget (GTK_FRAME (frame7), label42);
268
269 vbox5 = gtk_vbox_new (FALSE, 10);
270 gtk_widget_set_name (vbox5, "vbox5");
271 gtk_widget_show (vbox5);
272 gtk_box_pack_end (GTK_BOX (hbox1), vbox5, FALSE, FALSE, 0);
273
274 frame5 = gtk_frame_new (NULL);
275 gtk_widget_set_name (frame5, "frame5");
276 gtk_widget_show (frame5);
277 gtk_box_pack_start (GTK_BOX (vbox5), frame5, FALSE, TRUE, 0);
278
279 vbox6 = gtk_vbox_new (FALSE, 0);
280 gtk_widget_set_name (vbox6, "vbox6");
281 gtk_widget_show (vbox6);
282 gtk_container_add (GTK_CONTAINER (frame5), vbox6);
283 gtk_container_set_border_width (GTK_CONTAINER (vbox6), 5);
284
285 table1 = gtk_table_new (4, 3, FALSE);
286 gtk_widget_set_name (table1, "table1");
287 gtk_widget_show (table1);
288 gtk_box_pack_start (GTK_BOX (vbox6), table1, TRUE, TRUE, 0);
289 gtk_table_set_col_spacings (GTK_TABLE (table1), 7);
290
291 label12 = gtk_label_new ("Allocated");
292 gtk_widget_set_name (label12, "label12");
293 gtk_widget_show (label12);
294 gtk_table_attach (GTK_TABLE (table1), label12, 0, 1, 1, 2,
295 (GtkAttachOptions) (GTK_FILL),
296 (GtkAttachOptions) (0), 0, 0);
297 gtk_label_set_justify (GTK_LABEL (label12), GTK_JUSTIFY_RIGHT);
298 gtk_misc_set_alignment (GTK_MISC (label12), 1, 0.5);
299
300 label13 = gtk_label_new ("Live");
301 gtk_widget_set_name (label13, "label13");
302 gtk_widget_show (label13);
303 gtk_table_attach (GTK_TABLE (table1), label13, 0, 1, 0, 1,
304 (GtkAttachOptions) (GTK_FILL),
305 (GtkAttachOptions) (0), 0, 0);
306 gtk_label_set_justify (GTK_LABEL (label13), GTK_JUSTIFY_RIGHT);
307 gtk_misc_set_alignment (GTK_MISC (label13), 1, 0.5);
308
309 label14 = gtk_label_new ("Allocation Rate");
310 gtk_widget_set_name (label14, "label14");
311 gtk_widget_show (label14);
312 gtk_table_attach (GTK_TABLE (table1), label14, 0, 1, 3, 4,
313 (GtkAttachOptions) (0),
314 (GtkAttachOptions) (0), 0, 0);
315 gtk_label_set_justify (GTK_LABEL (label14), GTK_JUSTIFY_RIGHT);
316 gtk_misc_set_alignment (GTK_MISC (label14), 1, 0.5);
317
318 label15 = gtk_label_new ("\t\tFootprint");
319 gtk_widget_set_name (label15, "label15");
320 gtk_widget_show (label15);
321 gtk_table_attach (GTK_TABLE (table1), label15, 0, 1, 2, 3,
322 (GtkAttachOptions) (GTK_FILL),
323 (GtkAttachOptions) (0), 0, 0);
324 gtk_label_set_justify (GTK_LABEL (label15), GTK_JUSTIFY_RIGHT);
325 gtk_misc_set_alignment (GTK_MISC (label15), 1, 0.5);
326
327 label16 = gtk_label_new ("M/sec");
328 gtk_widget_set_name (label16, "label16");
329 gtk_widget_show (label16);
330 gtk_table_attach (GTK_TABLE (table1), label16, 2, 3, 3, 4,
331 (GtkAttachOptions) (0),
332 (GtkAttachOptions) (0), 0, 0);
333 gtk_label_set_justify (GTK_LABEL (label16), GTK_JUSTIFY_CENTER);
334
335 label17 = gtk_label_new ("M");
336 gtk_widget_set_name (label17, "label17");
337 gtk_widget_show (label17);
338 gtk_table_attach (GTK_TABLE (table1), label17, 2, 3, 2, 3,
339 (GtkAttachOptions) (GTK_FILL),
340 (GtkAttachOptions) (0), 0, 0);
341 gtk_misc_set_alignment (GTK_MISC (label17), 7.45058e-09, 0.5);
342
343 label18 = gtk_label_new ("M");
344 gtk_widget_set_name (label18, "label18");
345 gtk_widget_show (label18);
346 gtk_table_attach (GTK_TABLE (table1), label18, 2, 3, 1, 2,
347 (GtkAttachOptions) (GTK_FILL),
348 (GtkAttachOptions) (0), 0, 0);
349 gtk_label_set_justify (GTK_LABEL (label18), GTK_JUSTIFY_CENTER);
350 gtk_misc_set_alignment (GTK_MISC (label18), 7.45058e-09, 0.5);
351
352 label19 = gtk_label_new ("M");
353 gtk_widget_set_name (label19, "label19");
354 gtk_widget_show (label19);
355 gtk_table_attach (GTK_TABLE (table1), label19, 2, 3, 0, 1,
356 (GtkAttachOptions) (GTK_FILL),
357 (GtkAttachOptions) (0), 0, 0);
358 gtk_label_set_justify (GTK_LABEL (label19), GTK_JUSTIFY_CENTER);
359 gtk_misc_set_alignment (GTK_MISC (label19), 7.45058e-09, 0.5);
360
361 live_label = gtk_label_new ("");
362 gtk_widget_set_name (live_label, "live_label");
363 gtk_widget_show (live_label);
364 gtk_table_attach (GTK_TABLE (table1), live_label, 1, 2, 0, 1,
365 (GtkAttachOptions) (GTK_FILL),
366 (GtkAttachOptions) (0), 0, 0);
367 gtk_label_set_justify (GTK_LABEL (live_label), GTK_JUSTIFY_CENTER);
368 gtk_misc_set_alignment (GTK_MISC (live_label), 1, 0.5);
369
370 allocated_label = gtk_label_new ("");
371 gtk_widget_set_name (allocated_label, "allocated_label");
372 gtk_widget_show (allocated_label);
373 gtk_table_attach (GTK_TABLE (table1), allocated_label, 1, 2, 1, 2,
374 (GtkAttachOptions) (GTK_FILL),
375 (GtkAttachOptions) (0), 0, 0);
376 gtk_label_set_justify (GTK_LABEL (allocated_label), GTK_JUSTIFY_CENTER);
377 gtk_misc_set_alignment (GTK_MISC (allocated_label), 1, 0.5);
378
379 footprint_label = gtk_label_new ("");
380 gtk_widget_set_name (footprint_label, "footprint_label");
381 gtk_widget_show (footprint_label);
382 gtk_table_attach (GTK_TABLE (table1), footprint_label, 1, 2, 2, 3,
383 (GtkAttachOptions) (GTK_FILL),
384 (GtkAttachOptions) (0), 0, 0);
385 gtk_label_set_justify (GTK_LABEL (footprint_label), GTK_JUSTIFY_CENTER);
386 gtk_misc_set_alignment (GTK_MISC (footprint_label), 1, 0.5);
387
388 alloc_rate_label = gtk_label_new ("");
389 gtk_widget_set_name (alloc_rate_label, "alloc_rate_label");
390 gtk_widget_show (alloc_rate_label);
391 gtk_table_attach (GTK_TABLE (table1), alloc_rate_label, 1, 2, 3, 4,
392 (GtkAttachOptions) (GTK_FILL),
393 (GtkAttachOptions) (0), 0, 0);
394 gtk_label_set_justify (GTK_LABEL (alloc_rate_label), GTK_JUSTIFY_CENTER);
395 gtk_misc_set_alignment (GTK_MISC (alloc_rate_label), 1, 0.5);
396
397 label43 = gtk_label_new ("Stats");
398 gtk_widget_set_name (label43, "label43");
399 gtk_widget_show (label43);
400 gtk_frame_set_label_widget (GTK_FRAME (frame5), label43);
401
402 frame9 = gtk_frame_new (NULL);
403 gtk_widget_set_name (frame9, "frame9");
404 gtk_widget_show (frame9);
405 gtk_box_pack_start (GTK_BOX (vbox5), frame9, FALSE, TRUE, 0);
406
407 table5 = gtk_table_new (9, 2, FALSE);
408 gtk_widget_set_name (table5, "table5");
409 gtk_widget_show (table5);
410 gtk_container_add (GTK_CONTAINER (frame9), table5);
411 gtk_container_set_border_width (GTK_CONTAINER (table5), 6);
412 gtk_table_set_col_spacings (GTK_TABLE (table5), 10);
413
414 label20 = gtk_label_new ("Running");
415 gtk_widget_set_name (label20, "label20");
416 gtk_widget_show (label20);
417 gtk_table_attach (GTK_TABLE (table5), label20, 0, 1, 0, 1,
418 (GtkAttachOptions) (GTK_FILL),
419 (GtkAttachOptions) (0), 0, 0);
420 gtk_label_set_justify (GTK_LABEL (label20), GTK_JUSTIFY_CENTER);
421 gtk_misc_set_alignment (GTK_MISC (label20), 1, 0.5);
422
423 label21 = gtk_label_new ("Blocked on I/O (Read)");
424 gtk_widget_set_name (label21, "label21");
425 gtk_widget_show (label21);
426 gtk_table_attach (GTK_TABLE (table5), label21, 0, 1, 1, 2,
427 (GtkAttachOptions) (GTK_FILL),
428 (GtkAttachOptions) (0), 0, 0);
429 gtk_label_set_justify (GTK_LABEL (label21), GTK_JUSTIFY_CENTER);
430 gtk_misc_set_alignment (GTK_MISC (label21), 1, 0.5);
431
432 label22 = gtk_label_new ("Blocked on MVar");
433 gtk_widget_set_name (label22, "label22");
434 gtk_widget_show (label22);
435 gtk_table_attach (GTK_TABLE (table5), label22, 0, 1, 3, 4,
436 (GtkAttachOptions) (GTK_FILL),
437 (GtkAttachOptions) (0), 0, 0);
438 gtk_label_set_justify (GTK_LABEL (label22), GTK_JUSTIFY_CENTER);
439 gtk_misc_set_alignment (GTK_MISC (label22), 1, 0.5);
440
441 label24 = gtk_label_new ("Blocked on throwTo");
442 gtk_widget_set_name (label24, "label24");
443 gtk_widget_show (label24);
444 gtk_table_attach (GTK_TABLE (table5), label24, 0, 1, 4, 5,
445 (GtkAttachOptions) (GTK_FILL),
446 (GtkAttachOptions) (0), 0, 0);
447 gtk_label_set_justify (GTK_LABEL (label24), GTK_JUSTIFY_CENTER);
448 gtk_misc_set_alignment (GTK_MISC (label24), 1, 0.5);
449
450 label26 = gtk_label_new ("Blocked on Black Hole");
451 gtk_widget_set_name (label26, "label26");
452 gtk_widget_show (label26);
453 gtk_table_attach (GTK_TABLE (table5), label26, 0, 1, 5, 6,
454 (GtkAttachOptions) (GTK_FILL),
455 (GtkAttachOptions) (0), 0, 0);
456 gtk_label_set_justify (GTK_LABEL (label26), GTK_JUSTIFY_CENTER);
457 gtk_misc_set_alignment (GTK_MISC (label26), 1, 0.5);
458
459 label25 = gtk_label_new ("Sleeping");
460 gtk_widget_set_name (label25, "label25");
461 gtk_widget_show (label25);
462 gtk_table_attach (GTK_TABLE (table5), label25, 0, 1, 6, 7,
463 (GtkAttachOptions) (GTK_FILL),
464 (GtkAttachOptions) (0), 0, 0);
465 gtk_label_set_justify (GTK_LABEL (label25), GTK_JUSTIFY_CENTER);
466 gtk_misc_set_alignment (GTK_MISC (label25), 1, 0.5);
467
468 label27 = gtk_label_new ("Blocked on I/O (Write)");
469 gtk_widget_set_name (label27, "label27");
470 gtk_widget_show (label27);
471 gtk_table_attach (GTK_TABLE (table5), label27, 0, 1, 2, 3,
472 (GtkAttachOptions) (0),
473 (GtkAttachOptions) (0), 0, 0);
474 gtk_label_set_justify (GTK_LABEL (label27), GTK_JUSTIFY_CENTER);
475 gtk_misc_set_alignment (GTK_MISC (label27), 1, 0.5);
476
477 running_label = gtk_label_new ("label28");
478 gtk_widget_set_name (running_label, "running_label");
479 gtk_widget_show (running_label);
480 gtk_table_attach (GTK_TABLE (table5), running_label, 1, 2, 0, 1,
481 (GtkAttachOptions) (0),
482 (GtkAttachOptions) (0), 0, 0);
483 gtk_label_set_justify (GTK_LABEL (running_label), GTK_JUSTIFY_CENTER);
484
485 blockread_label = gtk_label_new ("label29");
486 gtk_widget_set_name (blockread_label, "blockread_label");
487 gtk_widget_show (blockread_label);
488 gtk_table_attach (GTK_TABLE (table5), blockread_label, 1, 2, 1, 2,
489 (GtkAttachOptions) (0),
490 (GtkAttachOptions) (0), 0, 0);
491 gtk_label_set_justify (GTK_LABEL (blockread_label), GTK_JUSTIFY_CENTER);
492
493 blockwrite_label = gtk_label_new ("label30");
494 gtk_widget_set_name (blockwrite_label, "blockwrite_label");
495 gtk_widget_show (blockwrite_label);
496 gtk_table_attach (GTK_TABLE (table5), blockwrite_label, 1, 2, 2, 3,
497 (GtkAttachOptions) (0),
498 (GtkAttachOptions) (0), 0, 0);
499 gtk_label_set_justify (GTK_LABEL (blockwrite_label), GTK_JUSTIFY_CENTER);
500
501 blockmvar_label = gtk_label_new ("label31");
502 gtk_widget_set_name (blockmvar_label, "blockmvar_label");
503 gtk_widget_show (blockmvar_label);
504 gtk_table_attach (GTK_TABLE (table5), blockmvar_label, 1, 2, 3, 4,
505 (GtkAttachOptions) (0),
506 (GtkAttachOptions) (0), 0, 0);
507 gtk_label_set_justify (GTK_LABEL (blockmvar_label), GTK_JUSTIFY_CENTER);
508
509 blockthrowto_label = gtk_label_new ("label32");
510 gtk_widget_set_name (blockthrowto_label, "blockthrowto_label");
511 gtk_widget_show (blockthrowto_label);
512 gtk_table_attach (GTK_TABLE (table5), blockthrowto_label, 1, 2, 4, 5,
513 (GtkAttachOptions) (0),
514 (GtkAttachOptions) (0), 0, 0);
515 gtk_label_set_justify (GTK_LABEL (blockthrowto_label), GTK_JUSTIFY_CENTER);
516
517 blockbh_label = gtk_label_new ("label33");
518 gtk_widget_set_name (blockbh_label, "blockbh_label");
519 gtk_widget_show (blockbh_label);
520 gtk_table_attach (GTK_TABLE (table5), blockbh_label, 1, 2, 5, 6,
521 (GtkAttachOptions) (0),
522 (GtkAttachOptions) (0), 0, 0);
523 gtk_label_set_justify (GTK_LABEL (blockbh_label), GTK_JUSTIFY_CENTER);
524
525 sleeping_label = gtk_label_new ("label34");
526 gtk_widget_set_name (sleeping_label, "sleeping_label");
527 gtk_widget_show (sleeping_label);
528 gtk_table_attach (GTK_TABLE (table5), sleeping_label, 1, 2, 6, 7,
529 (GtkAttachOptions) (0),
530 (GtkAttachOptions) (0), 0, 0);
531 gtk_label_set_justify (GTK_LABEL (sleeping_label), GTK_JUSTIFY_CENTER);
532
533 hseparator1 = gtk_hseparator_new ();
534 gtk_widget_set_name (hseparator1, "hseparator1");
535 gtk_widget_show (hseparator1);
536 gtk_table_attach (GTK_TABLE (table5), hseparator1, 0, 1, 7, 8,
537 (GtkAttachOptions) (GTK_FILL),
538 (GtkAttachOptions) (GTK_EXPAND | GTK_FILL), 0, 0);
539
540 hseparator2 = gtk_hseparator_new ();
541 gtk_widget_set_name (hseparator2, "hseparator2");
542 gtk_widget_show (hseparator2);
543 gtk_table_attach (GTK_TABLE (table5), hseparator2, 1, 2, 7, 8,
544 (GtkAttachOptions) (GTK_FILL),
545 (GtkAttachOptions) (GTK_FILL), 0, 0);
546
547 label35 = gtk_label_new ("Total");
548 gtk_widget_set_name (label35, "label35");
549 gtk_widget_show (label35);
550 gtk_table_attach (GTK_TABLE (table5), label35, 0, 1, 8, 9,
551 (GtkAttachOptions) (GTK_FILL),
552 (GtkAttachOptions) (0), 0, 0);
553 gtk_label_set_justify (GTK_LABEL (label35), GTK_JUSTIFY_CENTER);
554 gtk_misc_set_alignment (GTK_MISC (label35), 1, 0.5);
555
556 total_label = gtk_label_new ("label36");
557 gtk_widget_set_name (total_label, "total_label");
558 gtk_widget_show (total_label);
559 gtk_table_attach (GTK_TABLE (table5), total_label, 1, 2, 8, 9,
560 (GtkAttachOptions) (0),
561 (GtkAttachOptions) (0), 0, 0);
562 gtk_label_set_justify (GTK_LABEL (total_label), GTK_JUSTIFY_CENTER);
563
564 label44 = gtk_label_new ("Threads");
565 gtk_widget_set_name (label44, "label44");
566 gtk_widget_show (label44);
567 gtk_frame_set_label_widget (GTK_FRAME (frame9), label44);
568
569 frame6 = gtk_frame_new (NULL);
570 gtk_widget_set_name (frame6, "frame6");
571 gtk_widget_show (frame6);
572 gtk_box_pack_start (GTK_BOX (vbox5), frame6, FALSE, FALSE, 0);
573
574 vbox7 = gtk_vbox_new (FALSE, 10);
575 gtk_widget_set_name (vbox7, "vbox7");
576 gtk_widget_show (vbox7);
577 gtk_container_add (GTK_CONTAINER (frame6), vbox7);
578 gtk_container_set_border_width (GTK_CONTAINER (vbox7), 5);
579
580 vbox9 = gtk_vbox_new (FALSE, 0);
581 gtk_widget_set_name (vbox9, "vbox9");
582 gtk_widget_show (vbox9);
583 gtk_box_pack_start (GTK_BOX (vbox7), vbox9, TRUE, TRUE, 0);
584
585 cont_radio = gtk_radio_button_new_with_mnemonic (NULL, "Continuous");
586 gtk_widget_set_name (cont_radio, "cont_radio");
587 gtk_widget_show (cont_radio);
588 gtk_box_pack_start (GTK_BOX (vbox9), cont_radio, FALSE, FALSE, 0);
589 gtk_radio_button_set_group (GTK_RADIO_BUTTON (cont_radio), cont_radio_group);
590 cont_radio_group = gtk_radio_button_get_group (GTK_RADIO_BUTTON (cont_radio));
591 gtk_toggle_button_set_active (GTK_TOGGLE_BUTTON (cont_radio), TRUE);
592
593 stop_before_radio = gtk_radio_button_new_with_mnemonic (NULL, "Stop before GC");
594 gtk_widget_set_name (stop_before_radio, "stop_before_radio");
595 gtk_widget_show (stop_before_radio);
596 gtk_box_pack_start (GTK_BOX (vbox9), stop_before_radio, FALSE, FALSE, 0);
597 gtk_radio_button_set_group (GTK_RADIO_BUTTON (stop_before_radio), cont_radio_group);
598 cont_radio_group = gtk_radio_button_get_group (GTK_RADIO_BUTTON (stop_before_radio));
599
600 stop_after_radio = gtk_radio_button_new_with_mnemonic (NULL, "Stop after GC");
601 gtk_widget_set_name (stop_after_radio, "stop_after_radio");
602 gtk_widget_show (stop_after_radio);
603 gtk_box_pack_start (GTK_BOX (vbox9), stop_after_radio, FALSE, FALSE, 0);
604 gtk_radio_button_set_group (GTK_RADIO_BUTTON (stop_after_radio), cont_radio_group);
605 cont_radio_group = gtk_radio_button_get_group (GTK_RADIO_BUTTON (stop_after_radio));
606
607 stop_both_radio = gtk_radio_button_new_with_mnemonic (NULL, "Stop before & after GC");
608 gtk_widget_set_name (stop_both_radio, "stop_both_radio");
609 gtk_widget_show (stop_both_radio);
610 gtk_box_pack_start (GTK_BOX (vbox9), stop_both_radio, FALSE, FALSE, 0);
611 gtk_radio_button_set_group (GTK_RADIO_BUTTON (stop_both_radio), cont_radio_group);
612 cont_radio_group = gtk_radio_button_get_group (GTK_RADIO_BUTTON (stop_both_radio));
613
614 vbox8 = gtk_vbox_new (FALSE, 0);
615 gtk_widget_set_name (vbox8, "vbox8");
616 gtk_widget_show (vbox8);
617 gtk_box_pack_start (GTK_BOX (vbox7), vbox8, FALSE, FALSE, 0);
618
619 stop_but = gtk_button_new_with_mnemonic ("Stop");
620 gtk_widget_set_name (stop_but, "stop_but");
621 gtk_widget_show (stop_but);
622 gtk_box_pack_start (GTK_BOX (vbox8), stop_but, FALSE, FALSE, 0);
623
624 continue_but = gtk_button_new_with_mnemonic ("Continue");
625 gtk_widget_set_name (continue_but, "continue_but");
626 gtk_widget_show (continue_but);
627 gtk_box_pack_start (GTK_BOX (vbox8), continue_but, FALSE, FALSE, 0);
628
629 label45 = gtk_label_new ("Updates");
630 gtk_widget_set_name (label45, "label45");
631 gtk_widget_show (label45);
632 gtk_frame_set_label_widget (GTK_FRAME (frame6), label45);
633
634 quit_but = gtk_button_new_with_mnemonic ("Quit");
635 gtk_widget_set_name (quit_but, "quit_but");
636 gtk_widget_show (quit_but);
637 gtk_box_pack_end (GTK_BOX (vbox5), quit_but, FALSE, FALSE, 0);
638
639 statusbar = gtk_statusbar_new ();
640 gtk_widget_set_name (statusbar, "statusbar");
641 gtk_widget_show (statusbar);
642 gtk_box_pack_start (GTK_BOX (vbox1), statusbar, FALSE, FALSE, 0);
643
644 g_signal_connect ((gpointer) cont_radio, "clicked",
645 G_CALLBACK (on_cont_radio_clicked),
646 NULL);
647 g_signal_connect ((gpointer) stop_before_radio, "clicked",
648 G_CALLBACK (on_stop_before_radio_clicked),
649 NULL);
650 g_signal_connect ((gpointer) stop_after_radio, "clicked",
651 G_CALLBACK (on_stop_after_radio_clicked),
652 NULL);
653 g_signal_connect ((gpointer) stop_both_radio, "clicked",
654 G_CALLBACK (on_stop_both_radio_clicked),
655 NULL);
656 g_signal_connect ((gpointer) stop_but, "clicked",
657 G_CALLBACK (on_stop_but_clicked),
658 NULL);
659 g_signal_connect ((gpointer) continue_but, "clicked",
660 G_CALLBACK (on_continue_but_clicked),
661 NULL);
662 g_signal_connect ((gpointer) quit_but, "clicked",
663 G_CALLBACK (on_quit_but_clicked),
664 NULL);
665
666 /* Store pointers to all widgets, for use by lookup_widget(). */
667 GLADE_HOOKUP_OBJECT_NO_REF (GHC_Front_Panel, GHC_Front_Panel, "GHC_Front_Panel");
668 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, vbox1, "vbox1");
669 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, hbox1, "hbox1");
670 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, vbox4, "vbox4");
671 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, frame3, "frame3");
672 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, hbox3, "hbox3");
673 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label40, "label40");
674 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, map_ruler, "map_ruler");
675 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, memmap, "memmap");
676 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label1, "label1");
677 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, frame8, "frame8");
678 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, vbox14, "vbox14");
679 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, table4, "table4");
680 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, gen_ruler, "gen_ruler");
681 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, gen_hbox, "gen_hbox");
682 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, generations, "generations");
683 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label39, "label39");
684 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label41, "label41");
685 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, frame7, "frame7");
686 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, table3, "table3");
687 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, res_hruler, "res_hruler");
688 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, res_vruler, "res_vruler");
689 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, res_drawingarea, "res_drawingarea");
690 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label37, "label37");
691 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label38, "label38");
692 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label42, "label42");
693 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, vbox5, "vbox5");
694 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, frame5, "frame5");
695 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, vbox6, "vbox6");
696 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, table1, "table1");
697 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label12, "label12");
698 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label13, "label13");
699 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label14, "label14");
700 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label15, "label15");
701 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label16, "label16");
702 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label17, "label17");
703 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label18, "label18");
704 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label19, "label19");
705 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, live_label, "live_label");
706 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, allocated_label, "allocated_label");
707 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, footprint_label, "footprint_label");
708 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, alloc_rate_label, "alloc_rate_label");
709 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label43, "label43");
710 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, frame9, "frame9");
711 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, table5, "table5");
712 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label20, "label20");
713 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label21, "label21");
714 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label22, "label22");
715 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label24, "label24");
716 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label26, "label26");
717 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label25, "label25");
718 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label27, "label27");
719 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, running_label, "running_label");
720 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, blockread_label, "blockread_label");
721 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, blockwrite_label, "blockwrite_label");
722 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, blockmvar_label, "blockmvar_label");
723 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, blockthrowto_label, "blockthrowto_label");
724 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, blockbh_label, "blockbh_label");
725 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, sleeping_label, "sleeping_label");
726 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, hseparator1, "hseparator1");
727 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, hseparator2, "hseparator2");
728 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label35, "label35");
729 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, total_label, "total_label");
730 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label44, "label44");
731 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, frame6, "frame6");
732 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, vbox7, "vbox7");
733 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, vbox9, "vbox9");
734 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, cont_radio, "cont_radio");
735 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, stop_before_radio, "stop_before_radio");
736 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, stop_after_radio, "stop_after_radio");
737 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, stop_both_radio, "stop_both_radio");
738 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, vbox8, "vbox8");
739 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, stop_but, "stop_but");
740 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, continue_but, "continue_but");
741 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, label45, "label45");
742 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, quit_but, "quit_but");
743 GLADE_HOOKUP_OBJECT (GHC_Front_Panel, statusbar, "statusbar");
744
745 return GHC_Front_Panel;
746 }
747