Fix the generation of in-scope variables for IfaceLint check
[ghc-hetmet.git] / 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>