1
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
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>
18
<widget class="GtkVBox" id="vbox1">
19
<property name="visible">True</property>
20
<property name="homogeneous">False</property>
21
<property name="spacing">0</property>
24
<widget class="GtkMenuBar" id="menubar1">
25
<property name="visible">True</property>
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>
34
<widget class="GtkMenu" id="menuitem1_menu">
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>
45
<widget class="GtkMenuItem" id="separatormenuitem1">
46
<property name="visible">True</property>
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>
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>
69
<widget class="GtkMenu" id="view1_menu">
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>
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>
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>
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>
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>
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>
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>
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>
151
<widget class="GtkMenu" id="menuitem4_menu">
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>
166
<property name="padding">0</property>
167
<property name="expand">False</property>
168
<property name="fill">False</property>
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>
183
<widget class="GtkLabel" id="label4">
184
<property name="visible">True</property>
185
<property name="label" translatable="yes"><b>Total time</b></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>
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>
207
<widget class="GtkLabel" id="label4">
208
<property name="visible">True</property>
209
<property name="label" translatable="yes"><b>Total alloc</b></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>
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>
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>
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>
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>
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>
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>
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>
306
<widget class="GtkLabel" id="label11">
307
<property name="visible">True</property>
308
<property name="label" translatable="yes"><b>Report</b></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>
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>
330
<widget class="GtkLabel" id="label12">
331
<property name="visible">True</property>
332
<property name="label" translatable="yes"><b>Command</b></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>
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>
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>
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>
378
<property name="padding">0</property>
379
<property name="expand">False</property>
380
<property name="fill">False</property>
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>
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>
405
<property name="padding">0</property>
406
<property name="expand">True</property>
407
<property name="fill">True</property>
412
<widget class="GtkStatusbar" id="statusbar">
413
<property name="visible">True</property>
414
<property name="has_resize_grip">True</property>
417
<property name="padding">0</property>
418
<property name="expand">False</property>
419
<property name="fill">False</property>