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