ghc/rts/ghc-frontpanel.glade

   1 <?xml version="1.0"?>
   2 <GTK-Interface>
   3
   4 <project>
   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>
  22 </project>
  23
  24 <widget>
  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>
  30   <modal>False</modal>
  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>
  36
  37   <widget>
  38     <class>GtkVBox</class>
  39     <name>vbox1</name>
  40     <homogeneous>False</homogeneous>
  41     <spacing>0</spacing>
  42
  43     <widget>
  44       <class>GtkHBox</class>
  45       <name>hbox1</name>
  46       <border_width>10</border_width>
  47       <homogeneous>False</homogeneous>
  48       <spacing>10</spacing>
  49       <child>
  50         <padding>0</padding>
  51         <expand>True</expand>
  52         <fill>True</fill>
  53       </child>
  54
  55       <widget>
  56         <class>GtkVBox</class>
  57         <name>vbox4</name>
  58         <homogeneous>False</homogeneous>
  59         <spacing>10</spacing>
  60         <child>
  61           <padding>0</padding>
  62           <expand>True</expand>
  63           <fill>True</fill>
  64         </child>
  65
  66         <widget>
  67           <class>GtkFrame</class>
  68           <name>frame3</name>
  69           <label>Memory Map</label>
  70           <label_xalign>0</label_xalign>
  71           <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
  72           <child>
  73             <padding>0</padding>
  74             <expand>True</expand>
  75             <fill>True</fill>
  76           </child>
  77
  78           <widget>
  79             <class>GtkHBox</class>
  80             <name>hbox3</name>
  81             <homogeneous>False</homogeneous>
  82             <spacing>0</spacing>
  83
  84             <widget>
  85               <class>GtkLabel</class>
  86               <name>label40</name>
  87               <label>Mb</label>
  88               <justify>GTK_JUSTIFY_CENTER</justify>
  89               <wrap>False</wrap>
  90               <xalign>0.5</xalign>
  91               <yalign>0.5</yalign>
  92               <xpad>0</xpad>
  93               <ypad>0</ypad>
  94               <child>
  95                 <padding>0</padding>
  96                 <expand>False</expand>
  97                 <fill>False</fill>
  98               </child>
  99             </widget>
 100
 101             <widget>
 102               <class>GtkVRuler</class>
 103               <name>map_ruler</name>
 104               <metric>GTK_PIXELS</metric>
 105               <lower>0</lower>
 106               <upper>10</upper>
 107               <position>5.18797</position>
 108               <max_size>10</max_size>
 109               <child>
 110                 <padding>0</padding>
 111                 <expand>False</expand>
 112                 <fill>False</fill>
 113               </child>
 114             </widget>
 115
 116             <widget>
 117               <class>GtkDrawingArea</class>
 118               <name>memmap</name>
 119               <child>
 120                 <padding>0</padding>
 121                 <expand>True</expand>
 122                 <fill>True</fill>
 123               </child>
 124             </widget>
 125           </widget>
 126         </widget>
 127
 128         <widget>
 129           <class>GtkFrame</class>
 130           <name>frame8</name>
 131           <label>Generations</label>
 132           <label_xalign>0</label_xalign>
 133           <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 134           <child>
 135             <padding>0</padding>
 136             <expand>True</expand>
 137             <fill>True</fill>
 138           </child>
 139
 140           <widget>
 141             <class>GtkVBox</class>
 142             <name>vbox14</name>
 143             <homogeneous>False</homogeneous>
 144             <spacing>0</spacing>
 145
 146             <widget>
 147               <class>GtkTable</class>
 148               <name>table4</name>
 149               <rows>2</rows>
 150               <columns>3</columns>
 151               <homogeneous>False</homogeneous>
 152               <row_spacing>0</row_spacing>
 153               <column_spacing>0</column_spacing>
 154               <child>
 155                 <padding>0</padding>
 156                 <expand>True</expand>
 157                 <fill>True</fill>
 158               </child>
 159
 160               <widget>
 161                 <class>GtkVRuler</class>
 162                 <name>gen_ruler</name>
 163                 <metric>GTK_PIXELS</metric>
 164                 <lower>0</lower>
 165                 <upper>10</upper>
 166                 <position>1.69935</position>
 167                 <max_size>10</max_size>
 168                 <child>
 169                   <left_attach>1</left_attach>
 170                   <right_attach>2</right_attach>
 171                   <top_attach>0</top_attach>
 172                   <bottom_attach>1</bottom_attach>
 173                   <xpad>0</xpad>
 174                   <ypad>0</ypad>
 175                   <xexpand>False</xexpand>
 176                   <yexpand>True</yexpand>
 177                   <xshrink>False</xshrink>
 178                   <yshrink>False</yshrink>
 179                   <xfill>True</xfill>
 180                   <yfill>True</yfill>
 181                 </child>
 182               </widget>
 183
 184               <widget>
 185                 <class>GtkHBox</class>
 186                 <name>gen_hbox</name>
 187                 <homogeneous>False</homogeneous>
 188                 <spacing>0</spacing>
 189                 <child>
 190                   <left_attach>2</left_attach>
 191                   <right_attach>3</right_attach>
 192                   <top_attach>1</top_attach>
 193                   <bottom_attach>2</bottom_attach>
 194                   <xpad>0</xpad>
 195                   <ypad>0</ypad>
 196                   <xexpand>True</xexpand>
 197                   <yexpand>False</yexpand>
 198                   <xshrink>False</xshrink>
 199                   <yshrink>False</yshrink>
 200                   <xfill>True</xfill>
 201                   <yfill>True</yfill>
 202                 </child>
 203
 204                 <widget>
 205                   <class>Placeholder</class>
 206                 </widget>
 207
 208                 <widget>
 209                   <class>Placeholder</class>
 210                 </widget>
 211
 212                 <widget>
 213                   <class>Placeholder</class>
 214                 </widget>
 215               </widget>
 216
 217               <widget>
 218                 <class>GtkDrawingArea</class>
 219                 <name>generations</name>
 220                 <child>
 221                   <left_attach>2</left_attach>
 222                   <right_attach>3</right_attach>
 223                   <top_attach>0</top_attach>
 224                   <bottom_attach>1</bottom_attach>
 225                   <xpad>0</xpad>
 226                   <ypad>0</ypad>
 227                   <xexpand>False</xexpand>
 228                   <yexpand>False</yexpand>
 229                   <xshrink>False</xshrink>
 230                   <yshrink>False</yshrink>
 231                   <xfill>True</xfill>
 232                   <yfill>True</yfill>
 233                 </child>
 234               </widget>
 235
 236               <widget>
 237                 <class>GtkLabel</class>
 238                 <name>label39</name>
 239                 <label>Mb</label>
 240                 <justify>GTK_JUSTIFY_CENTER</justify>
 241                 <wrap>False</wrap>
 242                 <xalign>0.5</xalign>
 243                 <yalign>0.5</yalign>
 244                 <xpad>0</xpad>
 245                 <ypad>0</ypad>
 246                 <child>
 247                   <left_attach>0</left_attach>
 248                   <right_attach>1</right_attach>
 249                   <top_attach>0</top_attach>
 250                   <bottom_attach>1</bottom_attach>
 251                   <xpad>0</xpad>
 252                   <ypad>0</ypad>
 253                   <xexpand>False</xexpand>
 254                   <yexpand>False</yexpand>
 255                   <xshrink>False</xshrink>
 256                   <yshrink>False</yshrink>
 257                   <xfill>False</xfill>
 258                   <yfill>False</yfill>
 259                 </child>
 260               </widget>
 261             </widget>
 262           </widget>
 263         </widget>
 264
 265         <widget>
 266           <class>GtkFrame</class>
 267           <name>frame7</name>
 268           <label>Residency</label>
 269           <label_xalign>0</label_xalign>
 270           <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 271           <child>
 272             <padding>0</padding>
 273             <expand>True</expand>
 274             <fill>True</fill>
 275           </child>
 276
 277           <widget>
 278             <class>GtkTable</class>
 279             <name>table3</name>
 280             <border_width>2</border_width>
 281             <rows>3</rows>
 282             <columns>3</columns>
 283             <homogeneous>False</homogeneous>
 284             <row_spacing>0</row_spacing>
 285             <column_spacing>0</column_spacing>
 286
 287             <widget>
 288               <class>GtkHRuler</class>
 289               <name>res_hruler</name>
 290               <metric>GTK_PIXELS</metric>
 291               <lower>0</lower>
 292               <upper>10</upper>
 293               <position>8.35443</position>
 294               <max_size>10</max_size>
 295               <child>
 296                 <left_attach>2</left_attach>
 297                 <right_attach>3</right_attach>
 298                 <top_attach>1</top_attach>
 299                 <bottom_attach>2</bottom_attach>
 300                 <xpad>0</xpad>
 301                 <ypad>0</ypad>
 302                 <xexpand>True</xexpand>
 303                 <yexpand>False</yexpand>
 304                 <xshrink>False</xshrink>
 305                 <yshrink>False</yshrink>
 306                 <xfill>True</xfill>
 307                 <yfill>True</yfill>
 308               </child>
 309             </widget>
 310
 311             <widget>
 312               <class>GtkVRuler</class>
 313               <name>res_vruler</name>
 314               <metric>GTK_PIXELS</metric>
 315               <lower>0</lower>
 316               <upper>10</upper>
 317               <position>9.69925</position>
 318               <max_size>10</max_size>
 319               <child>
 320                 <left_attach>1</left_attach>
 321                 <right_attach>2</right_attach>
 322                 <top_attach>2</top_attach>
 323                 <bottom_attach>3</bottom_attach>
 324                 <xpad>0</xpad>
 325                 <ypad>0</ypad>
 326                 <xexpand>False</xexpand>
 327                 <yexpand>True</yexpand>
 328                 <xshrink>False</xshrink>
 329                 <yshrink>False</yshrink>
 330                 <xfill>True</xfill>
 331                 <yfill>True</yfill>
 332               </child>
 333             </widget>
 334
 335             <widget>
 336               <class>GtkDrawingArea</class>
 337               <name>res_drawingarea</name>
 338               <child>
 339                 <left_attach>2</left_attach>
 340                 <right_attach>3</right_attach>
 341                 <top_attach>2</top_attach>
 342                 <bottom_attach>3</bottom_attach>
 343                 <xpad>0</xpad>
 344                 <ypad>0</ypad>
 345                 <xexpand>False</xexpand>
 346                 <yexpand>False</yexpand>
 347                 <xshrink>False</xshrink>
 348                 <yshrink>False</yshrink>
 349                 <xfill>True</xfill>
 350                 <yfill>True</yfill>
 351               </child>
 352             </widget>
 353
 354             <widget>
 355               <class>GtkLabel</class>
 356               <name>label37</name>
 357               <label>Secs</label>
 358               <justify>GTK_JUSTIFY_CENTER</justify>
 359               <wrap>False</wrap>
 360               <xalign>0.5</xalign>
 361               <yalign>0.5</yalign>
 362               <xpad>0</xpad>
 363               <ypad>0</ypad>
 364               <child>
 365                 <left_attach>2</left_attach>
 366                 <right_attach>3</right_attach>
 367                 <top_attach>0</top_attach>
 368                 <bottom_attach>1</bottom_attach>
 369                 <xpad>0</xpad>
 370                 <ypad>0</ypad>
 371                 <xexpand>False</xexpand>
 372                 <yexpand>False</yexpand>
 373                 <xshrink>False</xshrink>
 374                 <yshrink>False</yshrink>
 375                 <xfill>False</xfill>
 376                 <yfill>False</yfill>
 377               </child>
 378             </widget>
 379
 380             <widget>
 381               <class>GtkLabel</class>
 382               <name>label38</name>
 383               <label>Mb</label>
 384               <justify>GTK_JUSTIFY_CENTER</justify>
 385               <wrap>False</wrap>
 386               <xalign>0.5</xalign>
 387               <yalign>0.5</yalign>
 388               <xpad>0</xpad>
 389               <ypad>0</ypad>
 390               <child>
 391                 <left_attach>0</left_attach>
 392                 <right_attach>1</right_attach>
 393                 <top_attach>2</top_attach>
 394                 <bottom_attach>3</bottom_attach>
 395                 <xpad>0</xpad>
 396                 <ypad>0</ypad>
 397                 <xexpand>False</xexpand>
 398                 <yexpand>False</yexpand>
 399                 <xshrink>False</xshrink>
 400                 <yshrink>False</yshrink>
 401                 <xfill>False</xfill>
 402                 <yfill>False</yfill>
 403               </child>
 404             </widget>
 405           </widget>
 406         </widget>
 407       </widget>
 408
 409       <widget>
 410         <class>GtkVBox</class>
 411         <name>vbox5</name>
 412         <homogeneous>False</homogeneous>
 413         <spacing>10</spacing>
 414         <child>
 415           <padding>0</padding>
 416           <expand>False</expand>
 417           <fill>False</fill>
 418           <pack>GTK_PACK_END</pack>
 419         </child>
 420
 421         <widget>
 422           <class>GtkFrame</class>
 423           <name>frame5</name>
 424           <label>Stats</label>
 425           <label_xalign>0</label_xalign>
 426           <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 427           <child>
 428             <padding>0</padding>
 429             <expand>False</expand>
 430             <fill>True</fill>
 431           </child>
 432
 433           <widget>
 434             <class>GtkVBox</class>
 435             <name>vbox6</name>
 436             <border_width>5</border_width>
 437             <homogeneous>False</homogeneous>
 438             <spacing>0</spacing>
 439
 440             <widget>
 441               <class>Placeholder</class>
 442             </widget>
 443
 444             <widget>
 445               <class>Placeholder</class>
 446             </widget>
 447
 448             <widget>
 449               <class>GtkTable</class>
 450               <name>table1</name>
 451               <rows>4</rows>
 452               <columns>3</columns>
 453               <homogeneous>False</homogeneous>
 454               <row_spacing>0</row_spacing>
 455               <column_spacing>7</column_spacing>
 456               <child>
 457                 <padding>0</padding>
 458                 <expand>True</expand>
 459                 <fill>True</fill>
 460               </child>
 461
 462               <widget>
 463                 <class>GtkLabel</class>
 464                 <name>label12</name>
 465                 <label>Allocated</label>
 466                 <justify>GTK_JUSTIFY_RIGHT</justify>
 467                 <wrap>False</wrap>
 468                 <xalign>1</xalign>
 469                 <yalign>0.5</yalign>
 470                 <xpad>0</xpad>
 471                 <ypad>0</ypad>
 472                 <child>
 473                   <left_attach>0</left_attach>
 474                   <right_attach>1</right_attach>
 475                   <top_attach>1</top_attach>
 476                   <bottom_attach>2</bottom_attach>
 477                   <xpad>0</xpad>
 478                   <ypad>0</ypad>
 479                   <xexpand>False</xexpand>
 480                   <yexpand>False</yexpand>
 481                   <xshrink>False</xshrink>
 482                   <yshrink>False</yshrink>
 483                   <xfill>True</xfill>
 484                   <yfill>False</yfill>
 485                 </child>
 486               </widget>
 487
 488               <widget>
 489                 <class>GtkLabel</class>
 490                 <name>label13</name>
 491                 <label>Live</label>
 492                 <justify>GTK_JUSTIFY_RIGHT</justify>
 493                 <wrap>False</wrap>
 494                 <xalign>1</xalign>
 495                 <yalign>0.5</yalign>
 496                 <xpad>0</xpad>
 497                 <ypad>0</ypad>
 498                 <child>
 499                   <left_attach>0</left_attach>
 500                   <right_attach>1</right_attach>
 501                   <top_attach>0</top_attach>
 502                   <bottom_attach>1</bottom_attach>
 503                   <xpad>0</xpad>
 504                   <ypad>0</ypad>
 505                   <xexpand>False</xexpand>
 506                   <yexpand>False</yexpand>
 507                   <xshrink>False</xshrink>
 508                   <yshrink>False</yshrink>
 509                   <xfill>True</xfill>
 510                   <yfill>False</yfill>
 511                 </child>
 512               </widget>
 513
 514               <widget>
 515                 <class>GtkLabel</class>
 516                 <name>label14</name>
 517                 <label>Allocation Rate</label>
 518                 <justify>GTK_JUSTIFY_RIGHT</justify>
 519                 <wrap>False</wrap>
 520                 <xalign>1</xalign>
 521                 <yalign>0.5</yalign>
 522                 <xpad>0</xpad>
 523                 <ypad>0</ypad>
 524                 <child>
 525                   <left_attach>0</left_attach>
 526                   <right_attach>1</right_attach>
 527                   <top_attach>3</top_attach>
 528                   <bottom_attach>4</bottom_attach>
 529                   <xpad>0</xpad>
 530                   <ypad>0</ypad>
 531                   <xexpand>False</xexpand>
 532                   <yexpand>False</yexpand>
 533                   <xshrink>False</xshrink>
 534                   <yshrink>False</yshrink>
 535                   <xfill>False</xfill>
 536                   <yfill>False</yfill>
 537                 </child>
 538               </widget>
 539
 540               <widget>
 541                 <class>GtkLabel</class>
 542                 <name>label15</name>
 543                 <label>         Footprint</label>
 544                 <justify>GTK_JUSTIFY_RIGHT</justify>
 545                 <wrap>False</wrap>
 546                 <xalign>1</xalign>
 547                 <yalign>0.5</yalign>
 548                 <xpad>0</xpad>
 549                 <ypad>0</ypad>
 550                 <child>
 551                   <left_attach>0</left_attach>
 552                   <right_attach>1</right_attach>
 553                   <top_attach>2</top_attach>
 554                   <bottom_attach>3</bottom_attach>
 555                   <xpad>0</xpad>
 556                   <ypad>0</ypad>
 557                   <xexpand>False</xexpand>
 558                   <yexpand>False</yexpand>
 559                   <xshrink>False</xshrink>
 560                   <yshrink>False</yshrink>
 561                   <xfill>True</xfill>
 562                   <yfill>False</yfill>
 563                 </child>
 564               </widget>
 565
 566               <widget>
 567                 <class>GtkLabel</class>
 568                 <name>label16</name>
 569                 <label>M/sec</label>
 570                 <justify>GTK_JUSTIFY_CENTER</justify>
 571                 <wrap>False</wrap>
 572                 <xalign>0.5</xalign>
 573                 <yalign>0.5</yalign>
 574                 <xpad>0</xpad>
 575                 <ypad>0</ypad>
 576                 <child>
 577                   <left_attach>2</left_attach>
 578                   <right_attach>3</right_attach>
 579                   <top_attach>3</top_attach>
 580                   <bottom_attach>4</bottom_attach>
 581                   <xpad>0</xpad>
 582                   <ypad>0</ypad>
 583                   <xexpand>False</xexpand>
 584                   <yexpand>False</yexpand>
 585                   <xshrink>False</xshrink>
 586                   <yshrink>False</yshrink>
 587                   <xfill>False</xfill>
 588                   <yfill>False</yfill>
 589                 </child>
 590               </widget>
 591
 592               <widget>
 593                 <class>GtkLabel</class>
 594                 <name>label17</name>
 595                 <label>M</label>
 596                 <justify>GTK_JUSTIFY_LEFT</justify>
 597                 <wrap>False</wrap>
 598                 <xalign>7.45058e-09</xalign>
 599                 <yalign>0.5</yalign>
 600                 <xpad>0</xpad>
 601                 <ypad>0</ypad>
 602                 <child>
 603                   <left_attach>2</left_attach>
 604                   <right_attach>3</right_attach>
 605                   <top_attach>2</top_attach>
 606                   <bottom_attach>3</bottom_attach>
 607                   <xpad>0</xpad>
 608                   <ypad>0</ypad>
 609                   <xexpand>False</xexpand>
 610                   <yexpand>False</yexpand>
 611                   <xshrink>False</xshrink>
 612                   <yshrink>False</yshrink>
 613                   <xfill>True</xfill>
 614                   <yfill>False</yfill>
 615                 </child>
 616               </widget>
 617
 618               <widget>
 619                 <class>GtkLabel</class>
 620                 <name>label18</name>
 621                 <label>M</label>
 622                 <justify>GTK_JUSTIFY_CENTER</justify>
 623                 <wrap>False</wrap>
 624                 <xalign>7.45058e-09</xalign>
 625                 <yalign>0.5</yalign>
 626                 <xpad>0</xpad>
 627                 <ypad>0</ypad>
 628                 <child>
 629                   <left_attach>2</left_attach>
 630                   <right_attach>3</right_attach>
 631                   <top_attach>1</top_attach>
 632                   <bottom_attach>2</bottom_attach>
 633                   <xpad>0</xpad>
 634                   <ypad>0</ypad>
 635                   <xexpand>False</xexpand>
 636                   <yexpand>False</yexpand>
 637                   <xshrink>False</xshrink>
 638                   <yshrink>False</yshrink>
 639                   <xfill>True</xfill>
 640                   <yfill>False</yfill>
 641                 </child>
 642               </widget>
 643
 644               <widget>
 645                 <class>GtkLabel</class>
 646                 <name>label19</name>
 647                 <label>M</label>
 648                 <justify>GTK_JUSTIFY_CENTER</justify>
 649                 <wrap>False</wrap>
 650                 <xalign>7.45058e-09</xalign>
 651                 <yalign>0.5</yalign>
 652                 <xpad>0</xpad>
 653                 <ypad>0</ypad>
 654                 <child>
 655                   <left_attach>2</left_attach>
 656                   <right_attach>3</right_attach>
 657                   <top_attach>0</top_attach>
 658                   <bottom_attach>1</bottom_attach>
 659                   <xpad>0</xpad>
 660                   <ypad>0</ypad>
 661                   <xexpand>False</xexpand>
 662                   <yexpand>False</yexpand>
 663                   <xshrink>False</xshrink>
 664                   <yshrink>False</yshrink>
 665                   <xfill>True</xfill>
 666                   <yfill>False</yfill>
 667                 </child>
 668               </widget>
 669
 670               <widget>
 671                 <class>GtkLabel</class>
 672                 <name>live_label</name>
 673                 <width>70</width>
 674                 <label></label>
 675                 <justify>GTK_JUSTIFY_CENTER</justify>
 676                 <wrap>False</wrap>
 677                 <xalign>1</xalign>
 678                 <yalign>0.5</yalign>
 679                 <xpad>0</xpad>
 680                 <ypad>0</ypad>
 681                 <child>
 682                   <left_attach>1</left_attach>
 683                   <right_attach>2</right_attach>
 684                   <top_attach>0</top_attach>
 685                   <bottom_attach>1</bottom_attach>
 686                   <xpad>0</xpad>
 687                   <ypad>0</ypad>
 688                   <xexpand>False</xexpand>
 689                   <yexpand>False</yexpand>
 690                   <xshrink>False</xshrink>
 691                   <yshrink>False</yshrink>
 692                   <xfill>True</xfill>
 693                   <yfill>False</yfill>
 694                 </child>
 695               </widget>
 696
 697               <widget>
 698                 <class>GtkLabel</class>
 699                 <name>allocated_label</name>
 700                 <width>70</width>
 701                 <label></label>
 702                 <justify>GTK_JUSTIFY_CENTER</justify>
 703                 <wrap>False</wrap>
 704                 <xalign>1</xalign>
 705                 <yalign>0.5</yalign>
 706                 <xpad>0</xpad>
 707                 <ypad>0</ypad>
 708                 <child>
 709                   <left_attach>1</left_attach>
 710                   <right_attach>2</right_attach>
 711                   <top_attach>1</top_attach>
 712                   <bottom_attach>2</bottom_attach>
 713                   <xpad>0</xpad>
 714                   <ypad>0</ypad>
 715                   <xexpand>False</xexpand>
 716                   <yexpand>False</yexpand>
 717                   <xshrink>False</xshrink>
 718                   <yshrink>False</yshrink>
 719                   <xfill>True</xfill>
 720                   <yfill>False</yfill>
 721                 </child>
 722               </widget>
 723
 724               <widget>
 725                 <class>GtkLabel</class>
 726                 <name>footprint_label</name>
 727                 <width>70</width>
 728                 <label></label>
 729                 <justify>GTK_JUSTIFY_CENTER</justify>
 730                 <wrap>False</wrap>
 731                 <xalign>1</xalign>
 732                 <yalign>0.5</yalign>
 733                 <xpad>0</xpad>
 734                 <ypad>0</ypad>
 735                 <child>
 736                   <left_attach>1</left_attach>
 737                   <right_attach>2</right_attach>
 738                   <top_attach>2</top_attach>
 739                   <bottom_attach>3</bottom_attach>
 740                   <xpad>0</xpad>
 741                   <ypad>0</ypad>
 742                   <xexpand>False</xexpand>
 743                   <yexpand>False</yexpand>
 744                   <xshrink>False</xshrink>
 745                   <yshrink>False</yshrink>
 746                   <xfill>True</xfill>
 747                   <yfill>False</yfill>
 748                 </child>
 749               </widget>
 750
 751               <widget>
 752                 <class>GtkLabel</class>
 753                 <name>alloc_rate_label</name>
 754                 <width>70</width>
 755                 <label></label>
 756                 <justify>GTK_JUSTIFY_CENTER</justify>
 757                 <wrap>False</wrap>
 758                 <xalign>1</xalign>
 759                 <yalign>0.5</yalign>
 760                 <xpad>0</xpad>
 761                 <ypad>0</ypad>
 762                 <child>
 763                   <left_attach>1</left_attach>
 764                   <right_attach>2</right_attach>
 765                   <top_attach>3</top_attach>
 766                   <bottom_attach>4</bottom_attach>
 767                   <xpad>0</xpad>
 768                   <ypad>0</ypad>
 769                   <xexpand>False</xexpand>
 770                   <yexpand>False</yexpand>
 771                   <xshrink>False</xshrink>
 772                   <yshrink>False</yshrink>
 773                   <xfill>True</xfill>
 774                   <yfill>False</yfill>
 775                 </child>
 776               </widget>
 777             </widget>
 778           </widget>
 779         </widget>
 780
 781         <widget>
 782           <class>GtkFrame</class>
 783           <name>frame9</name>
 784           <label>Threads</label>
 785           <label_xalign>0</label_xalign>
 786           <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
 787           <child>
 788             <padding>0</padding>
 789             <expand>False</expand>
 790             <fill>True</fill>
 791           </child>
 792
 793           <widget>
 794             <class>GtkTable</class>
 795             <name>table5</name>
 796             <border_width>6</border_width>
 797             <rows>9</rows>
 798             <columns>2</columns>
 799             <homogeneous>False</homogeneous>
 800             <row_spacing>0</row_spacing>
 801             <column_spacing>10</column_spacing>
 802
 803             <widget>
 804               <class>GtkLabel</class>
 805               <name>label20</name>
 806               <label>Running</label>
 807               <justify>GTK_JUSTIFY_CENTER</justify>
 808               <wrap>False</wrap>
 809               <xalign>1</xalign>
 810               <yalign>0.5</yalign>
 811               <xpad>0</xpad>
 812               <ypad>0</ypad>
 813               <child>
 814                 <left_attach>0</left_attach>
 815                 <right_attach>1</right_attach>
 816                 <top_attach>0</top_attach>
 817                 <bottom_attach>1</bottom_attach>
 818                 <xpad>0</xpad>
 819                 <ypad>0</ypad>
 820                 <xexpand>False</xexpand>
 821                 <yexpand>False</yexpand>
 822                 <xshrink>False</xshrink>
 823                 <yshrink>False</yshrink>
 824                 <xfill>True</xfill>
 825                 <yfill>False</yfill>
 826               </child>
 827             </widget>
 828
 829             <widget>
 830               <class>GtkLabel</class>
 831               <name>label21</name>
 832               <label>Blocked on I/O (Read)</label>
 833               <justify>GTK_JUSTIFY_CENTER</justify>
 834               <wrap>False</wrap>
 835               <xalign>1</xalign>
 836               <yalign>0.5</yalign>
 837               <xpad>0</xpad>
 838               <ypad>0</ypad>
 839               <child>
 840                 <left_attach>0</left_attach>
 841                 <right_attach>1</right_attach>
 842                 <top_attach>1</top_attach>
 843                 <bottom_attach>2</bottom_attach>
 844                 <xpad>0</xpad>
 845                 <ypad>0</ypad>
 846                 <xexpand>False</xexpand>
 847                 <yexpand>False</yexpand>
 848                 <xshrink>False</xshrink>
 849                 <yshrink>False</yshrink>
 850                 <xfill>True</xfill>
 851                 <yfill>False</yfill>
 852               </child>
 853             </widget>
 854
 855             <widget>
 856               <class>GtkLabel</class>
 857               <name>label22</name>
 858               <label>Blocked on MVar</label>
 859               <justify>GTK_JUSTIFY_CENTER</justify>
 860               <wrap>False</wrap>
 861               <xalign>1</xalign>
 862               <yalign>0.5</yalign>
 863               <xpad>0</xpad>
 864               <ypad>0</ypad>
 865               <child>
 866                 <left_attach>0</left_attach>
 867                 <right_attach>1</right_attach>
 868                 <top_attach>3</top_attach>
 869                 <bottom_attach>4</bottom_attach>
 870                 <xpad>0</xpad>
 871                 <ypad>0</ypad>
 872                 <xexpand>False</xexpand>
 873                 <yexpand>False</yexpand>
 874                 <xshrink>False</xshrink>
 875                 <yshrink>False</yshrink>
 876                 <xfill>True</xfill>
 877                 <yfill>False</yfill>
 878               </child>
 879             </widget>
 880
 881             <widget>
 882               <class>GtkLabel</class>
 883               <name>label24</name>
 884               <label>Blocked on throwTo</label>
 885               <justify>GTK_JUSTIFY_CENTER</justify>
 886               <wrap>False</wrap>
 887               <xalign>1</xalign>
 888               <yalign>0.5</yalign>
 889               <xpad>0</xpad>
 890               <ypad>0</ypad>
 891               <child>
 892                 <left_attach>0</left_attach>
 893                 <right_attach>1</right_attach>
 894                 <top_attach>4</top_attach>
 895                 <bottom_attach>5</bottom_attach>
 896                 <xpad>0</xpad>
 897                 <ypad>0</ypad>
 898                 <xexpand>False</xexpand>
 899                 <yexpand>False</yexpand>
 900                 <xshrink>False</xshrink>
 901                 <yshrink>False</yshrink>
 902                 <xfill>True</xfill>
 903                 <yfill>False</yfill>
 904               </child>
 905             </widget>
 906
 907             <widget>
 908               <class>GtkLabel</class>
 909               <name>label26</name>
 910               <label>Blocked on Black Hole</label>
 911               <justify>GTK_JUSTIFY_CENTER</justify>
 912               <wrap>False</wrap>
 913               <xalign>1</xalign>
 914               <yalign>0.5</yalign>
 915               <xpad>0</xpad>
 916               <ypad>0</ypad>
 917               <child>
 918                 <left_attach>0</left_attach>
 919                 <right_attach>1</right_attach>
 920                 <top_attach>5</top_attach>
 921                 <bottom_attach>6</bottom_attach>
 922                 <xpad>0</xpad>
 923                 <ypad>0</ypad>
 924                 <xexpand>False</xexpand>
 925                 <yexpand>False</yexpand>
 926                 <xshrink>False</xshrink>
 927                 <yshrink>False</yshrink>
 928                 <xfill>True</xfill>
 929                 <yfill>False</yfill>
 930               </child>
 931             </widget>
 932
 933             <widget>
 934               <class>GtkLabel</class>
 935               <name>label25</name>
 936               <label>Sleeping</label>
 937               <justify>GTK_JUSTIFY_CENTER</justify>
 938               <wrap>False</wrap>
 939               <xalign>1</xalign>
 940               <yalign>0.5</yalign>
 941               <xpad>0</xpad>
 942               <ypad>0</ypad>
 943               <child>
 944                 <left_attach>0</left_attach>
 945                 <right_attach>1</right_attach>
 946                 <top_attach>6</top_attach>
 947                 <bottom_attach>7</bottom_attach>
 948                 <xpad>0</xpad>
 949                 <ypad>0</ypad>
 950                 <xexpand>False</xexpand>
 951                 <yexpand>False</yexpand>
 952                 <xshrink>False</xshrink>
 953                 <yshrink>False</yshrink>
 954                 <xfill>True</xfill>
 955                 <yfill>False</yfill>
 956               </child>
 957             </widget>
 958
 959             <widget>
 960               <class>GtkLabel</class>
 961               <name>label27</name>
 962               <label>Blocked on I/O (Write)</label>
 963               <justify>GTK_JUSTIFY_CENTER</justify>
 964               <wrap>False</wrap>
 965               <xalign>1</xalign>
 966               <yalign>0.5</yalign>
 967               <xpad>0</xpad>
 968               <ypad>0</ypad>
 969               <child>
 970                 <left_attach>0</left_attach>
 971                 <right_attach>1</right_attach>
 972                 <top_attach>2</top_attach>
 973                 <bottom_attach>3</bottom_attach>
 974                 <xpad>0</xpad>
 975                 <ypad>0</ypad>
 976                 <xexpand>False</xexpand>
 977                 <yexpand>False</yexpand>
 978                 <xshrink>False</xshrink>
 979                 <yshrink>False</yshrink>
 980                 <xfill>False</xfill>
 981                 <yfill>False</yfill>
 982               </child>
 983             </widget>
 984
 985             <widget>
 986               <class>GtkLabel</class>
 987               <name>running_label</name>
 988               <label>label28</label>
 989               <justify>GTK_JUSTIFY_CENTER</justify>
 990               <wrap>False</wrap>
 991               <xalign>0.5</xalign>
 992               <yalign>0.5</yalign>
 993               <xpad>0</xpad>
 994               <ypad>0</ypad>
 995               <child>
 996                 <left_attach>1</left_attach>
 997                 <right_attach>2</right_attach>
 998                 <top_attach>0</top_attach>
 999                 <bottom_attach>1</bottom_attach>
1000                 <xpad>0</xpad>
1001                 <ypad>0</ypad>
1002                 <xexpand>False</xexpand>
1003                 <yexpand>False</yexpand>
1004                 <xshrink>False</xshrink>
1005                 <yshrink>False</yshrink>
1006                 <xfill>False</xfill>
1007                 <yfill>False</yfill>
1008               </child>
1009             </widget>
1010
1011             <widget>
1012               <class>GtkLabel</class>
1013               <name>blockread_label</name>
1014               <label>label29</label>
1015               <justify>GTK_JUSTIFY_CENTER</justify>
1016               <wrap>False</wrap>
1017               <xalign>0.5</xalign>
1018               <yalign>0.5</yalign>
1019               <xpad>0</xpad>
1020               <ypad>0</ypad>
1021               <child>
1022                 <left_attach>1</left_attach>
1023                 <right_attach>2</right_attach>
1024                 <top_attach>1</top_attach>
1025                 <bottom_attach>2</bottom_attach>
1026                 <xpad>0</xpad>
1027                 <ypad>0</ypad>
1028                 <xexpand>False</xexpand>
1029                 <yexpand>False</yexpand>
1030                 <xshrink>False</xshrink>
1031                 <yshrink>False</yshrink>
1032                 <xfill>False</xfill>
1033                 <yfill>False</yfill>
1034               </child>
1035             </widget>
1036
1037             <widget>
1038               <class>GtkLabel</class>
1039               <name>blockwrite_label</name>
1040               <label>label30</label>
1041               <justify>GTK_JUSTIFY_CENTER</justify>
1042               <wrap>False</wrap>
1043               <xalign>0.5</xalign>
1044               <yalign>0.5</yalign>
1045               <xpad>0</xpad>
1046               <ypad>0</ypad>
1047               <child>
1048                 <left_attach>1</left_attach>
1049                 <right_attach>2</right_attach>
1050                 <top_attach>2</top_attach>
1051                 <bottom_attach>3</bottom_attach>
1052                 <xpad>0</xpad>
1053                 <ypad>0</ypad>
1054                 <xexpand>False</xexpand>
1055                 <yexpand>False</yexpand>
1056                 <xshrink>False</xshrink>
1057                 <yshrink>False</yshrink>
1058                 <xfill>False</xfill>
1059                 <yfill>False</yfill>
1060               </child>
1061             </widget>
1062
1063             <widget>
1064               <class>GtkLabel</class>
1065               <name>blockmvar_label</name>
1066               <label>label31</label>
1067               <justify>GTK_JUSTIFY_CENTER</justify>
1068               <wrap>False</wrap>
1069               <xalign>0.5</xalign>
1070               <yalign>0.5</yalign>
1071               <xpad>0</xpad>
1072               <ypad>0</ypad>
1073               <child>
1074                 <left_attach>1</left_attach>
1075                 <right_attach>2</right_attach>
1076                 <top_attach>3</top_attach>
1077                 <bottom_attach>4</bottom_attach>
1078                 <xpad>0</xpad>
1079                 <ypad>0</ypad>
1080                 <xexpand>False</xexpand>
1081                 <yexpand>False</yexpand>
1082                 <xshrink>False</xshrink>
1083                 <yshrink>False</yshrink>
1084                 <xfill>False</xfill>
1085                 <yfill>False</yfill>
1086               </child>
1087             </widget>
1088
1089             <widget>
1090               <class>GtkLabel</class>
1091               <name>blockthrowto_label</name>
1092               <label>label32</label>
1093               <justify>GTK_JUSTIFY_CENTER</justify>
1094               <wrap>False</wrap>
1095               <xalign>0.5</xalign>
1096               <yalign>0.5</yalign>
1097               <xpad>0</xpad>
1098               <ypad>0</ypad>
1099               <child>
1100                 <left_attach>1</left_attach>
1101                 <right_attach>2</right_attach>
1102                 <top_attach>4</top_attach>
1103                 <bottom_attach>5</bottom_attach>
1104                 <xpad>0</xpad>
1105                 <ypad>0</ypad>
1106                 <xexpand>False</xexpand>
1107                 <yexpand>False</yexpand>
1108                 <xshrink>False</xshrink>
1109                 <yshrink>False</yshrink>
1110                 <xfill>False</xfill>
1111                 <yfill>False</yfill>
1112               </child>
1113             </widget>
1114
1115             <widget>
1116               <class>GtkLabel</class>
1117               <name>blockbh_label</name>
1118               <label>label33</label>
1119               <justify>GTK_JUSTIFY_CENTER</justify>
1120               <wrap>False</wrap>
1121               <xalign>0.5</xalign>
1122               <yalign>0.5</yalign>
1123               <xpad>0</xpad>
1124               <ypad>0</ypad>
1125               <child>
1126                 <left_attach>1</left_attach>
1127                 <right_attach>2</right_attach>
1128                 <top_attach>5</top_attach>
1129                 <bottom_attach>6</bottom_attach>
1130                 <xpad>0</xpad>
1131                 <ypad>0</ypad>
1132                 <xexpand>False</xexpand>
1133                 <yexpand>False</yexpand>
1134                 <xshrink>False</xshrink>
1135                 <yshrink>False</yshrink>
1136                 <xfill>False</xfill>
1137                 <yfill>False</yfill>
1138               </child>
1139             </widget>
1140
1141             <widget>
1142               <class>GtkLabel</class>
1143               <name>sleeping_label</name>
1144               <label>label34</label>
1145               <justify>GTK_JUSTIFY_CENTER</justify>
1146               <wrap>False</wrap>
1147               <xalign>0.5</xalign>
1148               <yalign>0.5</yalign>
1149               <xpad>0</xpad>
1150               <ypad>0</ypad>
1151               <child>
1152                 <left_attach>1</left_attach>
1153                 <right_attach>2</right_attach>
1154                 <top_attach>6</top_attach>
1155                 <bottom_attach>7</bottom_attach>
1156                 <xpad>0</xpad>
1157                 <ypad>0</ypad>
1158                 <xexpand>False</xexpand>
1159                 <yexpand>False</yexpand>
1160                 <xshrink>False</xshrink>
1161                 <yshrink>False</yshrink>
1162                 <xfill>False</xfill>
1163                 <yfill>False</yfill>
1164               </child>
1165             </widget>
1166
1167             <widget>
1168               <class>GtkHSeparator</class>
1169               <name>hseparator1</name>
1170               <child>
1171                 <left_attach>0</left_attach>
1172                 <right_attach>1</right_attach>
1173                 <top_attach>7</top_attach>
1174                 <bottom_attach>8</bottom_attach>
1175                 <xpad>0</xpad>
1176                 <ypad>0</ypad>
1177                 <xexpand>False</xexpand>
1178                 <yexpand>True</yexpand>
1179                 <xshrink>False</xshrink>
1180                 <yshrink>False</yshrink>
1181                 <xfill>True</xfill>
1182                 <yfill>True</yfill>
1183               </child>
1184             </widget>
1185
1186             <widget>
1187               <class>GtkHSeparator</class>
1188               <name>hseparator2</name>
1189               <child>
1190                 <left_attach>1</left_attach>
1191                 <right_attach>2</right_attach>
1192                 <top_attach>7</top_attach>
1193                 <bottom_attach>8</bottom_attach>
1194                 <xpad>0</xpad>
1195                 <ypad>0</ypad>
1196                 <xexpand>False</xexpand>
1197                 <yexpand>False</yexpand>
1198                 <xshrink>False</xshrink>
1199                 <yshrink>False</yshrink>
1200                 <xfill>True</xfill>
1201                 <yfill>True</yfill>
1202               </child>
1203             </widget>
1204
1205             <widget>
1206               <class>GtkLabel</class>
1207               <name>label35</name>
1208               <label>Total</label>
1209               <justify>GTK_JUSTIFY_CENTER</justify>
1210               <wrap>False</wrap>
1211               <xalign>1</xalign>
1212               <yalign>0.5</yalign>
1213               <xpad>0</xpad>
1214               <ypad>0</ypad>
1215               <child>
1216                 <left_attach>0</left_attach>
1217                 <right_attach>1</right_attach>
1218                 <top_attach>8</top_attach>
1219                 <bottom_attach>9</bottom_attach>
1220                 <xpad>0</xpad>
1221                 <ypad>0</ypad>
1222                 <xexpand>False</xexpand>
1223                 <yexpand>False</yexpand>
1224                 <xshrink>False</xshrink>
1225                 <yshrink>False</yshrink>
1226                 <xfill>True</xfill>
1227                 <yfill>False</yfill>
1228               </child>
1229             </widget>
1230
1231             <widget>
1232               <class>GtkLabel</class>
1233               <name>total_label</name>
1234               <label>label36</label>
1235               <justify>GTK_JUSTIFY_CENTER</justify>
1236               <wrap>False</wrap>
1237               <xalign>0.5</xalign>
1238               <yalign>0.5</yalign>
1239               <xpad>0</xpad>
1240               <ypad>0</ypad>
1241               <child>
1242                 <left_attach>1</left_attach>
1243                 <right_attach>2</right_attach>
1244                 <top_attach>8</top_attach>
1245                 <bottom_attach>9</bottom_attach>
1246                 <xpad>0</xpad>
1247                 <ypad>0</ypad>
1248                 <xexpand>False</xexpand>
1249                 <yexpand>False</yexpand>
1250                 <xshrink>False</xshrink>
1251                 <yshrink>False</yshrink>
1252                 <xfill>False</xfill>
1253                 <yfill>False</yfill>
1254               </child>
1255             </widget>
1256           </widget>
1257         </widget>
1258
1259         <widget>
1260           <class>GtkFrame</class>
1261           <name>frame6</name>
1262           <label>Updates</label>
1263           <label_xalign>0</label_xalign>
1264           <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
1265           <child>
1266             <padding>0</padding>
1267             <expand>False</expand>
1268             <fill>False</fill>
1269           </child>
1270
1271           <widget>
1272             <class>GtkVBox</class>
1273             <name>vbox7</name>
1274             <border_width>5</border_width>
1275             <homogeneous>False</homogeneous>
1276             <spacing>10</spacing>
1277
1278             <widget>
1279               <class>GtkVBox</class>
1280               <name>vbox9</name>
1281               <homogeneous>False</homogeneous>
1282               <spacing>0</spacing>
1283               <child>
1284                 <padding>0</padding>
1285                 <expand>True</expand>
1286                 <fill>True</fill>
1287               </child>
1288
1289               <widget>
1290                 <class>GtkRadioButton</class>
1291                 <name>cont_radio</name>
1292                 <can_focus>True</can_focus>
1293                 <signal>
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>
1297                 </signal>
1298                 <label>Continuous</label>
1299                 <active>True</active>
1300                 <draw_indicator>True</draw_indicator>
1301                 <group>grp1</group>
1302                 <child>
1303                   <padding>0</padding>
1304                   <expand>False</expand>
1305                   <fill>False</fill>
1306                 </child>
1307               </widget>
1308
1309               <widget>
1310                 <class>GtkRadioButton</class>
1311                 <name>stop_before_radio</name>
1312                 <can_focus>True</can_focus>
1313                 <signal>
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>
1317                 </signal>
1318                 <label>Stop before GC</label>
1319                 <active>False</active>
1320                 <draw_indicator>True</draw_indicator>
1321                 <group>grp1</group>
1322                 <child>
1323                   <padding>0</padding>
1324                   <expand>False</expand>
1325                   <fill>False</fill>
1326                 </child>
1327               </widget>
1328
1329               <widget>
1330                 <class>GtkRadioButton</class>
1331                 <name>stop_after_radio</name>
1332                 <can_focus>True</can_focus>
1333                 <signal>
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>
1337                 </signal>
1338                 <label>Stop after GC</label>
1339                 <active>False</active>
1340                 <draw_indicator>True</draw_indicator>
1341                 <group>grp1</group>
1342                 <child>
1343                   <padding>0</padding>
1344                   <expand>False</expand>
1345                   <fill>False</fill>
1346                 </child>
1347               </widget>
1348
1349               <widget>
1350                 <class>GtkRadioButton</class>
1351                 <name>stop_both_radio</name>
1352                 <can_focus>True</can_focus>
1353                 <signal>
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>
1357                 </signal>
1358                 <label>Stop before &amp; after GC</label>
1359                 <active>False</active>
1360                 <draw_indicator>True</draw_indicator>
1361                 <group>grp1</group>
1362                 <child>
1363                   <padding>0</padding>
1364                   <expand>False</expand>
1365                   <fill>False</fill>
1366                 </child>
1367               </widget>
1368             </widget>
1369
1370             <widget>
1371               <class>GtkVBox</class>
1372               <name>vbox8</name>
1373               <homogeneous>False</homogeneous>
1374               <spacing>0</spacing>
1375               <child>
1376                 <padding>0</padding>
1377                 <expand>False</expand>
1378                 <fill>False</fill>
1379               </child>
1380
1381               <widget>
1382                 <class>GtkButton</class>
1383                 <name>stop_but</name>
1384                 <can_focus>True</can_focus>
1385                 <signal>
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>
1389                 </signal>
1390                 <label>Stop</label>
1391                 <child>
1392                   <padding>0</padding>
1393                   <expand>False</expand>
1394                   <fill>False</fill>
1395                 </child>
1396               </widget>
1397
1398               <widget>
1399                 <class>GtkButton</class>
1400                 <name>continue_but</name>
1401                 <can_focus>True</can_focus>
1402                 <signal>
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>
1406                 </signal>
1407                 <label>Continue</label>
1408                 <child>
1409                   <padding>0</padding>
1410                   <expand>False</expand>
1411                   <fill>False</fill>
1412                 </child>
1413               </widget>
1414             </widget>
1415           </widget>
1416         </widget>
1417
1418         <widget>
1419           <class>GtkButton</class>
1420           <name>quit_but</name>
1421           <can_focus>True</can_focus>
1422           <signal>
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>
1426           </signal>
1427           <label>Quit</label>
1428           <child>
1429             <padding>0</padding>
1430             <expand>False</expand>
1431             <fill>False</fill>
1432             <pack>GTK_PACK_END</pack>
1433           </child>
1434         </widget>
1435       </widget>
1436     </widget>
1437
1438     <widget>
1439       <class>GtkStatusbar</class>
1440       <name>statusbar</name>
1441       <child>
1442         <padding>0</padding>
1443         <expand>False</expand>
1444         <fill>False</fill>
1445       </child>
1446     </widget>
1447   </widget>
1448 </widget>
1449
1450 </GTK-Interface>