plugins/tools/anjuta-tools.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   <requires lib="gnome"/>
   6   <widget class="GtkDialog" id="list_dialog">
   7     <property name="visible">True</property>
   8     <property name="title" translatable="yes">User Tools</property>
   9     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  10     <property name="skip_pager_hint">True</property>
  11     <signal name="response" handler="on_list_dialog_response"/>
  12     <child internal-child="vbox">
  13       <widget class="GtkVBox" id="dialog-vbox1">
  14         <property name="visible">True</property>
  15         <child>
  16           <widget class="GtkLabel" id="label44">
  17             <property name="visible">True</property>
  18             <property name="xalign">0</property>
  19             <property name="xpad">5</property>
  20             <property name="ypad">2</property>
  21             <property name="label" translatable="yes">Menu Items:</property>
  22           </widget>
  23           <packing>
  24             <property name="expand">False</property>
  25             <property name="fill">False</property>
  26             <property name="position">2</property>
  27           </packing>
  28         </child>
  29         <child>
  30           <widget class="GtkHBox" id="hbox2">
  31             <property name="visible">True</property>
  32             <child>
  33               <widget class="GtkScrolledWindow" id="scrolledwindow16">
  34                 <property name="width_request">256</property>
  35                 <property name="visible">True</property>
  36                 <property name="can_focus">True</property>
  37                 <property name="border_width">5</property>
  38                 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  39                 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  40                 <property name="shadow_type">GTK_SHADOW_IN</property>
  41                 <child>
  42                   <widget class="GtkTreeView" id="tools_treeview">
  43                     <property name="visible">True</property>
  44                     <property name="can_focus">True</property>
  45                     <property name="headers_visible">False</property>
  46                     <signal name="row_activated" handler="on_tool_activated"/>
  47                   </widget>
  48                 </child>
  49               </widget>
  50             </child>
  51             <child>
  52               <widget class="GtkVButtonBox" id="vbuttonbox2">
  53                 <property name="visible">True</property>
  54                 <property name="border_width">5</property>
  55                 <property name="spacing">5</property>
  56                 <property name="layout_style">GTK_BUTTONBOX_START</property>
  57                 <child>
  58                   <widget class="GtkButton" id="edit_bt">
  59                     <property name="visible">True</property>
  60                     <property name="can_focus">True</property>
  61                     <property name="can_default">True</property>
  62                     <property name="response_id">0</property>
  63                     <signal name="clicked" handler="on_tool_edit"/>
  64                     <child>
  65                       <widget class="GtkAlignment" id="alignment9">
  66                         <property name="visible">True</property>
  67                         <property name="xscale">0</property>
  68                         <property name="yscale">0</property>
  69                         <child>
  70                           <widget class="GtkHBox" id="hbox24">
  71                             <property name="visible">True</property>
  72                             <property name="spacing">2</property>
  73                             <child>
  74                               <widget class="GtkImage" id="image9">
  75                                 <property name="visible">True</property>
  76                                 <property name="stock">gtk-preferences</property>
  77                               </widget>
  78                               <packing>
  79                                 <property name="expand">False</property>
  80                                 <property name="fill">False</property>
  81                               </packing>
  82                             </child>
  83                             <child>
  84                               <widget class="GtkLabel" id="label102">
  85                                 <property name="visible">True</property>
  86                                 <property name="label" translatable="yes">_Edit</property>
  87                                 <property name="use_underline">True</property>
  88                               </widget>
  89                               <packing>
  90                                 <property name="expand">False</property>
  91                                 <property name="fill">False</property>
  92                                 <property name="position">1</property>
  93                               </packing>
  94                             </child>
  95                           </widget>
  96                         </child>
  97                       </widget>
  98                     </child>
  99                   </widget>
 100                 </child>
 101                 <child>
 102                   <widget class="GtkButton" id="add_bt">
 103                     <property name="visible">True</property>
 104                     <property name="can_focus">True</property>
 105                     <property name="can_default">True</property>
 106                     <property name="label">gtk-add</property>
 107                     <property name="use_stock">True</property>
 108                     <property name="response_id">0</property>
 109                     <signal name="clicked" handler="on_tool_add"/>
 110                   </widget>
 111                   <packing>
 112                     <property name="position">1</property>
 113                   </packing>
 114                 </child>
 115                 <child>
 116                   <widget class="GtkButton" id="delete_bt">
 117                     <property name="visible">True</property>
 118                     <property name="can_focus">True</property>
 119                     <property name="can_default">True</property>
 120                     <property name="label">gtk-remove</property>
 121                     <property name="use_stock">True</property>
 122                     <property name="response_id">0</property>
 123                     <signal name="clicked" handler="on_tool_delete"/>
 124                   </widget>
 125                   <packing>
 126                     <property name="position">2</property>
 127                   </packing>
 128                 </child>
 129                 <child>
 130                   <widget class="GtkButton" id="up_bt">
 131                     <property name="visible">True</property>
 132                     <property name="can_focus">True</property>
 133                     <property name="can_default">True</property>
 134                     <property name="label">gtk-go-up</property>
 135                     <property name="use_stock">True</property>
 136                     <property name="response_id">0</property>
 137                     <signal name="clicked" handler="on_tool_up"/>
 138                   </widget>
 139                   <packing>
 140                     <property name="position">3</property>
 141                   </packing>
 142                 </child>
 143                 <child>
 144                   <widget class="GtkButton" id="down_bt">
 145                     <property name="visible">True</property>
 146                     <property name="can_focus">True</property>
 147                     <property name="can_default">True</property>
 148                     <property name="label">gtk-go-down</property>
 149                     <property name="use_stock">True</property>
 150                     <property name="response_id">0</property>
 151                     <signal name="clicked" handler="on_tool_down"/>
 152                   </widget>
 153                   <packing>
 154                     <property name="position">4</property>
 155                   </packing>
 156                 </child>
 157               </widget>
 158               <packing>
 159                 <property name="expand">False</property>
 160                 <property name="position">1</property>
 161               </packing>
 162             </child>
 163           </widget>
 164           <packing>
 165             <property name="position">3</property>
 166           </packing>
 167         </child>
 168         <child internal-child="action_area">
 169           <widget class="GtkHButtonBox" id="dialog-action_area1">
 170             <property name="visible">True</property>
 171             <property name="layout_style">GTK_BUTTONBOX_END</property>
 172             <child>
 173               <widget class="GtkButton" id="button1">
 174                 <property name="visible">True</property>
 175                 <property name="can_focus">True</property>
 176                 <property name="can_default">True</property>
 177                 <property name="label">gtk-close</property>
 178                 <property name="use_stock">True</property>
 179                 <property name="response_id">-7</property>
 180               </widget>
 181             </child>
 182           </widget>
 183           <packing>
 184             <property name="expand">False</property>
 185             <property name="pack_type">GTK_PACK_END</property>
 186           </packing>
 187         </child>
 188       </widget>
 189     </child>
 190   </widget>
 191   <widget class="GtkDialog" id="editor_dialog">
 192     <property name="visible">True</property>
 193     <property name="title" translatable="yes">Tool Editor</property>
 194     <property name="destroy_with_parent">True</property>
 195     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 196     <property name="skip_pager_hint">True</property>
 197     <signal name="response" handler="on_editor_dialog_response"/>
 198     <child internal-child="vbox">
 199       <widget class="GtkVBox" id="dialog-vbox3">
 200         <property name="visible">True</property>
 201         <child>
 202           <widget class="GtkTable" id="table2">
 203             <property name="visible">True</property>
 204             <property name="border_width">5</property>
 205             <property name="n_rows">8</property>
 206             <property name="n_columns">4</property>
 207             <property name="column_spacing">5</property>
 208             <property name="row_spacing">5</property>
 209             <child>
 210               <placeholder/>
 211             </child>
 212             <child>
 213               <placeholder/>
 214             </child>
 215             <child>
 216               <placeholder/>
 217             </child>
 218             <child>
 219               <widget class="GtkLabel" id="label45">
 220                 <property name="visible">True</property>
 221                 <property name="xalign">0</property>
 222                 <property name="label" translatable="yes">Name:</property>
 223               </widget>
 224               <packing>
 225                 <property name="x_options">GTK_FILL</property>
 226                 <property name="y_options"></property>
 227               </packing>
 228             </child>
 229             <child>
 230               <widget class="GtkEntry" id="name_entry">
 231                 <property name="visible">True</property>
 232                 <property name="can_focus">True</property>
 233                 <property name="invisible_char">*</property>
 234               </widget>
 235               <packing>
 236                 <property name="left_attach">1</property>
 237                 <property name="right_attach">2</property>
 238                 <property name="y_options"></property>
 239               </packing>
 240             </child>
 241             <child>
 242               <widget class="GtkCheckButton" id="enable_checkbox">
 243                 <property name="visible">True</property>
 244                 <property name="can_focus">True</property>
 245                 <property name="label" translatable="yes">Enabled</property>
 246                 <property name="use_underline">True</property>
 247                 <property name="response_id">0</property>
 248                 <property name="draw_indicator">True</property>
 249               </widget>
 250               <packing>
 251                 <property name="top_attach">5</property>
 252                 <property name="bottom_attach">6</property>
 253                 <property name="x_options">GTK_FILL</property>
 254                 <property name="y_options"></property>
 255               </packing>
 256             </child>
 257             <child>
 258               <widget class="GtkCheckButton" id="save_checkbox">
 259                 <property name="visible">True</property>
 260                 <property name="can_focus">True</property>
 261                 <property name="label" translatable="yes">Save all files</property>
 262                 <property name="use_underline">True</property>
 263                 <property name="response_id">0</property>
 264                 <property name="draw_indicator">True</property>
 265               </widget>
 266               <packing>
 267                 <property name="left_attach">1</property>
 268                 <property name="right_attach">2</property>
 269                 <property name="top_attach">5</property>
 270                 <property name="bottom_attach">6</property>
 271                 <property name="x_options">GTK_FILL</property>
 272                 <property name="y_options"></property>
 273               </packing>
 274             </child>
 275             <child>
 276               <widget class="GtkCheckButton" id="terminal_checkbox">
 277                 <property name="visible">True</property>
 278                 <property name="can_focus">True</property>
 279                 <property name="label" translatable="yes">Run in terminal</property>
 280                 <property name="use_underline">True</property>
 281                 <property name="response_id">0</property>
 282                 <property name="draw_indicator">True</property>
 283                 <signal name="toggled" handler="on_toggle_terminal"/>
 284               </widget>
 285               <packing>
 286                 <property name="left_attach">2</property>
 287                 <property name="right_attach">3</property>
 288                 <property name="top_attach">5</property>
 289                 <property name="bottom_attach">6</property>
 290                 <property name="x_options">GTK_FILL</property>
 291                 <property name="y_options"></property>
 292               </packing>
 293             </child>
 294             <child>
 295               <widget class="GtkHBox" id="hbox27">
 296                 <property name="visible">True</property>
 297                 <child>
 298                   <widget class="GnomeFileEntry" id="fileentry3">
 299                     <property name="visible">True</property>
 300                     <property name="max_saved">10</property>
 301                     <child internal-child="entry">
 302                       <widget class="GtkEntry" id="directory_entry">
 303                         <property name="visible">True</property>
 304                         <property name="can_focus">True</property>
 305                         <property name="invisible_char">*</property>
 306                       </widget>
 307                     </child>
 308                   </widget>
 309                 </child>
 310                 <child>
 311                   <widget class="GtkButton" id="button22">
 312                     <property name="visible">True</property>
 313                     <property name="can_focus">True</property>
 314                     <property name="label" translatable="yes">_Variable...</property>
 315                     <property name="use_underline">True</property>
 316                     <property name="response_id">0</property>
 317                     <signal name="clicked" handler="on_variable_directory"/>
 318                   </widget>
 319                   <packing>
 320                     <property name="expand">False</property>
 321                     <property name="fill">False</property>
 322                     <property name="position">1</property>
 323                   </packing>
 324                 </child>
 325               </widget>
 326               <packing>
 327                 <property name="left_attach">1</property>
 328                 <property name="right_attach">4</property>
 329                 <property name="top_attach">4</property>
 330                 <property name="bottom_attach">5</property>
 331                 <property name="x_options">GTK_FILL</property>
 332                 <property name="y_options">GTK_FILL</property>
 333               </packing>
 334             </child>
 335             <child>
 336               <widget class="GtkLabel" id="label48">
 337                 <property name="visible">True</property>
 338                 <property name="xalign">0</property>
 339                 <property name="label" translatable="yes">Working directory:</property>
 340               </widget>
 341               <packing>
 342                 <property name="top_attach">4</property>
 343                 <property name="bottom_attach">5</property>
 344                 <property name="x_options">GTK_FILL</property>
 345                 <property name="y_options"></property>
 346               </packing>
 347             </child>
 348             <child>
 349               <widget class="GtkHBox" id="hbox26">
 350                 <property name="visible">True</property>
 351                 <child>
 352                   <widget class="GnomeEntry" id="entry24">
 353                     <property name="visible">True</property>
 354                     <property name="max_saved">10</property>
 355                     <child internal-child="entry">
 356                       <widget class="GtkEntry" id="parameter_entry">
 357                         <property name="visible">True</property>
 358                         <property name="can_focus">True</property>
 359                         <property name="invisible_char">*</property>
 360                       </widget>
 361                     </child>
 362                   </widget>
 363                 </child>
 364                 <child>
 365                   <widget class="GtkButton" id="button20">
 366                     <property name="visible">True</property>
 367                     <property name="can_focus">True</property>
 368                     <property name="label" translatable="yes">_Variable...</property>
 369                     <property name="use_underline">True</property>
 370                     <property name="response_id">0</property>
 371                     <signal name="clicked" handler="on_variable_parameter"/>
 372                   </widget>
 373                   <packing>
 374                     <property name="expand">False</property>
 375                     <property name="fill">False</property>
 376                     <property name="position">1</property>
 377                   </packing>
 378                 </child>
 379               </widget>
 380               <packing>
 381                 <property name="left_attach">1</property>
 382                 <property name="right_attach">4</property>
 383                 <property name="top_attach">3</property>
 384                 <property name="bottom_attach">4</property>
 385                 <property name="x_options">GTK_FILL</property>
 386                 <property name="y_options">GTK_FILL</property>
 387               </packing>
 388             </child>
 389             <child>
 390               <widget class="GtkLabel" id="label47">
 391                 <property name="visible">True</property>
 392                 <property name="xalign">0</property>
 393                 <property name="label" translatable="yes">Parameters:</property>
 394               </widget>
 395               <packing>
 396                 <property name="top_attach">3</property>
 397                 <property name="bottom_attach">4</property>
 398                 <property name="x_options">GTK_FILL</property>
 399                 <property name="y_options"></property>
 400               </packing>
 401             </child>
 402             <child>
 403               <widget class="GtkLabel" id="label46">
 404                 <property name="visible">True</property>
 405                 <property name="xalign">0</property>
 406                 <property name="label" translatable="yes">Command:</property>
 407               </widget>
 408               <packing>
 409                 <property name="top_attach">2</property>
 410                 <property name="bottom_attach">3</property>
 411                 <property name="x_options">GTK_FILL</property>
 412                 <property name="y_options"></property>
 413               </packing>
 414             </child>
 415             <child>
 416               <widget class="GtkLabel" id="label105">
 417                 <property name="visible">True</property>
 418                 <property name="xalign">0</property>
 419                 <property name="label" translatable="yes">Short cut:</property>
 420               </widget>
 421               <packing>
 422                 <property name="top_attach">1</property>
 423                 <property name="bottom_attach">2</property>
 424                 <property name="x_options">GTK_FILL</property>
 425                 <property name="y_options"></property>
 426               </packing>
 427             </child>
 428             <child>
 429               <widget class="GtkToggleButton" id="shortcut_bt">
 430                 <property name="visible">True</property>
 431                 <property name="can_focus">True</property>
 432                 <property name="label"></property>
 433                 <property name="use_underline">True</property>
 434                 <property name="focus_on_click">False</property>
 435                 <property name="response_id">0</property>
 436                 <signal name="toggled" handler="on_toggle_shorcut"/>
 437               </widget>
 438               <packing>
 439                 <property name="left_attach">1</property>
 440                 <property name="right_attach">2</property>
 441                 <property name="top_attach">1</property>
 442                 <property name="bottom_attach">2</property>
 443                 <property name="x_options">GTK_FILL</property>
 444                 <property name="y_options"></property>
 445               </packing>
 446             </child>
 447             <child>
 448               <widget class="GnomeIconEntry" id="icon_entry">
 449                 <property name="visible">True</property>
 450                 <property name="max_saved">10</property>
 451               </widget>
 452               <packing>
 453                 <property name="left_attach">3</property>
 454                 <property name="right_attach">4</property>
 455                 <property name="bottom_attach">2</property>
 456                 <property name="x_options">GTK_FILL</property>
 457                 <property name="y_options">GTK_FILL</property>
 458               </packing>
 459             </child>
 460             <child>
 461               <widget class="GtkLabel" id="label103">
 462                 <property name="visible">True</property>
 463                 <property name="xalign">0</property>
 464                 <property name="label" translatable="yes" comments="This is the standard Unis stdout, see http://en.wikipedia.org/wiki/Standard_streams">Standard output:</property>
 465               </widget>
 466               <packing>
 467                 <property name="top_attach">7</property>
 468                 <property name="bottom_attach">8</property>
 469                 <property name="x_options">GTK_FILL</property>
 470                 <property name="y_options"></property>
 471               </packing>
 472             </child>
 473             <child>
 474               <widget class="GtkComboBox" id="output_combo">
 475                 <property name="visible">True</property>
 476                 <property name="items" translatable="yes"></property>
 477               </widget>
 478               <packing>
 479                 <property name="left_attach">1</property>
 480                 <property name="right_attach">2</property>
 481                 <property name="top_attach">7</property>
 482                 <property name="bottom_attach">8</property>
 483                 <property name="x_options">GTK_FILL</property>
 484                 <property name="y_options">GTK_FILL</property>
 485               </packing>
 486             </child>
 487             <child>
 488               <widget class="GtkLabel" id="label104">
 489                 <property name="visible">True</property>
 490                 <property name="xalign">0</property>
 491                 <property name="label" translatable="yes" comments="This is the Unix stderr, see http://en.wikipedia.org/wiki/Standard_streams">Standard error:</property>
 492               </widget>
 493               <packing>
 494                 <property name="left_attach">2</property>
 495                 <property name="right_attach">3</property>
 496                 <property name="top_attach">7</property>
 497                 <property name="bottom_attach">8</property>
 498                 <property name="x_options">GTK_FILL</property>
 499                 <property name="y_options"></property>
 500               </packing>
 501             </child>
 502             <child>
 503               <widget class="GtkComboBox" id="error_combo">
 504                 <property name="visible">True</property>
 505                 <property name="items" translatable="yes"></property>
 506               </widget>
 507               <packing>
 508                 <property name="left_attach">3</property>
 509                 <property name="right_attach">4</property>
 510                 <property name="top_attach">7</property>
 511                 <property name="bottom_attach">8</property>
 512                 <property name="x_options">GTK_FILL</property>
 513                 <property name="y_options">GTK_FILL</property>
 514               </packing>
 515             </child>
 516             <child>
 517               <widget class="GtkLabel" id="label106">
 518                 <property name="visible">True</property>
 519                 <property name="xalign">0</property>
 520                 <property name="label" translatable="yes" comments="This is the Unix stdin. See http://en.wikipedia.org/wiki/Standard_streams">Standard input:</property>
 521               </widget>
 522               <packing>
 523                 <property name="top_attach">6</property>
 524                 <property name="bottom_attach">7</property>
 525                 <property name="x_options">GTK_FILL</property>
 526                 <property name="y_options"></property>
 527               </packing>
 528             </child>
 529             <child>
 530               <widget class="GtkComboBox" id="input_combo">
 531                 <property name="visible">True</property>
 532                 <property name="items" translatable="yes"></property>
 533                 <signal name="changed" handler="on_input_changed"/>
 534               </widget>
 535               <packing>
 536                 <property name="left_attach">1</property>
 537                 <property name="right_attach">2</property>
 538                 <property name="top_attach">6</property>
 539                 <property name="bottom_attach">7</property>
 540                 <property name="x_options">GTK_FILL</property>
 541                 <property name="y_options">GTK_FILL</property>
 542               </packing>
 543             </child>
 544             <child>
 545               <widget class="GtkHBox" id="hbox28">
 546                 <property name="visible">True</property>
 547                 <child>
 548                   <widget class="GnomeEntry" id="entry26">
 549                     <property name="visible">True</property>
 550                     <property name="max_saved">10</property>
 551                     <child internal-child="entry">
 552                       <widget class="GtkEntry" id="input_entry">
 553                         <property name="visible">True</property>
 554                         <property name="can_focus">True</property>
 555                         <property name="invisible_char">*</property>
 556                       </widget>
 557                     </child>
 558                   </widget>
 559                 </child>
 560                 <child>
 561                   <widget class="GtkButton" id="input_button">
 562                     <property name="visible">True</property>
 563                     <property name="can_focus">True</property>
 564                     <property name="label" translatable="yes">_Variable...</property>
 565                     <property name="use_underline">True</property>
 566                     <property name="response_id">0</property>
 567                     <signal name="clicked" handler="on_variable_input"/>
 568                   </widget>
 569                   <packing>
 570                     <property name="expand">False</property>
 571                     <property name="fill">False</property>
 572                     <property name="position">1</property>
 573                   </packing>
 574                 </child>
 575               </widget>
 576               <packing>
 577                 <property name="left_attach">2</property>
 578                 <property name="right_attach">4</property>
 579                 <property name="top_attach">6</property>
 580                 <property name="bottom_attach">7</property>
 581                 <property name="x_options">GTK_FILL</property>
 582                 <property name="y_options">GTK_FILL</property>
 583               </packing>
 584             </child>
 585             <child>
 586               <widget class="GtkHBox" id="hbox29">
 587                 <property name="visible">True</property>
 588                 <child>
 589                   <widget class="GnomeFileEntry" id="fileentry2">
 590                     <property name="visible">True</property>
 591                     <property name="modal">True</property>
 592                     <property name="use_filechooser">True</property>
 593                     <property name="max_saved">10</property>
 594                     <child internal-child="entry">
 595                       <widget class="GtkEntry" id="command_entry">
 596                         <property name="visible">True</property>
 597                         <property name="can_focus">True</property>
 598                         <property name="invisible_char">*</property>
 599                       </widget>
 600                     </child>
 601                   </widget>
 602                 </child>
 603                 <child>
 604                   <widget class="GtkCheckButton" id="script_checkbox">
 605                     <property name="visible">True</property>
 606                     <property name="can_focus">True</property>
 607                     <property name="tooltip" translatable="yes">Edit command as script in Anjuta on close</property>
 608                     <property name="label" translatable="yes">Edit as script</property>
 609                     <property name="use_underline">True</property>
 610                     <property name="response_id">0</property>
 611                     <property name="draw_indicator">True</property>
 612                     <signal name="toggled" handler="on_toggle_script"/>
 613                   </widget>
 614                   <packing>
 615                     <property name="expand">False</property>
 616                     <property name="fill">False</property>
 617                     <property name="position">1</property>
 618                   </packing>
 619                 </child>
 620               </widget>
 621               <packing>
 622                 <property name="left_attach">1</property>
 623                 <property name="right_attach">4</property>
 624                 <property name="top_attach">2</property>
 625                 <property name="bottom_attach">3</property>
 626                 <property name="x_options">GTK_FILL</property>
 627                 <property name="y_options">GTK_FILL</property>
 628               </packing>
 629             </child>
 630           </widget>
 631           <packing>
 632             <property name="position">2</property>
 633           </packing>
 634         </child>
 635         <child internal-child="action_area">
 636           <widget class="GtkHButtonBox" id="dialog-action_area3">
 637             <property name="visible">True</property>
 638             <property name="layout_style">GTK_BUTTONBOX_END</property>
 639             <child>
 640               <widget class="GtkButton" id="cancelbutton1">
 641                 <property name="visible">True</property>
 642                 <property name="can_focus">True</property>
 643                 <property name="can_default">True</property>
 644                 <property name="label">gtk-cancel</property>
 645                 <property name="use_stock">True</property>
 646                 <property name="response_id">-6</property>
 647               </widget>
 648             </child>
 649             <child>
 650               <widget class="GtkButton" id="okbutton2">
 651                 <property name="visible">True</property>
 652                 <property name="can_focus">True</property>
 653                 <property name="can_default">True</property>
 654                 <property name="label">gtk-ok</property>
 655                 <property name="use_stock">True</property>
 656                 <property name="response_id">-5</property>
 657               </widget>
 658               <packing>
 659                 <property name="position">1</property>
 660               </packing>
 661             </child>
 662           </widget>
 663           <packing>
 664             <property name="expand">False</property>
 665             <property name="pack_type">GTK_PACK_END</property>
 666           </packing>
 667         </child>
 668       </widget>
 669     </child>
 670   </widget>
 671   <widget class="GtkDialog" id="variable_dialog">
 672     <property name="width_request">383</property>
 673     <property name="height_request">255</property>
 674     <property name="visible">True</property>
 675     <property name="title" translatable="yes">Variable list</property>
 676     <property name="modal">True</property>
 677     <property name="destroy_with_parent">True</property>
 678     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 679     <property name="skip_pager_hint">True</property>
 680     <signal name="response" handler="on_variable_dialog_response"/>
 681     <child internal-child="vbox">
 682       <widget class="GtkVBox" id="dialog-vbox5">
 683         <property name="visible">True</property>
 684         <child>
 685           <widget class="GtkScrolledWindow" id="scrolledwindow17">
 686             <property name="visible">True</property>
 687             <property name="can_focus">True</property>
 688             <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 689             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 690             <child>
 691               <widget class="GtkTreeView" id="variable_treeview">
 692                 <property name="visible">True</property>
 693                 <property name="can_focus">True</property>
 694                 <signal name="row_activated" handler="on_variable_activate_row"/>
 695               </widget>
 696             </child>
 697           </widget>
 698           <packing>
 699             <property name="position">2</property>
 700           </packing>
 701         </child>
 702         <child internal-child="action_area">
 703           <widget class="GtkHButtonBox" id="dialog-action_area5">
 704             <property name="visible">True</property>
 705             <property name="layout_style">GTK_BUTTONBOX_END</property>
 706             <child>
 707               <widget class="GtkButton" id="closebutton1">
 708                 <property name="visible">True</property>
 709                 <property name="can_focus">True</property>
 710                 <property name="can_default">True</property>
 711                 <property name="label">gtk-close</property>
 712                 <property name="use_stock">True</property>
 713                 <property name="response_id">-7</property>
 714               </widget>
 715             </child>
 716             <child>
 717               <widget class="GtkButton" id="button17">
 718                 <property name="visible">True</property>
 719                 <property name="can_focus">True</property>
 720                 <property name="can_default">True</property>
 721                 <property name="label">gtk-add</property>
 722                 <property name="use_stock">True</property>
 723                 <property name="response_id">-5</property>
 724               </widget>
 725               <packing>
 726                 <property name="position">1</property>
 727               </packing>
 728             </child>
 729           </widget>
 730           <packing>
 731             <property name="expand">False</property>
 732             <property name="pack_type">GTK_PACK_END</property>
 733           </packing>
 734         </child>
 735       </widget>
 736     </child>
 737   </widget>
 738 </glade-interface>