plugins/profiler/profiler.glade

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--*- mode: xml -*-->
   4 <glade-interface>
   5   <widget class="GtkDialog" id="select_target_dialog">
   6     <property name="width_request">400</property>
   7     <property name="height_request">350</property>
   8     <property name="visible">True</property>
   9     <property name="title" translatable="yes">Select Profiling Target</property>
  10     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  11     <child internal-child="vbox">
  12       <widget class="GtkVBox" id="dialog-vbox1">
  13         <property name="visible">True</property>
  14         <child>
  15           <widget class="GtkFrame" id="frame1">
  16             <property name="visible">True</property>
  17             <property name="label_xalign">0</property>
  18             <property name="shadow_type">GTK_SHADOW_NONE</property>
  19             <child>
  20               <widget class="GtkAlignment" id="alignment1">
  21                 <property name="visible">True</property>
  22                 <property name="left_padding">12</property>
  23                 <child>
  24                   <widget class="GtkVBox" id="vbox5">
  25                     <property name="visible">True</property>
  26                     <child>
  27                       <widget class="GtkScrolledWindow" id="scrolledwindow1">
  28                         <property name="visible">True</property>
  29                         <property name="can_focus">True</property>
  30                         <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  31                         <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  32                         <property name="shadow_type">GTK_SHADOW_IN</property>
  33                         <child>
  34                           <widget class="GtkTreeView" id="targets_list_view">
  35                             <property name="visible">True</property>
  36                             <property name="can_focus">True</property>
  37                             <property name="headers_visible">False</property>
  38                             <property name="enable_search">False</property>
  39                           </widget>
  40                         </child>
  41                       </widget>
  42                     </child>
  43                     <child>
  44                       <widget class="GtkTable" id="table2">
  45                         <property name="visible">True</property>
  46                         <property name="n_rows">1</property>
  47                         <property name="n_columns">2</property>
  48                         <property name="column_spacing">2</property>
  49                         <child>
  50                           <widget class="GtkButton" id="profiling_options_button">
  51                             <property name="visible">True</property>
  52                             <property name="can_focus">True</property>
  53                             <property name="response_id">0</property>
  54                             <child>
  55                               <widget class="GtkAlignment" id="alignment5">
  56                                 <property name="visible">True</property>
  57                                 <property name="xscale">0</property>
  58                                 <property name="yscale">0</property>
  59                                 <child>
  60                                   <widget class="GtkHBox" id="hbox1">
  61                                     <property name="visible">True</property>
  62                                     <property name="spacing">2</property>
  63                                     <child>
  64                                       <widget class="GtkImage" id="image3">
  65                                         <property name="visible">True</property>
  66                                         <property name="stock">gtk-preferences</property>
  67                                       </widget>
  68                                       <packing>
  69                                         <property name="expand">False</property>
  70                                         <property name="fill">False</property>
  71                                       </packing>
  72                                     </child>
  73                                     <child>
  74                                       <widget class="GtkLabel" id="label8">
  75                                         <property name="visible">True</property>
  76                                         <property name="label" translatable="yes">Options...</property>
  77                                         <property name="use_underline">True</property>
  78                                       </widget>
  79                                       <packing>
  80                                         <property name="expand">False</property>
  81                                         <property name="fill">False</property>
  82                                         <property name="position">1</property>
  83                                       </packing>
  84                                     </child>
  85                                   </widget>
  86                                 </child>
  87                               </widget>
  88                             </child>
  89                           </widget>
  90                           <packing>
  91                             <property name="x_options">GTK_FILL</property>
  92                             <property name="y_options"></property>
  93                           </packing>
  94                         </child>
  95                         <child>
  96                           <widget class="GtkButton" id="select_other_target_button">
  97                             <property name="visible">True</property>
  98                             <property name="can_focus">True</property>
  99                             <property name="receives_default">True</property>
 100                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 101                             <property name="response_id">0</property>
 102                             <child>
 103                               <widget class="GtkHBox" id="hbox2">
 104                                 <property name="visible">True</property>
 105                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 106                                 <property name="spacing">2</property>
 107                                 <child>
 108                                   <widget class="GtkImage" id="image1">
 109                                     <property name="visible">True</property>
 110                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 111                                     <property name="stock">gtk-open</property>
 112                                   </widget>
 113                                 </child>
 114                                 <child>
 115                                   <widget class="GtkLabel" id="label2">
 116                                     <property name="visible">True</property>
 117                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 118                                     <property name="label" translatable="yes">Select Other Target...</property>
 119                                   </widget>
 120                                   <packing>
 121                                     <property name="position">1</property>
 122                                   </packing>
 123                                 </child>
 124                               </widget>
 125                             </child>
 126                           </widget>
 127                           <packing>
 128                             <property name="left_attach">1</property>
 129                             <property name="right_attach">2</property>
 130                             <property name="x_options">GTK_FILL</property>
 131                           </packing>
 132                         </child>
 133                       </widget>
 134                       <packing>
 135                         <property name="expand">False</property>
 136                         <property name="padding">5</property>
 137                         <property name="position">1</property>
 138                       </packing>
 139                     </child>
 140                   </widget>
 141                 </child>
 142               </widget>
 143             </child>
 144             <child>
 145               <widget class="GtkLabel" id="label1">
 146                 <property name="visible">True</property>
 147                 <property name="label" translatable="yes">&lt;b&gt;Select Target to Profile&lt;/b&gt;</property>
 148                 <property name="use_markup">True</property>
 149               </widget>
 150               <packing>
 151                 <property name="type">label_item</property>
 152               </packing>
 153             </child>
 154           </widget>
 155           <packing>
 156             <property name="position">2</property>
 157           </packing>
 158         </child>
 159         <child internal-child="action_area">
 160           <widget class="GtkHButtonBox" id="dialog-action_area1">
 161             <property name="visible">True</property>
 162             <property name="layout_style">GTK_BUTTONBOX_END</property>
 163             <child>
 164               <widget class="GtkButton" id="cancelbutton1">
 165                 <property name="visible">True</property>
 166                 <property name="can_focus">True</property>
 167                 <property name="can_default">True</property>
 168                 <property name="label">gtk-cancel</property>
 169                 <property name="use_stock">True</property>
 170                 <property name="response_id">-6</property>
 171               </widget>
 172             </child>
 173             <child>
 174               <widget class="GtkButton" id="okbutton1">
 175                 <property name="visible">True</property>
 176                 <property name="can_focus">True</property>
 177                 <property name="can_default">True</property>
 178                 <property name="label">gtk-ok</property>
 179                 <property name="use_stock">True</property>
 180                 <property name="response_id">-5</property>
 181               </widget>
 182               <packing>
 183                 <property name="position">1</property>
 184               </packing>
 185             </child>
 186           </widget>
 187           <packing>
 188             <property name="expand">False</property>
 189             <property name="pack_type">GTK_PACK_END</property>
 190           </packing>
 191         </child>
 192       </widget>
 193     </child>
 194   </widget>
 195   <widget class="GtkDialog" id="profiling_options_dialog">
 196     <property name="height_request">500</property>
 197     <property name="title" translatable="yes">Profiling Options</property>
 198     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 199     <child internal-child="vbox">
 200       <widget class="GtkVBox" id="dialog-vbox2">
 201         <property name="visible">True</property>
 202         <child>
 203           <widget class="GtkNotebook" id="notebook1">
 204             <property name="visible">True</property>
 205             <property name="can_focus">True</property>
 206             <child>
 207               <widget class="GtkVBox" id="vbox1">
 208                 <property name="visible">True</property>
 209                 <child>
 210                   <widget class="GtkCheckButton" id="automatic_refresh_check">
 211                     <property name="visible">True</property>
 212                     <property name="can_focus">True</property>
 213                     <property name="label" translatable="yes">Automatically refresh profile data display</property>
 214                     <property name="use_underline">True</property>
 215                     <property name="response_id">0</property>
 216                     <property name="draw_indicator">True</property>
 217                   </widget>
 218                   <packing>
 219                     <property name="expand">False</property>
 220                     <property name="fill">False</property>
 221                   </packing>
 222                 </child>
 223                 <child>
 224                   <widget class="GtkCheckButton" id="no_show_static_check">
 225                     <property name="visible">True</property>
 226                     <property name="can_focus">True</property>
 227                     <property name="label" translatable="yes">Do not show static functions</property>
 228                     <property name="use_underline">True</property>
 229                     <property name="response_id">0</property>
 230                     <property name="draw_indicator">True</property>
 231                   </widget>
 232                   <packing>
 233                     <property name="expand">False</property>
 234                     <property name="fill">False</property>
 235                     <property name="position">1</property>
 236                   </packing>
 237                 </child>
 238                 <child>
 239                   <widget class="GtkCheckButton" id="show_possible_called_check">
 240                     <property name="visible">True</property>
 241                     <property name="can_focus">True</property>
 242                     <property name="label" translatable="yes">Show functions that could have been called but never were</property>
 243                     <property name="use_underline">True</property>
 244                     <property name="response_id">0</property>
 245                     <property name="draw_indicator">True</property>
 246                   </widget>
 247                   <packing>
 248                     <property name="expand">False</property>
 249                     <property name="fill">False</property>
 250                     <property name="position">2</property>
 251                   </packing>
 252                 </child>
 253                 <child>
 254                   <widget class="GtkCheckButton" id="show_uncalled_check">
 255                     <property name="visible">True</property>
 256                     <property name="can_focus">True</property>
 257                     <property name="label" translatable="yes">Show uncalled functions</property>
 258                     <property name="use_underline">True</property>
 259                     <property name="response_id">0</property>
 260                     <property name="draw_indicator">True</property>
 261                   </widget>
 262                   <packing>
 263                     <property name="expand">False</property>
 264                     <property name="fill">False</property>
 265                     <property name="position">3</property>
 266                   </packing>
 267                 </child>
 268                 <child>
 269                   <widget class="GtkFrame" id="frame4">
 270                     <property name="visible">True</property>
 271                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 272                     <property name="label_xalign">0</property>
 273                     <property name="shadow_type">GTK_SHADOW_NONE</property>
 274                     <child>
 275                       <widget class="GtkAlignment" id="alignment2">
 276                         <property name="visible">True</property>
 277                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 278                         <property name="left_padding">12</property>
 279                         <child>
 280                           <widget class="GtkVBox" id="vbox6">
 281                             <property name="visible">True</property>
 282                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 283                             <child>
 284                               <widget class="GtkLabel" id="label10">
 285                                 <property name="visible">True</property>
 286                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 287                                 <property name="xalign">0</property>
 288                                 <property name="label" translatable="yes">Use this profiling data file:</property>
 289                               </widget>
 290                               <packing>
 291                                 <property name="expand">False</property>
 292                               </packing>
 293                             </child>
 294                             <child>
 295                               <widget class="GtkHBox" id="hbox3">
 296                                 <property name="visible">True</property>
 297                                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 298                                 <child>
 299                                   <widget class="GtkEntry" id="profile_data_file_entry">
 300                                     <property name="visible">True</property>
 301                                     <property name="can_focus">True</property>
 302                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 303                                   </widget>
 304                                 </child>
 305                                 <child>
 306                                   <widget class="GtkButton" id="profile_data_browse_button">
 307                                     <property name="visible">True</property>
 308                                     <property name="can_focus">True</property>
 309                                     <property name="receives_default">True</property>
 310                                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 311                                     <property name="label" translatable="yes">Browse...</property>
 312                                     <property name="response_id">0</property>
 313                                   </widget>
 314                                   <packing>
 315                                     <property name="expand">False</property>
 316                                     <property name="fill">False</property>
 317                                     <property name="position">1</property>
 318                                   </packing>
 319                                 </child>
 320                               </widget>
 321                               <packing>
 322                                 <property name="expand">False</property>
 323                                 <property name="fill">False</property>
 324                                 <property name="position">1</property>
 325                               </packing>
 326                             </child>
 327                           </widget>
 328                         </child>
 329                       </widget>
 330                     </child>
 331                     <child>
 332                       <widget class="GtkLabel" id="label9">
 333                         <property name="visible">True</property>
 334                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 335                         <property name="label" translatable="yes">&lt;b&gt;Profiling Data&lt;/b&gt;</property>
 336                         <property name="use_markup">True</property>
 337                       </widget>
 338                       <packing>
 339                         <property name="type">label_item</property>
 340                       </packing>
 341                     </child>
 342                   </widget>
 343                   <packing>
 344                     <property name="position">4</property>
 345                   </packing>
 346                 </child>
 347               </widget>
 348             </child>
 349             <child>
 350               <widget class="GtkLabel" id="label3">
 351                 <property name="visible">True</property>
 352                 <property name="label" translatable="yes">General</property>
 353               </widget>
 354               <packing>
 355                 <property name="type">tab</property>
 356                 <property name="tab_fill">False</property>
 357               </packing>
 358             </child>
 359             <child>
 360               <widget class="GtkVBox" id="vbox2">
 361                 <property name="visible">True</property>
 362                 <child>
 363                   <widget class="GtkFrame" id="frame2">
 364                     <property name="visible">True</property>
 365                     <property name="label_xalign">0</property>
 366                     <property name="shadow_type">GTK_SHADOW_NONE</property>
 367                     <child>
 368                       <widget class="GtkAlignment" id="alignment3">
 369                         <property name="visible">True</property>
 370                         <property name="left_padding">12</property>
 371                         <child>
 372                           <widget class="GtkVBox" id="vbox3">
 373                             <property name="visible">True</property>
 374                             <child>
 375                               <widget class="GtkRadioButton" id="show_all_symbols_radio">
 376                                 <property name="visible">True</property>
 377                                 <property name="can_focus">True</property>
 378                                 <property name="label" translatable="yes">Show all symbols</property>
 379                                 <property name="use_underline">True</property>
 380                                 <property name="response_id">0</property>
 381                                 <property name="draw_indicator">True</property>
 382                               </widget>
 383                               <packing>
 384                                 <property name="expand">False</property>
 385                                 <property name="fill">False</property>
 386                               </packing>
 387                             </child>
 388                             <child>
 389                               <widget class="GtkRadioButton" id="include_symbols_radio">
 390                                 <property name="visible">True</property>
 391                                 <property name="can_focus">True</property>
 392                                 <property name="label" translatable="yes">Show only these symbols:</property>
 393                                 <property name="use_underline">True</property>
 394                                 <property name="response_id">0</property>
 395                                 <property name="draw_indicator">True</property>
 396                                 <property name="group">show_all_symbols_radio</property>
 397                               </widget>
 398                               <packing>
 399                                 <property name="expand">False</property>
 400                                 <property name="fill">False</property>
 401                                 <property name="position">1</property>
 402                               </packing>
 403                             </child>
 404                             <child>
 405                               <widget class="GtkRadioButton" id="exclude_symbols_radio">
 406                                 <property name="visible">True</property>
 407                                 <property name="can_focus">True</property>
 408                                 <property name="label" translatable="yes">Do not show these symbols:</property>
 409                                 <property name="use_underline">True</property>
 410                                 <property name="response_id">0</property>
 411                                 <property name="draw_indicator">True</property>
 412                                 <property name="group">show_all_symbols_radio</property>
 413                               </widget>
 414                               <packing>
 415                                 <property name="expand">False</property>
 416                                 <property name="fill">False</property>
 417                                 <property name="position">2</property>
 418                               </packing>
 419                             </child>
 420                             <child>
 421                               <widget class="GtkScrolledWindow" id="scrolledwindow2">
 422                                 <property name="visible">True</property>
 423                                 <property name="can_focus">True</property>
 424                                 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 425                                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 426                                 <property name="shadow_type">GTK_SHADOW_IN</property>
 427                                 <child>
 428                                   <widget class="GtkTextView" id="symbols_text_view">
 429                                     <property name="visible">True</property>
 430                                     <property name="can_focus">True</property>
 431                                   </widget>
 432                                 </child>
 433                               </widget>
 434                               <packing>
 435                                 <property name="position">3</property>
 436                               </packing>
 437                             </child>
 438                           </widget>
 439                         </child>
 440                       </widget>
 441                     </child>
 442                     <child>
 443                       <widget class="GtkLabel" id="label5">
 444                         <property name="visible">True</property>
 445                         <property name="label" translatable="yes">&lt;b&gt;Symbols&lt;/b&gt;</property>
 446                         <property name="use_markup">True</property>
 447                       </widget>
 448                       <packing>
 449                         <property name="type">label_item</property>
 450                       </packing>
 451                     </child>
 452                   </widget>
 453                 </child>
 454                 <child>
 455                   <widget class="GtkFrame" id="frame3">
 456                     <property name="visible">True</property>
 457                     <property name="label_xalign">0</property>
 458                     <property name="shadow_type">GTK_SHADOW_NONE</property>
 459                     <child>
 460                       <widget class="GtkAlignment" id="alignment4">
 461                         <property name="visible">True</property>
 462                         <property name="left_padding">12</property>
 463                         <child>
 464                           <widget class="GtkVBox" id="vbox4">
 465                             <property name="visible">True</property>
 466                             <child>
 467                               <widget class="GtkRadioButton" id="propagate_all_symbols_radio">
 468                                 <property name="visible">True</property>
 469                                 <property name="can_focus">True</property>
 470                                 <property name="label" translatable="yes">Propagate time for all symbols</property>
 471                                 <property name="use_underline">True</property>
 472                                 <property name="response_id">0</property>
 473                                 <property name="draw_indicator">True</property>
 474                               </widget>
 475                               <packing>
 476                                 <property name="expand">False</property>
 477                                 <property name="fill">False</property>
 478                               </packing>
 479                             </child>
 480                             <child>
 481                               <widget class="GtkRadioButton" id="propagate_include_symbols_radio">
 482                                 <property name="visible">True</property>
 483                                 <property name="can_focus">True</property>
 484                                 <property name="label" translatable="yes">Propagate time for only these symbols:</property>
 485                                 <property name="use_underline">True</property>
 486                                 <property name="response_id">0</property>
 487                                 <property name="draw_indicator">True</property>
 488                                 <property name="group">propagate_all_symbols_radio</property>
 489                               </widget>
 490                               <packing>
 491                                 <property name="expand">False</property>
 492                                 <property name="fill">False</property>
 493                                 <property name="position">1</property>
 494                               </packing>
 495                             </child>
 496                             <child>
 497                               <widget class="GtkRadioButton" id="propagate_exclude_symbols_radio">
 498                                 <property name="visible">True</property>
 499                                 <property name="can_focus">True</property>
 500                                 <property name="label" translatable="yes">Do not propagate time for these symbols:</property>
 501                                 <property name="use_underline">True</property>
 502                                 <property name="response_id">0</property>
 503                                 <property name="draw_indicator">True</property>
 504                                 <property name="group">propagate_all_symbols_radio</property>
 505                               </widget>
 506                               <packing>
 507                                 <property name="expand">False</property>
 508                                 <property name="fill">False</property>
 509                                 <property name="position">2</property>
 510                               </packing>
 511                             </child>
 512                             <child>
 513                               <widget class="GtkScrolledWindow" id="scrolledwindow3">
 514                                 <property name="visible">True</property>
 515                                 <property name="can_focus">True</property>
 516                                 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 517                                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 518                                 <property name="shadow_type">GTK_SHADOW_IN</property>
 519                                 <child>
 520                                   <widget class="GtkTextView" id="propagation_text_view">
 521                                     <property name="visible">True</property>
 522                                     <property name="can_focus">True</property>
 523                                   </widget>
 524                                 </child>
 525                               </widget>
 526                               <packing>
 527                                 <property name="position">3</property>
 528                               </packing>
 529                             </child>
 530                           </widget>
 531                         </child>
 532                       </widget>
 533                     </child>
 534                     <child>
 535                       <widget class="GtkLabel" id="label6">
 536                         <property name="visible">True</property>
 537                         <property name="label" translatable="yes">&lt;b&gt;Time Propagation&lt;/b&gt;</property>
 538                         <property name="use_markup">True</property>
 539                       </widget>
 540                       <packing>
 541                         <property name="type">label_item</property>
 542                       </packing>
 543                     </child>
 544                   </widget>
 545                   <packing>
 546                     <property name="position">1</property>
 547                   </packing>
 548                 </child>
 549                 <child>
 550                   <widget class="GtkHSeparator" id="hseparator1">
 551                     <property name="visible">True</property>
 552                   </widget>
 553                   <packing>
 554                     <property name="expand">False</property>
 555                     <property name="padding">2</property>
 556                     <property name="position">2</property>
 557                   </packing>
 558                 </child>
 559                 <child>
 560                   <widget class="GtkTable" id="table1">
 561                     <property name="visible">True</property>
 562                     <property name="n_rows">1</property>
 563                     <property name="n_columns">2</property>
 564                     <child>
 565                       <widget class="GtkImage" id="image2">
 566                         <property name="visible">True</property>
 567                         <property name="stock">gtk-dialog-info</property>
 568                         <property name="icon_size">6</property>
 569                       </widget>
 570                       <packing>
 571                         <property name="x_options">GTK_FILL</property>
 572                         <property name="y_options">GTK_FILL</property>
 573                       </packing>
 574                     </child>
 575                     <child>
 576                       <widget class="GtkLabel" id="label7">
 577                         <property name="visible">True</property>
 578                         <property name="xalign">0</property>
 579                         <property name="label" translatable="yes">Enter one symbol specification per line.
 580
 581 For information on symbol specifications, see section
 582 4.5 of the gprof info page. </property>
 583                       </widget>
 584                       <packing>
 585                         <property name="left_attach">1</property>
 586                         <property name="right_attach">2</property>
 587                         <property name="x_options">GTK_FILL</property>
 588                         <property name="y_options"></property>
 589                       </packing>
 590                     </child>
 591                   </widget>
 592                   <packing>
 593                     <property name="expand">False</property>
 594                     <property name="padding">2</property>
 595                     <property name="position">3</property>
 596                   </packing>
 597                 </child>
 598               </widget>
 599               <packing>
 600                 <property name="position">1</property>
 601               </packing>
 602             </child>
 603             <child>
 604               <widget class="GtkLabel" id="label4">
 605                 <property name="visible">True</property>
 606                 <property name="label" translatable="yes">Call Graph</property>
 607               </widget>
 608               <packing>
 609                 <property name="type">tab</property>
 610                 <property name="position">1</property>
 611                 <property name="tab_fill">False</property>
 612               </packing>
 613             </child>
 614           </widget>
 615           <packing>
 616             <property name="position">2</property>
 617           </packing>
 618         </child>
 619         <child internal-child="action_area">
 620           <widget class="GtkHButtonBox" id="dialog-action_area2">
 621             <property name="visible">True</property>
 622             <property name="layout_style">GTK_BUTTONBOX_END</property>
 623             <child>
 624               <widget class="GtkButton" id="closebutton">
 625                 <property name="visible">True</property>
 626                 <property name="can_focus">True</property>
 627                 <property name="can_default">True</property>
 628                 <property name="label">gtk-close</property>
 629                 <property name="use_stock">True</property>
 630                 <property name="response_id">-7</property>
 631               </widget>
 632             </child>
 633           </widget>
 634           <packing>
 635             <property name="expand">False</property>
 636             <property name="pack_type">GTK_PACK_END</property>
 637           </packing>
 638         </child>
 639       </widget>
 640     </child>
 641   </widget>
 642 </glade-interface>