plugins/build-basic-autotools/anjuta-build-basic-autotools-plugin.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="execute_dialog">
   6     <property name="title" translatable="yes">Select Program</property>
   7     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
   8     <property name="default_width">400</property>
   9     <property name="default_height">300</property>
  10     <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  11     <child internal-child="vbox">
  12       <widget class="GtkVBox" id="dialog-vbox5">
  13         <property name="visible">True</property>
  14         <property name="spacing">5</property>
  15         <child>
  16           <widget class="GtkFrame" id="frame1">
  17             <property name="visible">True</property>
  18             <property name="border_width">5</property>
  19             <property name="label_xalign">0</property>
  20             <property name="label_yalign">0</property>
  21             <property name="shadow_type">GTK_SHADOW_NONE</property>
  22             <child>
  23               <widget class="GtkVBox" id="vbox1">
  24                 <property name="visible">True</property>
  25                 <child>
  26                   <widget class="GtkScrolledWindow" id="treeview_frame">
  27                     <property name="visible">True</property>
  28                     <property name="can_focus">True</property>
  29                     <property name="border_width">5</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="programs_treeview">
  35                         <property name="visible">True</property>
  36                         <property name="can_focus">True</property>
  37                       </widget>
  38                     </child>
  39                   </widget>
  40                 </child>
  41                 <child>
  42                   <widget class="GtkHBox" id="hbox27">
  43                     <property name="visible">True</property>
  44                     <child>
  45                       <widget class="GtkLabel" id="label3">
  46                         <property name="visible">True</property>
  47                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  48                         <property name="label" translatable="yes">Arguments:</property>
  49                       </widget>
  50                       <packing>
  51                         <property name="expand">False</property>
  52                       </packing>
  53                     </child>
  54                     <child>
  55                       <widget class="GtkEntry" id="program_arguments">
  56                         <property name="visible">True</property>
  57                         <property name="can_focus">True</property>
  58                         <property name="activates_default">True</property>
  59                       </widget>
  60                       <packing>
  61                         <property name="padding">5</property>
  62                         <property name="position">1</property>
  63                       </packing>
  64                     </child>
  65                   </widget>
  66                   <packing>
  67                     <property name="expand">False</property>
  68                     <property name="position">1</property>
  69                   </packing>
  70                 </child>
  71                 <child>
  72                   <widget class="GtkCheckButton" id="program_run_in_terminal">
  73                     <property name="visible">True</property>
  74                     <property name="can_focus">True</property>
  75                     <property name="border_width">5</property>
  76                     <property name="label" translatable="yes">Run in terminal</property>
  77                     <property name="use_underline">True</property>
  78                     <property name="response_id">0</property>
  79                     <property name="draw_indicator">True</property>
  80                   </widget>
  81                   <packing>
  82                     <property name="expand">False</property>
  83                     <property name="fill">False</property>
  84                     <property name="position">2</property>
  85                   </packing>
  86                 </child>
  87               </widget>
  88             </child>
  89             <child>
  90               <widget class="GtkLabel" id="label105">
  91                 <property name="visible">True</property>
  92                 <property name="xalign">0</property>
  93                 <property name="yalign">0</property>
  94                 <property name="label" translatable="yes">&lt;b&gt;Select Program to run:&lt;/b&gt;</property>
  95                 <property name="use_markup">True</property>
  96               </widget>
  97               <packing>
  98                 <property name="type">label_item</property>
  99               </packing>
 100             </child>
 101           </widget>
 102           <packing>
 103             <property name="position">2</property>
 104           </packing>
 105         </child>
 106         <child internal-child="action_area">
 107           <widget class="GtkHButtonBox" id="dialog-action_area5">
 108             <property name="visible">True</property>
 109             <property name="layout_style">GTK_BUTTONBOX_END</property>
 110             <child>
 111               <widget class="GtkButton" id="cancelbutton2">
 112                 <property name="visible">True</property>
 113                 <property name="can_focus">True</property>
 114                 <property name="can_default">True</property>
 115                 <property name="label">gtk-cancel</property>
 116                 <property name="use_stock">True</property>
 117                 <property name="response_id">-6</property>
 118               </widget>
 119             </child>
 120             <child>
 121               <widget class="GtkButton" id="okbutton3">
 122                 <property name="visible">True</property>
 123                 <property name="can_focus">True</property>
 124                 <property name="has_focus">True</property>
 125                 <property name="can_default">True</property>
 126                 <property name="has_default">True</property>
 127                 <property name="label">gtk-ok</property>
 128                 <property name="use_stock">True</property>
 129                 <property name="response_id">-5</property>
 130               </widget>
 131               <packing>
 132                 <property name="position">1</property>
 133               </packing>
 134             </child>
 135           </widget>
 136           <packing>
 137             <property name="expand">False</property>
 138             <property name="pack_type">GTK_PACK_END</property>
 139           </packing>
 140         </child>
 141       </widget>
 142     </child>
 143   </widget>
 144   <widget class="GtkWindow" id="preferences_dialog_build">
 145     <property name="title" translatable="yes">window1</property>
 146     <child>
 147       <widget class="GtkVBox" id="preferences_build_container">
 148         <property name="visible">True</property>
 149         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 150         <child>
 151           <widget class="GtkFrame" id="frame3">
 152             <property name="visible">True</property>
 153             <property name="border_width">10</property>
 154             <property name="label_xalign">0</property>
 155             <property name="shadow_type">GTK_SHADOW_NONE</property>
 156             <child>
 157               <widget class="GtkAlignment" id="alignment1">
 158                 <property name="visible">True</property>
 159                 <property name="xalign">0</property>
 160                 <property name="yalign">0</property>
 161                 <property name="left_padding">12</property>
 162                 <child>
 163                   <widget class="GtkVBox" id="vbox3">
 164                     <property name="visible">True</property>
 165                     <property name="spacing">6</property>
 166                     <child>
 167                       <widget class="GtkHBox" id="hbox2">
 168                         <property name="visible">True</property>
 169                         <property name="spacing">6</property>
 170                         <child>
 171                           <widget class="GtkCheckButton" id="preferences_toggle:bool:0:0:build.parallel.make">
 172                             <property name="visible">True</property>
 173                             <property name="can_focus">True</property>
 174                             <property name="label" translatable="yes">Run several commands at a time:</property>
 175                             <property name="response_id">0</property>
 176                             <property name="draw_indicator">True</property>
 177                           </widget>
 178                           <packing>
 179                             <property name="expand">False</property>
 180                             <property name="fill">False</property>
 181                           </packing>
 182                         </child>
 183                         <child>
 184                           <widget class="GtkSpinButton" id="preferences_spin:int:1:0:build.parallel.make.job">
 185                             <property name="visible">True</property>
 186                             <property name="can_focus">True</property>
 187                             <property name="xalign">1</property>
 188                             <property name="adjustment">4 1 30 1 10 10</property>
 189                             <property name="snap_to_ticks">True</property>
 190                             <property name="numeric">True</property>
 191                             <property name="wrap">True</property>
 192                           </widget>
 193                           <packing>
 194                             <property name="expand">False</property>
 195                             <property name="fill">False</property>
 196                             <property name="position">1</property>
 197                           </packing>
 198                         </child>
 199                       </widget>
 200                       <packing>
 201                         <property name="expand">False</property>
 202                         <property name="fill">False</property>
 203                       </packing>
 204                     </child>
 205                     <child>
 206                       <widget class="GtkCheckButton" id="preferences_toggle:bool:0:0:build.continue.error">
 207                         <property name="visible">True</property>
 208                         <property name="can_focus">True</property>
 209                         <property name="label" translatable="yes">Continue on errors</property>
 210                         <property name="use_underline">True</property>
 211                         <property name="response_id">0</property>
 212                         <property name="draw_indicator">True</property>
 213                       </widget>
 214                       <packing>
 215                         <property name="expand">False</property>
 216                         <property name="fill">False</property>
 217                         <property name="position">1</property>
 218                       </packing>
 219                     </child>
 220                     <child>
 221                       <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:build.translate.message">
 222                         <property name="visible">True</property>
 223                         <property name="can_focus">True</property>
 224                         <property name="label" translatable="yes">Translate messages</property>
 225                         <property name="response_id">0</property>
 226                         <property name="draw_indicator">True</property>
 227                       </widget>
 228                       <packing>
 229                         <property name="position">2</property>
 230                       </packing>
 231                     </child>
 232                     <child>
 233                       <widget class="GtkCheckButton" id="preferences_toggle:bool:0:0:indicators.automatic">
 234                         <property name="visible">True</property>
 235                         <property name="can_focus">True</property>
 236                         <property name="label" translatable="yes">Highlight message locations in editor</property>
 237                         <property name="use_underline">True</property>
 238                         <property name="response_id">0</property>
 239                         <property name="draw_indicator">True</property>
 240                       </widget>
 241                       <packing>
 242                         <property name="expand">False</property>
 243                         <property name="fill">False</property>
 244                         <property name="position">3</property>
 245                       </packing>
 246                     </child>
 247                   </widget>
 248                 </child>
 249               </widget>
 250             </child>
 251             <child>
 252               <widget class="GtkLabel" id="label5">
 253                 <property name="visible">True</property>
 254                 <property name="xalign">0</property>
 255                 <property name="yalign">0</property>
 256                 <property name="label" translatable="yes">&lt;b&gt;Build&lt;/b&gt;</property>
 257                 <property name="use_markup">True</property>
 258               </widget>
 259               <packing>
 260                 <property name="type">label_item</property>
 261               </packing>
 262             </child>
 263           </widget>
 264           <packing>
 265             <property name="expand">False</property>
 266             <property name="fill">False</property>
 267           </packing>
 268         </child>
 269         <child>
 270           <widget class="GtkFrame" id="frame2">
 271             <property name="visible">True</property>
 272             <property name="border_width">10</property>
 273             <property name="label_xalign">0</property>
 274             <property name="shadow_type">GTK_SHADOW_NONE</property>
 275             <child>
 276               <widget class="GtkAlignment" id="alignment4">
 277                 <property name="visible">True</property>
 278                 <property name="xalign">0</property>
 279                 <property name="yalign">0</property>
 280                 <property name="left_padding">12</property>
 281                 <child>
 282                   <widget class="GtkVBox" id="vbox5">
 283                     <property name="visible">True</property>
 284                     <property name="spacing">6</property>
 285                     <child>
 286                       <widget class="GtkHBox" id="hbox3">
 287                         <property name="visible">True</property>
 288                         <property name="spacing">6</property>
 289                         <child>
 290                           <widget class="GtkCheckButton" id="preferences_toggle:bool:0:0:build.install.root">
 291                             <property name="visible">True</property>
 292                             <property name="can_focus">True</property>
 293                             <property name="label" translatable="yes">Install as root:</property>
 294                             <property name="use_underline">True</property>
 295                             <property name="response_id">0</property>
 296                             <property name="draw_indicator">True</property>
 297                           </widget>
 298                           <packing>
 299                             <property name="expand">False</property>
 300                             <property name="fill">False</property>
 301                           </packing>
 302                         </child>
 303                         <child>
 304                           <widget class="GtkEntry" id="preferences_entry:text:sudo:0:build.install.root.command">
 305                             <property name="visible">True</property>
 306                             <property name="can_focus">True</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                       </packing>
 319                     </child>
 320                   </widget>
 321                 </child>
 322               </widget>
 323             </child>
 324             <child>
 325               <widget class="GtkLabel" id="label8">
 326                 <property name="visible">True</property>
 327                 <property name="xalign">0</property>
 328                 <property name="yalign">0</property>
 329                 <property name="label" translatable="yes">&lt;b&gt;Install&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="expand">False</property>
 339             <property name="fill">False</property>
 340             <property name="position">1</property>
 341           </packing>
 342         </child>
 343       </widget>
 344     </child>
 345   </widget>
 346   <widget class="GtkDialog" id="configure_dialog">
 347     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 348     <property name="border_width">5</property>
 349     <property name="title" translatable="yes">Configure Project</property>
 350     <property name="window_position">GTK_WIN_POS_CENTER_ON_PARENT</property>
 351     <property name="default_width">450</property>
 352     <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
 353     <property name="has_separator">False</property>
 354     <child internal-child="vbox">
 355       <widget class="GtkVBox" id="dialog-vbox2">
 356         <property name="visible">True</property>
 357         <property name="spacing">2</property>
 358         <child>
 359           <widget class="GtkVBox" id="vbox4">
 360             <property name="visible">True</property>
 361             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 362             <property name="spacing">18</property>
 363             <child>
 364               <widget class="GtkCheckButton" id="force_autogen_check">
 365                 <property name="visible">True</property>
 366                 <property name="can_focus">True</property>
 367                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 368                 <property name="response_id">0</property>
 369                 <property name="draw_indicator">True</property>
 370                 <child>
 371                   <widget class="GtkLabel" id="label4">
 372                     <property name="visible">True</property>
 373                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 374                     <property name="label" translatable="yes">&lt;b&gt;Regenerate project&lt;/b&gt;</property>
 375                     <property name="use_markup">True</property>
 376                   </widget>
 377                 </child>
 378               </widget>
 379             </child>
 380             <child>
 381               <widget class="GtkVBox" id="vbox6">
 382                 <property name="visible">True</property>
 383                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 384                 <child>
 385                   <widget class="GtkHBox" id="hbox1">
 386                     <property name="visible">True</property>
 387                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 388                     <property name="spacing">12</property>
 389                     <child>
 390                       <widget class="GtkLabel" id="label1">
 391                         <property name="visible">True</property>
 392                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 393                         <property name="xalign">0</property>
 394                         <property name="label" translatable="yes">&lt;b&gt;Configuration:&lt;/b&gt;</property>
 395                         <property name="use_markup">True</property>
 396                       </widget>
 397                       <packing>
 398                         <property name="expand">False</property>
 399                         <property name="fill">False</property>
 400                       </packing>
 401                     </child>
 402                     <child>
 403                       <widget class="GtkComboBoxEntry" id="configuration_combo_entry">
 404                         <property name="visible">True</property>
 405                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 406                         <child internal-child="entry">
 407                           <widget class="GtkEntry" id="comboboxentry-entry2">
 408                             <property name="visible">True</property>
 409                             <property name="can_focus">True</property>
 410                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 411                           </widget>
 412                         </child>
 413                       </widget>
 414                       <packing>
 415                         <property name="position">1</property>
 416                       </packing>
 417                     </child>
 418                   </widget>
 419                   <packing>
 420                     <property name="expand">False</property>
 421                     <property name="fill">False</property>
 422                   </packing>
 423                 </child>
 424                 <child>
 425                   <widget class="GtkAlignment" id="alignment2">
 426                     <property name="visible">True</property>
 427                     <property name="top_padding">6</property>
 428                     <property name="left_padding">12</property>
 429                     <child>
 430                       <widget class="GtkTable" id="table1">
 431                         <property name="visible">True</property>
 432                         <property name="n_rows">2</property>
 433                         <property name="n_columns">2</property>
 434                         <property name="column_spacing">12</property>
 435                         <property name="row_spacing">6</property>
 436                         <child>
 437                           <widget class="GtkEntry" id="configure_args_entry">
 438                             <property name="visible">True</property>
 439                             <property name="app_paintable">True</property>
 440                             <property name="can_focus">True</property>
 441                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 442                           </widget>
 443                           <packing>
 444                             <property name="left_attach">1</property>
 445                             <property name="right_attach">2</property>
 446                             <property name="top_attach">1</property>
 447                             <property name="bottom_attach">2</property>
 448                             <property name="y_options"></property>
 449                           </packing>
 450                         </child>
 451                         <child>
 452                           <widget class="GtkLabel" id="label6">
 453                             <property name="visible">True</property>
 454                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 455                             <property name="xalign">0</property>
 456                             <property name="label" translatable="yes">Configure Options:</property>
 457                           </widget>
 458                           <packing>
 459                             <property name="top_attach">1</property>
 460                             <property name="bottom_attach">2</property>
 461                             <property name="x_options">GTK_FILL</property>
 462                             <property name="y_options"></property>
 463                           </packing>
 464                         </child>
 465                         <child>
 466                           <widget class="GtkFileChooserButton" id="build_dir_chooser">
 467                             <property name="visible">True</property>
 468                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 469                             <property name="action">GTK_FILE_CHOOSER_ACTION_SELECT_FOLDER</property>
 470                             <property name="title" translatable="yes">Select a build directory</property>
 471                           </widget>
 472                           <packing>
 473                             <property name="left_attach">1</property>
 474                             <property name="right_attach">2</property>
 475                             <property name="y_options"></property>
 476                           </packing>
 477                         </child>
 478                         <child>
 479                           <widget class="GtkLabel" id="label2">
 480                             <property name="visible">True</property>
 481                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 482                             <property name="xalign">0</property>
 483                             <property name="label" translatable="yes">Build Directory:</property>
 484                           </widget>
 485                           <packing>
 486                             <property name="x_options">GTK_FILL</property>
 487                             <property name="y_options"></property>
 488                           </packing>
 489                         </child>
 490                       </widget>
 491                     </child>
 492                   </widget>
 493                   <packing>
 494                     <property name="expand">False</property>
 495                     <property name="fill">False</property>
 496                     <property name="position">1</property>
 497                   </packing>
 498                 </child>
 499               </widget>
 500               <packing>
 501                 <property name="position">1</property>
 502               </packing>
 503             </child>
 504           </widget>
 505           <packing>
 506             <property name="position">1</property>
 507           </packing>
 508         </child>
 509         <child internal-child="action_area">
 510           <widget class="GtkHButtonBox" id="dialog-action_area2">
 511             <property name="visible">True</property>
 512             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 513             <property name="layout_style">GTK_BUTTONBOX_END</property>
 514             <child>
 515               <widget class="GtkButton" id="button2">
 516                 <property name="visible">True</property>
 517                 <property name="can_focus">True</property>
 518                 <property name="receives_default">True</property>
 519                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 520                 <property name="label">gtk-cancel</property>
 521                 <property name="use_stock">True</property>
 522                 <property name="response_id">-6</property>
 523               </widget>
 524             </child>
 525             <child>
 526               <widget class="GtkButton" id="ok_button">
 527                 <property name="visible">True</property>
 528                 <property name="can_focus">True</property>
 529                 <property name="receives_default">True</property>
 530                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 531                 <property name="label">gtk-execute</property>
 532                 <property name="use_stock">True</property>
 533                 <property name="response_id">-5</property>
 534               </widget>
 535               <packing>
 536                 <property name="position">1</property>
 537               </packing>
 538             </child>
 539           </widget>
 540           <packing>
 541             <property name="expand">False</property>
 542             <property name="pack_type">GTK_PACK_END</property>
 543           </packing>
 544         </child>
 545       </widget>
 546     </child>
 547   </widget>
 548 </glade-interface>