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