rts/ghc-frontpanel.glade

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