~ubuntu-branches/ubuntu/lucid/gtk2hs/lucid

« back to all changes in this revision

Viewing changes to demo/profileviewer/ProfileViewer.glade

  • Committer: Bazaar Package Importer
  • Author(s): Liyang HU
  • Date: 2006-07-22 21:31:58 UTC
  • Revision ID: james.westby@ubuntu.com-20060722213158-he81wo6uam30m9aw
Tags: upstream-0.9.10
ImportĀ upstreamĀ versionĀ 0.9.10

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
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="mainWindow">
 
7
  <property name="visible">True</property>
 
8
  <property name="title" translatable="yes">GHC timing profile viewer</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">650</property>
 
13
  <property name="default_height">400</property>
 
14
  <property name="resizable">True</property>
 
15
  <property name="destroy_with_parent">False</property>
 
16
 
 
17
  <child>
 
18
    <widget class="GtkVBox" id="vbox1">
 
19
      <property name="visible">True</property>
 
20
      <property name="homogeneous">False</property>
 
21
      <property name="spacing">0</property>
 
22
 
 
23
      <child>
 
24
        <widget class="GtkMenuBar" id="menubar1">
 
25
          <property name="visible">True</property>
 
26
 
 
27
          <child>
 
28
            <widget class="GtkMenuItem" id="menuitem1">
 
29
              <property name="visible">True</property>
 
30
              <property name="label" translatable="yes">_File</property>
 
31
              <property name="use_underline">True</property>
 
32
 
 
33
              <child>
 
34
                <widget class="GtkMenu" id="menuitem1_menu">
 
35
 
 
36
                  <child>
 
37
                    <widget class="GtkImageMenuItem" id="openMenuItem">
 
38
                      <property name="visible">True</property>
 
39
                      <property name="label">gtk-open</property>
 
40
                      <property name="use_stock">True</property>
 
41
                    </widget>
 
42
                  </child>
 
43
 
 
44
                  <child>
 
45
                    <widget class="GtkMenuItem" id="separatormenuitem1">
 
46
                      <property name="visible">True</property>
 
47
                    </widget>
 
48
                  </child>
 
49
 
 
50
                  <child>
 
51
                    <widget class="GtkImageMenuItem" id="quitMenuItem">
 
52
                      <property name="visible">True</property>
 
53
                      <property name="label">gtk-quit</property>
 
54
                      <property name="use_stock">True</property>
 
55
                    </widget>
 
56
                  </child>
 
57
                </widget>
 
58
              </child>
 
59
            </widget>
 
60
          </child>
 
61
 
 
62
          <child>
 
63
            <widget class="GtkMenuItem" id="view1">
 
64
              <property name="visible">True</property>
 
65
              <property name="label" translatable="yes">_View</property>
 
66
              <property name="use_underline">True</property>
 
67
 
 
68
              <child>
 
69
                <widget class="GtkMenu" id="view1_menu">
 
70
 
 
71
                  <child>
 
72
                    <widget class="GtkRadioMenuItem" id="allEntries">
 
73
                      <property name="visible">True</property>
 
74
                      <property name="label" translatable="yes">All entries</property>
 
75
                      <property name="use_underline">True</property>
 
76
                      <property name="active">True</property>
 
77
                    </widget>
 
78
                  </child>
 
79
 
 
80
                  <child>
 
81
                    <widget class="GtkRadioMenuItem" id="0.1%Entries">
 
82
                      <property name="visible">True</property>
 
83
                      <property name="label" translatable="yes">Only entries with 0.1% or more</property>
 
84
                      <property name="use_underline">True</property>
 
85
                      <property name="active">False</property>
 
86
                      <property name="group">allEntries</property>
 
87
                    </widget>
 
88
                  </child>
 
89
 
 
90
                  <child>
 
91
                    <widget class="GtkRadioMenuItem" id="0.5%Entries">
 
92
                      <property name="visible">True</property>
 
93
                      <property name="label" translatable="yes">Only entries with 0.5% or more</property>
 
94
                      <property name="use_underline">True</property>
 
95
                      <property name="active">False</property>
 
96
                      <property name="group">allEntries</property>
 
97
                    </widget>
 
98
                  </child>
 
99
 
 
100
                  <child>
 
101
                    <widget class="GtkRadioMenuItem" id="1%Entries">
 
102
                      <property name="visible">True</property>
 
103
                      <property name="label" translatable="yes">Only entries with 1% or more</property>
 
104
                      <property name="use_underline">True</property>
 
105
                      <property name="active">False</property>
 
106
                      <property name="group">allEntries</property>
 
107
                    </widget>
 
108
                  </child>
 
109
 
 
110
                  <child>
 
111
                    <widget class="GtkRadioMenuItem" id="5%Entries">
 
112
                      <property name="visible">True</property>
 
113
                      <property name="label" translatable="yes">Only entries with 5% or more</property>
 
114
                      <property name="use_underline">True</property>
 
115
                      <property name="active">False</property>
 
116
                      <property name="group">allEntries</property>
 
117
                    </widget>
 
118
                  </child>
 
119
 
 
120
                  <child>
 
121
                    <widget class="GtkRadioMenuItem" id="10%Entries">
 
122
                      <property name="visible">True</property>
 
123
                      <property name="label" translatable="yes">Only entries with 10% or more</property>
 
124
                      <property name="use_underline">True</property>
 
125
                      <property name="active">False</property>
 
126
                      <property name="group">allEntries</property>
 
127
                    </widget>
 
128
                  </child>
 
129
 
 
130
                  <child>
 
131
                    <widget class="GtkRadioMenuItem" id="50%Entries">
 
132
                      <property name="visible">True</property>
 
133
                      <property name="label" translatable="yes">Only entries with 50% or more</property>
 
134
                      <property name="use_underline">True</property>
 
135
                      <property name="active">False</property>
 
136
                      <property name="group">allEntries</property>
 
137
                    </widget>
 
138
                  </child>
 
139
                </widget>
 
140
              </child>
 
141
            </widget>
 
142
          </child>
 
143
 
 
144
          <child>
 
145
            <widget class="GtkMenuItem" id="menuitem4">
 
146
              <property name="visible">True</property>
 
147
              <property name="label" translatable="yes">_Help</property>
 
148
              <property name="use_underline">True</property>
 
149
 
 
150
              <child>
 
151
                <widget class="GtkMenu" id="menuitem4_menu">
 
152
 
 
153
                  <child>
 
154
                    <widget class="GtkMenuItem" id="aboutMenuItem">
 
155
                      <property name="visible">True</property>
 
156
                      <property name="label" translatable="yes">_About</property>
 
157
                      <property name="use_underline">True</property>
 
158
                    </widget>
 
159
                  </child>
 
160
                </widget>
 
161
              </child>
 
162
            </widget>
 
163
          </child>
 
164
        </widget>
 
165
        <packing>
 
166
          <property name="padding">0</property>
 
167
          <property name="expand">False</property>
 
168
          <property name="fill">False</property>
 
169
        </packing>
 
170
      </child>
 
171
 
 
172
      <child>
 
173
        <widget class="GtkTable" id="table1">
 
174
          <property name="border_width">5</property>
 
175
          <property name="visible">True</property>
 
176
          <property name="n_rows">4</property>
 
177
          <property name="n_columns">2</property>
 
178
          <property name="homogeneous">False</property>
 
179
          <property name="row_spacing">2</property>
 
180
          <property name="column_spacing">10</property>
 
181
 
 
182
          <child>
 
183
            <widget class="GtkLabel" id="label4">
 
184
              <property name="visible">True</property>
 
185
              <property name="label" translatable="yes">&lt;b&gt;Total time&lt;/b&gt;</property>
 
186
              <property name="use_underline">False</property>
 
187
              <property name="use_markup">True</property>
 
188
              <property name="justify">GTK_JUSTIFY_RIGHT</property>
 
189
              <property name="wrap">False</property>
 
190
              <property name="selectable">False</property>
 
191
              <property name="xalign">1</property>
 
192
              <property name="yalign">0.5</property>
 
193
              <property name="xpad">0</property>
 
194
              <property name="ypad">0</property>
 
195
            </widget>
 
196
            <packing>
 
197
              <property name="left_attach">0</property>
 
198
              <property name="right_attach">1</property>
 
199
              <property name="top_attach">2</property>
 
200
              <property name="bottom_attach">3</property>
 
201
              <property name="x_options">fill</property>
 
202
              <property name="y_options"></property>
 
203
            </packing>
 
204
          </child>
 
205
 
 
206
          <child>
 
207
            <widget class="GtkLabel" id="label4">
 
208
              <property name="visible">True</property>
 
209
              <property name="label" translatable="yes">&lt;b&gt;Total alloc&lt;/b&gt;</property>
 
210
              <property name="use_underline">False</property>
 
211
              <property name="use_markup">True</property>
 
212
              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
213
              <property name="wrap">False</property>
 
214
              <property name="selectable">False</property>
 
215
              <property name="xalign">1</property>
 
216
              <property name="yalign">0.5</property>
 
217
              <property name="xpad">0</property>
 
218
              <property name="ypad">0</property>
 
219
            </widget>
 
220
            <packing>
 
221
              <property name="left_attach">0</property>
 
222
              <property name="right_attach">1</property>
 
223
              <property name="top_attach">3</property>
 
224
              <property name="bottom_attach">4</property>
 
225
              <property name="x_options">fill</property>
 
226
              <property name="y_options"></property>
 
227
            </packing>
 
228
          </child>
 
229
 
 
230
          <child>
 
231
            <widget class="GtkLabel" id="titleLabel">
 
232
              <property name="visible">True</property>
 
233
              <property name="can_focus">True</property>
 
234
              <property name="label" translatable="yes"></property>
 
235
              <property name="use_underline">False</property>
 
236
              <property name="use_markup">False</property>
 
237
              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
238
              <property name="wrap">False</property>
 
239
              <property name="selectable">True</property>
 
240
              <property name="xalign">0</property>
 
241
              <property name="yalign">0.5</property>
 
242
              <property name="xpad">0</property>
 
243
              <property name="ypad">0</property>
 
244
            </widget>
 
245
            <packing>
 
246
              <property name="left_attach">1</property>
 
247
              <property name="right_attach">2</property>
 
248
              <property name="top_attach">0</property>
 
249
              <property name="bottom_attach">1</property>
 
250
              <property name="x_options">expand|shrink|fill</property>
 
251
              <property name="y_options"></property>
 
252
            </packing>
 
253
          </child>
 
254
 
 
255
          <child>
 
256
            <widget class="GtkLabel" id="totalTimeLabel">
 
257
              <property name="visible">True</property>
 
258
              <property name="can_focus">True</property>
 
259
              <property name="label" translatable="yes"></property>
 
260
              <property name="use_underline">False</property>
 
261
              <property name="use_markup">False</property>
 
262
              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
263
              <property name="wrap">False</property>
 
264
              <property name="selectable">True</property>
 
265
              <property name="xalign">0</property>
 
266
              <property name="yalign">0.5</property>
 
267
              <property name="xpad">0</property>
 
268
              <property name="ypad">0</property>
 
269
            </widget>
 
270
            <packing>
 
271
              <property name="left_attach">1</property>
 
272
              <property name="right_attach">2</property>
 
273
              <property name="top_attach">2</property>
 
274
              <property name="bottom_attach">3</property>
 
275
              <property name="x_options">fill</property>
 
276
              <property name="y_options"></property>
 
277
            </packing>
 
278
          </child>
 
279
 
 
280
          <child>
 
281
            <widget class="GtkLabel" id="totalAllocLabel">
 
282
              <property name="visible">True</property>
 
283
              <property name="can_focus">True</property>
 
284
              <property name="label" translatable="yes"></property>
 
285
              <property name="use_underline">False</property>
 
286
              <property name="use_markup">False</property>
 
287
              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
288
              <property name="wrap">False</property>
 
289
              <property name="selectable">True</property>
 
290
              <property name="xalign">0</property>
 
291
              <property name="yalign">0.5</property>
 
292
              <property name="xpad">0</property>
 
293
              <property name="ypad">0</property>
 
294
            </widget>
 
295
            <packing>
 
296
              <property name="left_attach">1</property>
 
297
              <property name="right_attach">2</property>
 
298
              <property name="top_attach">3</property>
 
299
              <property name="bottom_attach">4</property>
 
300
              <property name="x_options">fill</property>
 
301
              <property name="y_options"></property>
 
302
            </packing>
 
303
          </child>
 
304
 
 
305
          <child>
 
306
            <widget class="GtkLabel" id="label11">
 
307
              <property name="visible">True</property>
 
308
              <property name="label" translatable="yes">&lt;b&gt;Report&lt;/b&gt;</property>
 
309
              <property name="use_underline">False</property>
 
310
              <property name="use_markup">True</property>
 
311
              <property name="justify">GTK_JUSTIFY_RIGHT</property>
 
312
              <property name="wrap">False</property>
 
313
              <property name="selectable">False</property>
 
314
              <property name="xalign">1</property>
 
315
              <property name="yalign">0.5</property>
 
316
              <property name="xpad">0</property>
 
317
              <property name="ypad">0</property>
 
318
            </widget>
 
319
            <packing>
 
320
              <property name="left_attach">0</property>
 
321
              <property name="right_attach">1</property>
 
322
              <property name="top_attach">0</property>
 
323
              <property name="bottom_attach">1</property>
 
324
              <property name="x_options">fill</property>
 
325
              <property name="y_options"></property>
 
326
            </packing>
 
327
          </child>
 
328
 
 
329
          <child>
 
330
            <widget class="GtkLabel" id="label12">
 
331
              <property name="visible">True</property>
 
332
              <property name="label" translatable="yes">&lt;b&gt;Command&lt;/b&gt;</property>
 
333
              <property name="use_underline">False</property>
 
334
              <property name="use_markup">True</property>
 
335
              <property name="justify">GTK_JUSTIFY_RIGHT</property>
 
336
              <property name="wrap">False</property>
 
337
              <property name="selectable">False</property>
 
338
              <property name="xalign">1</property>
 
339
              <property name="yalign">0.5</property>
 
340
              <property name="xpad">0</property>
 
341
              <property name="ypad">0</property>
 
342
            </widget>
 
343
            <packing>
 
344
              <property name="left_attach">0</property>
 
345
              <property name="right_attach">1</property>
 
346
              <property name="top_attach">1</property>
 
347
              <property name="bottom_attach">2</property>
 
348
              <property name="x_options">fill</property>
 
349
              <property name="y_options"></property>
 
350
            </packing>
 
351
          </child>
 
352
 
 
353
          <child>
 
354
            <widget class="GtkLabel" id="commandLabel">
 
355
              <property name="visible">True</property>
 
356
              <property name="label" translatable="yes"></property>
 
357
              <property name="use_underline">False</property>
 
358
              <property name="use_markup">False</property>
 
359
              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
360
              <property name="wrap">True</property>
 
361
              <property name="selectable">False</property>
 
362
              <property name="xalign">0</property>
 
363
              <property name="yalign">0</property>
 
364
              <property name="xpad">0</property>
 
365
              <property name="ypad">0</property>
 
366
            </widget>
 
367
            <packing>
 
368
              <property name="left_attach">1</property>
 
369
              <property name="right_attach">2</property>
 
370
              <property name="top_attach">1</property>
 
371
              <property name="bottom_attach">2</property>
 
372
              <property name="x_options">fill</property>
 
373
              <property name="y_options"></property>
 
374
            </packing>
 
375
          </child>
 
376
        </widget>
 
377
        <packing>
 
378
          <property name="padding">0</property>
 
379
          <property name="expand">False</property>
 
380
          <property name="fill">False</property>
 
381
        </packing>
 
382
      </child>
 
383
 
 
384
      <child>
 
385
        <widget class="GtkScrolledWindow" id="scrolledwindow1">
 
386
          <property name="visible">True</property>
 
387
          <property name="can_focus">True</property>
 
388
          <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
389
          <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
390
          <property name="shadow_type">GTK_SHADOW_NONE</property>
 
391
          <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
392
 
 
393
          <child>
 
394
            <widget class="GtkTreeView" id="mainView">
 
395
              <property name="visible">True</property>
 
396
              <property name="can_focus">True</property>
 
397
              <property name="headers_visible">True</property>
 
398
              <property name="rules_hint">True</property>
 
399
              <property name="reorderable">False</property>
 
400
              <property name="enable_search">True</property>
 
401
            </widget>
 
402
          </child>
 
403
        </widget>
 
404
        <packing>
 
405
          <property name="padding">0</property>
 
406
          <property name="expand">True</property>
 
407
          <property name="fill">True</property>
 
408
        </packing>
 
409
      </child>
 
410
 
 
411
      <child>
 
412
        <widget class="GtkStatusbar" id="statusbar">
 
413
          <property name="visible">True</property>
 
414
          <property name="has_resize_grip">True</property>
 
415
        </widget>
 
416
        <packing>
 
417
          <property name="padding">0</property>
 
418
          <property name="expand">False</property>
 
419
          <property name="fill">False</property>
 
420
        </packing>
 
421
      </child>
 
422
    </widget>
 
423
  </child>
 
424
</widget>
 
425
 
 
426
</glade-interface>