plugins/profiler/profiler.ui

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