plugins/build-basic-autotools/anjuta-build-basic-autotools-plugin.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <interface>
   3   <!-- interface-requires gtk+ 3.0 -->
   4   <object class="GtkAdjustment" id="adjustment1">
   5     <property name="lower">1</property>
   6     <property name="upper">30</property>
   7     <property name="value">4</property>
   8     <property name="step_increment">1</property>
   9     <property name="page_increment">10</property>
  10   </object>
  11   <object class="GtkDialog" id="configure_dialog">
  12     <property name="can_focus">False</property>
  13     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  14     <property name="border_width">5</property>
  15     <property name="title" translatable="yes">Configure Project</property>
  16     <property name="window_position">center-on-parent</property>
  17     <property name="default_width">450</property>
  18     <property name="type_hint">dialog</property>
  19     <child internal-child="vbox">
  20       <object class="GtkBox" id="dialog-vbox2">
  21         <property name="visible">True</property>
  22         <property name="can_focus">False</property>
  23         <property name="orientation">vertical</property>
  24         <property name="spacing">2</property>
  25         <child internal-child="action_area">
  26           <object class="GtkButtonBox" id="dialog-action_area2">
  27             <property name="visible">True</property>
  28             <property name="can_focus">False</property>
  29             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  30             <property name="layout_style">end</property>
  31             <child>
  32               <object class="GtkButton" id="button2">
  33                 <property name="label">gtk-cancel</property>
  34                 <property name="visible">True</property>
  35                 <property name="can_focus">True</property>
  36                 <property name="receives_default">True</property>
  37                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  38                 <property name="use_stock">True</property>
  39               </object>
  40               <packing>
  41                 <property name="expand">False</property>
  42                 <property name="fill">False</property>
  43                 <property name="position">0</property>
  44               </packing>
  45             </child>
  46             <child>
  47               <object class="GtkButton" id="ok_button">
  48                 <property name="label">gtk-execute</property>
  49                 <property name="visible">True</property>
  50                 <property name="can_focus">True</property>
  51                 <property name="receives_default">True</property>
  52                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  53                 <property name="use_stock">True</property>
  54               </object>
  55               <packing>
  56                 <property name="expand">False</property>
  57                 <property name="fill">False</property>
  58                 <property name="position">1</property>
  59               </packing>
  60             </child>
  61           </object>
  62           <packing>
  63             <property name="expand">False</property>
  64             <property name="fill">True</property>
  65             <property name="pack_type">end</property>
  66             <property name="position">0</property>
  67           </packing>
  68         </child>
  69         <child>
  70           <object class="GtkVBox" id="vbox4">
  71             <property name="visible">True</property>
  72             <property name="can_focus">False</property>
  73             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  74             <property name="spacing">18</property>
  75             <child>
  76               <object class="GtkCheckButton" id="force_autogen_check">
  77                 <property name="visible">True</property>
  78                 <property name="can_focus">True</property>
  79                 <property name="receives_default">False</property>
  80                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  81                 <property name="xalign">0</property>
  82                 <property name="draw_indicator">True</property>
  83                 <child>
  84                   <object class="GtkLabel" id="label4">
  85                     <property name="visible">True</property>
  86                     <property name="can_focus">False</property>
  87                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  88                     <property name="label" translatable="yes">Regenerate project</property>
  89                     <attributes>
  90                       <attribute name="weight" value="bold"/>
  91                     </attributes>
  92                   </object>
  93                 </child>
  94               </object>
  95               <packing>
  96                 <property name="expand">False</property>
  97                 <property name="fill">False</property>
  98                 <property name="position">0</property>
  99               </packing>
 100             </child>
 101             <child>
 102               <object class="GtkVBox" id="vbox6">
 103                 <property name="visible">True</property>
 104                 <property name="can_focus">False</property>
 105                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 106                 <child>
 107                   <object class="GtkHBox" id="hbox1">
 108                     <property name="visible">True</property>
 109                     <property name="can_focus">False</property>
 110                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 111                     <property name="spacing">12</property>
 112                     <child>
 113                       <object class="GtkLabel" id="label1">
 114                         <property name="visible">True</property>
 115                         <property name="can_focus">False</property>
 116                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 117                         <property name="xalign">0</property>
 118                         <property name="label" translatable="yes">Configuration:</property>
 119                         <attributes>
 120                           <attribute name="weight" value="bold"/>
 121                         </attributes>
 122                       </object>
 123                       <packing>
 124                         <property name="expand">False</property>
 125                         <property name="fill">False</property>
 126                         <property name="position">0</property>
 127                       </packing>
 128                     </child>
 129                     <child>
 130                       <object class="GtkComboBox" id="configuration_combo_entry">
 131                         <property name="visible">True</property>
 132                         <property name="can_focus">True</property>
 133                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 134                         <property name="has_entry">True</property>
 135                         <child internal-child="entry">
 136                           <object class="GtkEntry" id="comboboxentry-entry2">
 137                             <property name="can_focus">True</property>
 138                           </object>
 139                         </child>
 140                       </object>
 141                       <packing>
 142                         <property name="expand">True</property>
 143                         <property name="fill">True</property>
 144                         <property name="position">1</property>
 145                       </packing>
 146                     </child>
 147                   </object>
 148                   <packing>
 149                     <property name="expand">False</property>
 150                     <property name="fill">False</property>
 151                     <property name="position">0</property>
 152                   </packing>
 153                 </child>
 154                 <child>
 155                   <object class="GtkAlignment" id="alignment2">
 156                     <property name="visible">True</property>
 157                     <property name="can_focus">False</property>
 158                     <property name="top_padding">6</property>
 159                     <property name="left_padding">12</property>
 160                     <child>
 161                       <object class="GtkTable" id="table1">
 162                         <property name="visible">True</property>
 163                         <property name="can_focus">False</property>
 164                         <property name="n_rows">4</property>
 165                         <property name="n_columns">2</property>
 166                         <property name="column_spacing">12</property>
 167                         <property name="row_spacing">6</property>
 168                         <child>
 169                           <placeholder/>
 170                         </child>
 171                         <child>
 172                           <placeholder/>
 173                         </child>
 174                         <child>
 175                           <object class="GtkEntry" id="configure_args_entry">
 176                             <property name="visible">True</property>
 177                             <property name="app_paintable">True</property>
 178                             <property name="can_focus">True</property>
 179                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 180                           </object>
 181                           <packing>
 182                             <property name="left_attach">1</property>
 183                             <property name="right_attach">2</property>
 184                             <property name="top_attach">2</property>
 185                             <property name="bottom_attach">3</property>
 186                             <property name="y_options"></property>
 187                           </packing>
 188                         </child>
 189                         <child>
 190                           <object class="GtkLabel" id="label6">
 191                             <property name="visible">True</property>
 192                             <property name="can_focus">False</property>
 193                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 194                             <property name="xalign">0</property>
 195                             <property name="label" translatable="yes">Configure Options:</property>
 196                           </object>
 197                           <packing>
 198                             <property name="top_attach">2</property>
 199                             <property name="bottom_attach">3</property>
 200                             <property name="x_options">GTK_FILL</property>
 201                             <property name="y_options"></property>
 202                           </packing>
 203                         </child>
 204                         <child>
 205                           <object class="GtkLabel" id="label2">
 206                             <property name="visible">True</property>
 207                             <property name="can_focus">False</property>
 208                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 209                             <property name="xalign">0</property>
 210                             <property name="label" translatable="yes">Build Directory:</property>
 211                           </object>
 212                           <packing>
 213                             <property name="x_options">GTK_FILL</property>
 214                             <property name="y_options"></property>
 215                           </packing>
 216                         </child>
 217                         <child>
 218                           <object class="AnjutaEnvironmentEditor" id="environment_editor">
 219                             <property name="visible">True</property>
 220                             <property name="can_focus">True</property>
 221                           </object>
 222                           <packing>
 223                             <property name="right_attach">2</property>
 224                             <property name="top_attach">3</property>
 225                             <property name="bottom_attach">4</property>
 226                           </packing>
 227                         </child>
 228                         <child>
 229                           <object class="GtkButton" id="build_dir_button">
 230                             <property name="visible">True</property>
 231                             <property name="can_focus">True</property>
 232                             <property name="receives_default">True</property>
 233                             <child>
 234                               <object class="GtkBox" id="box1">
 235                                 <property name="visible">True</property>
 236                                 <property name="can_focus">False</property>
 237                                 <child>
 238                                   <object class="GtkImage" id="image1">
 239                                     <property name="visible">True</property>
 240                                     <property name="can_focus">False</property>
 241                                     <property name="stock">gtk-directory</property>
 242                                   </object>
 243                                   <packing>
 244                                     <property name="expand">False</property>
 245                                     <property name="fill">True</property>
 246                                     <property name="position">0</property>
 247                                   </packing>
 248                                 </child>
 249                                 <child>
 250                                   <object class="GtkLabel" id="build_dir_label">
 251                                     <property name="visible">True</property>
 252                                     <property name="can_focus">False</property>
 253                                     <property name="xalign">0</property>
 254                                     <property name="label">label</property>
 255                                   </object>
 256                                   <packing>
 257                                     <property name="expand">True</property>
 258                                     <property name="fill">True</property>
 259                                     <property name="position">1</property>
 260                                   </packing>
 261                                 </child>
 262                                 <child>
 263                                   <object class="GtkSeparator" id="separator1">
 264                                     <property name="visible">True</property>
 265                                     <property name="can_focus">False</property>
 266                                     <property name="orientation">vertical</property>
 267                                   </object>
 268                                   <packing>
 269                                     <property name="expand">False</property>
 270                                     <property name="fill">True</property>
 271                                     <property name="position">2</property>
 272                                   </packing>
 273                                 </child>
 274                                 <child>
 275                                   <object class="GtkArrow" id="arrow1">
 276                                     <property name="visible">True</property>
 277                                     <property name="can_focus">False</property>
 278                                     <property name="arrow_type">down</property>
 279                                   </object>
 280                                   <packing>
 281                                     <property name="expand">False</property>
 282                                     <property name="fill">True</property>
 283                                     <property name="pack_type">end</property>
 284                                     <property name="position">3</property>
 285                                   </packing>
 286                                 </child>
 287                               </object>
 288                             </child>
 289                           </object>
 290                           <packing>
 291                             <property name="left_attach">1</property>
 292                             <property name="right_attach">2</property>
 293                             <property name="y_options"/>
 294                           </packing>
 295                         </child>
 296                       </object>
 297                     </child>
 298                   </object>
 299                   <packing>
 300                     <property name="expand">True</property>
 301                     <property name="fill">True</property>
 302                     <property name="position">1</property>
 303                   </packing>
 304                 </child>
 305               </object>
 306               <packing>
 307                 <property name="expand">True</property>
 308                 <property name="fill">True</property>
 309                 <property name="position">1</property>
 310               </packing>
 311             </child>
 312           </object>
 313           <packing>
 314             <property name="expand">False</property>
 315             <property name="fill">True</property>
 316             <property name="position">1</property>
 317           </packing>
 318         </child>
 319       </object>
 320     </child>
 321     <action-widgets>
 322       <action-widget response="-6">button2</action-widget>
 323       <action-widget response="-5">ok_button</action-widget>
 324     </action-widgets>
 325   </object>
 326   <object class="GtkDialog" id="execute_dialog">
 327     <property name="can_focus">False</property>
 328     <property name="title" translatable="yes">Select Program</property>
 329     <property name="window_position">center-on-parent</property>
 330     <property name="default_width">400</property>
 331     <property name="default_height">300</property>
 332     <property name="type_hint">normal</property>
 333     <child internal-child="vbox">
 334       <object class="GtkBox" id="dialog-vbox5">
 335         <property name="visible">True</property>
 336         <property name="can_focus">False</property>
 337         <property name="spacing">5</property>
 338         <child internal-child="action_area">
 339           <object class="GtkButtonBox" id="dialog-action_area5">
 340             <property name="visible">True</property>
 341             <property name="can_focus">False</property>
 342             <property name="layout_style">end</property>
 343             <child>
 344               <object class="GtkButton" id="cancelbutton2">
 345                 <property name="label">gtk-cancel</property>
 346                 <property name="visible">True</property>
 347                 <property name="can_focus">True</property>
 348                 <property name="can_default">True</property>
 349                 <property name="receives_default">False</property>
 350                 <property name="use_stock">True</property>
 351               </object>
 352               <packing>
 353                 <property name="expand">False</property>
 354                 <property name="fill">False</property>
 355                 <property name="position">0</property>
 356               </packing>
 357             </child>
 358             <child>
 359               <object class="GtkButton" id="okbutton3">
 360                 <property name="label">gtk-ok</property>
 361                 <property name="visible">True</property>
 362                 <property name="can_focus">True</property>
 363                 <property name="has_focus">True</property>
 364                 <property name="can_default">True</property>
 365                 <property name="has_default">True</property>
 366                 <property name="receives_default">False</property>
 367                 <property name="use_stock">True</property>
 368               </object>
 369               <packing>
 370                 <property name="expand">False</property>
 371                 <property name="fill">False</property>
 372                 <property name="position">1</property>
 373               </packing>
 374             </child>
 375           </object>
 376           <packing>
 377             <property name="expand">False</property>
 378             <property name="fill">True</property>
 379             <property name="pack_type">end</property>
 380             <property name="position">0</property>
 381           </packing>
 382         </child>
 383         <child>
 384           <object class="GtkFrame" id="frame1">
 385             <property name="visible">True</property>
 386             <property name="can_focus">False</property>
 387             <property name="border_width">5</property>
 388             <property name="label_xalign">0</property>
 389             <property name="label_yalign">0</property>
 390             <property name="shadow_type">none</property>
 391             <child>
 392               <object class="GtkVBox" id="vbox1">
 393                 <property name="visible">True</property>
 394                 <property name="can_focus">False</property>
 395                 <child>
 396                   <object class="GtkScrolledWindow" id="treeview_frame">
 397                     <property name="visible">True</property>
 398                     <property name="can_focus">True</property>
 399                     <property name="border_width">5</property>
 400                     <property name="shadow_type">in</property>
 401                     <child>
 402                       <object class="GtkTreeView" id="programs_treeview">
 403                         <property name="visible">True</property>
 404                         <property name="can_focus">True</property>
 405                         <child internal-child="selection">
 406                           <object class="GtkTreeSelection" id="treeview-selection1"/>
 407                         </child>
 408                       </object>
 409                     </child>
 410                   </object>
 411                   <packing>
 412                     <property name="expand">True</property>
 413                     <property name="fill">True</property>
 414                     <property name="position">0</property>
 415                   </packing>
 416                 </child>
 417                 <child>
 418                   <object class="GtkHBox" id="hbox27">
 419                     <property name="visible">True</property>
 420                     <property name="can_focus">False</property>
 421                     <child>
 422                       <object class="GtkLabel" id="label3">
 423                         <property name="visible">True</property>
 424                         <property name="can_focus">False</property>
 425                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 426                         <property name="label" translatable="yes">Arguments:</property>
 427                       </object>
 428                       <packing>
 429                         <property name="expand">False</property>
 430                         <property name="fill">True</property>
 431                         <property name="position">0</property>
 432                       </packing>
 433                     </child>
 434                     <child>
 435                       <object class="GtkEntry" id="program_arguments">
 436                         <property name="visible">True</property>
 437                         <property name="can_focus">True</property>
 438                         <property name="activates_default">True</property>
 439                       </object>
 440                       <packing>
 441                         <property name="expand">True</property>
 442                         <property name="fill">True</property>
 443                         <property name="padding">5</property>
 444                         <property name="position">1</property>
 445                       </packing>
 446                     </child>
 447                   </object>
 448                   <packing>
 449                     <property name="expand">False</property>
 450                     <property name="fill">True</property>
 451                     <property name="position">1</property>
 452                   </packing>
 453                 </child>
 454                 <child>
 455                   <object class="GtkCheckButton" id="program_run_in_terminal">
 456                     <property name="label" translatable="yes">Run in terminal</property>
 457                     <property name="visible">True</property>
 458                     <property name="can_focus">True</property>
 459                     <property name="receives_default">False</property>
 460                     <property name="border_width">5</property>
 461                     <property name="use_underline">True</property>
 462                     <property name="xalign">0</property>
 463                     <property name="draw_indicator">True</property>
 464                   </object>
 465                   <packing>
 466                     <property name="expand">False</property>
 467                     <property name="fill">False</property>
 468                     <property name="position">2</property>
 469                   </packing>
 470                 </child>
 471               </object>
 472             </child>
 473             <child type="label">
 474               <object class="GtkLabel" id="label105">
 475                 <property name="visible">True</property>
 476                 <property name="can_focus">False</property>
 477                 <property name="xalign">0</property>
 478                 <property name="yalign">0</property>
 479                 <property name="label" translatable="yes">Select Program to run:</property>
 480                 <attributes>
 481                   <attribute name="weight" value="bold"/>
 482                 </attributes>
 483               </object>
 484             </child>
 485           </object>
 486           <packing>
 487             <property name="expand">False</property>
 488             <property name="fill">True</property>
 489             <property name="position">2</property>
 490           </packing>
 491         </child>
 492       </object>
 493     </child>
 494     <action-widgets>
 495       <action-widget response="0">cancelbutton2</action-widget>
 496       <action-widget response="0">okbutton3</action-widget>
 497     </action-widgets>
 498   </object>
 499   <object class="GtkListStore" id="install_list">
 500     <columns>
 501       <!-- column-name gchararray1 -->
 502       <column type="gchararray"/>
 503       <!-- column-name id -->
 504       <column type="gchararray"/>
 505     </columns>
 506     <data>
 507       <row>
 508         <col id="0" translatable="yes">sudo</col>
 509         <col id="1">sudo %s</col>
 510       </row>
 511       <row>
 512         <col id="0" translatable="yes">su -c</col>
 513         <col id="1">su -c %q</col>
 514       </row>
 515     </data>
 516   </object>
 517   <object class="GtkWindow" id="preferences-dialog-build">
 518     <property name="can_focus">False</property>
 519     <property name="title" translatable="yes">window1</property>
 520     <child>
 521       <object class="GtkVBox" id="preferences-build-container">
 522         <property name="visible">True</property>
 523         <property name="can_focus">False</property>
 524         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 525         <child>
 526           <object class="GtkFrame" id="frame3">
 527             <property name="visible">True</property>
 528             <property name="can_focus">False</property>
 529             <property name="border_width">10</property>
 530             <property name="label_xalign">0</property>
 531             <property name="shadow_type">none</property>
 532             <child>
 533               <object class="GtkAlignment" id="alignment1">
 534                 <property name="visible">True</property>
 535                 <property name="can_focus">False</property>
 536                 <property name="xalign">0</property>
 537                 <property name="yalign">0</property>
 538                 <property name="left_padding">12</property>
 539                 <child>
 540                   <object class="GtkVBox" id="vbox3">
 541                     <property name="visible">True</property>
 542                     <property name="can_focus">False</property>
 543                     <property name="spacing">6</property>
 544                     <child>
 545                       <object class="GtkHBox" id="hbox2">
 546                         <property name="visible">True</property>
 547                         <property name="can_focus">False</property>
 548                         <property name="spacing">6</property>
 549                         <child>
 550                           <object class="GtkCheckButton" id="preferences:parallel-make">
 551                             <property name="label" translatable="yes">Run several commands at a time:</property>
 552                             <property name="visible">True</property>
 553                             <property name="can_focus">True</property>
 554                             <property name="receives_default">False</property>
 555                             <property name="xalign">0</property>
 556                             <property name="draw_indicator">True</property>
 557                           </object>
 558                           <packing>
 559                             <property name="expand">False</property>
 560                             <property name="fill">False</property>
 561                             <property name="position">0</property>
 562                           </packing>
 563                         </child>
 564                         <child>
 565                           <object class="GtkSpinButton" id="preferences:parallel-make-job">
 566                             <property name="visible">True</property>
 567                             <property name="can_focus">True</property>
 568                             <property name="xalign">1</property>
 569                             <property name="adjustment">adjustment1</property>
 570                             <property name="snap_to_ticks">True</property>
 571                             <property name="numeric">True</property>
 572                             <property name="wrap">True</property>
 573                           </object>
 574                           <packing>
 575                             <property name="expand">False</property>
 576                             <property name="fill">False</property>
 577                             <property name="position">1</property>
 578                           </packing>
 579                         </child>
 580                       </object>
 581                       <packing>
 582                         <property name="expand">False</property>
 583                         <property name="fill">False</property>
 584                         <property name="position">0</property>
 585                       </packing>
 586                     </child>
 587                     <child>
 588                       <object class="GtkCheckButton" id="preferences:continue-error">
 589                         <property name="label" translatable="yes">Continue on errors</property>
 590                         <property name="visible">True</property>
 591                         <property name="can_focus">True</property>
 592                         <property name="receives_default">False</property>
 593                         <property name="use_underline">True</property>
 594                         <property name="xalign">0</property>
 595                         <property name="draw_indicator">True</property>
 596                       </object>
 597                       <packing>
 598                         <property name="expand">False</property>
 599                         <property name="fill">False</property>
 600                         <property name="position">1</property>
 601                       </packing>
 602                     </child>
 603                     <child>
 604                       <object class="GtkCheckButton" id="preferences:translate-message">
 605                         <property name="label" translatable="yes">Translate messages</property>
 606                         <property name="visible">True</property>
 607                         <property name="can_focus">True</property>
 608                         <property name="receives_default">False</property>
 609                         <property name="xalign">0</property>
 610                         <property name="draw_indicator">True</property>
 611                       </object>
 612                       <packing>
 613                         <property name="expand">True</property>
 614                         <property name="fill">True</property>
 615                         <property name="position">2</property>
 616                       </packing>
 617                     </child>
 618                     <child>
 619                       <object class="GtkCheckButton" id="preferences:indicators-automatic">
 620                         <property name="label" translatable="yes">Highlight build warnings and errors in editor</property>
 621                         <property name="visible">True</property>
 622                         <property name="can_focus">True</property>
 623                         <property name="receives_default">False</property>
 624                         <property name="use_underline">True</property>
 625                         <property name="xalign">0</property>
 626                         <property name="draw_indicator">True</property>
 627                       </object>
 628                       <packing>
 629                         <property name="expand">False</property>
 630                         <property name="fill">False</property>
 631                         <property name="position">3</property>
 632                       </packing>
 633                     </child>
 634                   </object>
 635                 </child>
 636               </object>
 637             </child>
 638             <child type="label">
 639               <object class="GtkLabel" id="label5">
 640                 <property name="visible">True</property>
 641                 <property name="can_focus">False</property>
 642                 <property name="xalign">0</property>
 643                 <property name="yalign">0</property>
 644                 <property name="label" translatable="yes">Build</property>
 645                 <attributes>
 646                   <attribute name="weight" value="bold"/>
 647                 </attributes>
 648               </object>
 649             </child>
 650           </object>
 651           <packing>
 652             <property name="expand">False</property>
 653             <property name="fill">False</property>
 654             <property name="position">0</property>
 655           </packing>
 656         </child>
 657         <child>
 658           <object class="GtkFrame" id="frame2">
 659             <property name="visible">True</property>
 660             <property name="can_focus">False</property>
 661             <property name="border_width">10</property>
 662             <property name="label_xalign">0</property>
 663             <property name="shadow_type">none</property>
 664             <child>
 665               <object class="GtkAlignment" id="alignment4">
 666                 <property name="visible">True</property>
 667                 <property name="can_focus">False</property>
 668                 <property name="xalign">0</property>
 669                 <property name="yalign">0</property>
 670                 <property name="left_padding">12</property>
 671                 <child>
 672                   <object class="GtkVBox" id="vbox5">
 673                     <property name="visible">True</property>
 674                     <property name="can_focus">False</property>
 675                     <property name="spacing">6</property>
 676                     <child>
 677                       <object class="GtkHBox" id="hbox3">
 678                         <property name="visible">True</property>
 679                         <property name="can_focus">False</property>
 680                         <property name="spacing">6</property>
 681                         <child>
 682                           <object class="GtkCheckButton" id="preferences:install-root">
 683                             <property name="label" translatable="yes">Install as root:</property>
 684                             <property name="visible">True</property>
 685                             <property name="can_focus">True</property>
 686                             <property name="receives_default">False</property>
 687                             <property name="use_underline">True</property>
 688                             <property name="xalign">0</property>
 689                             <property name="draw_indicator">True</property>
 690                           </object>
 691                           <packing>
 692                             <property name="expand">False</property>
 693                             <property name="fill">False</property>
 694                             <property name="position">0</property>
 695                           </packing>
 696                         </child>
 697                         <child>
 698                           <object class="GtkComboBox" id="preferences:install-root-command">
 699                             <property name="visible">True</property>
 700                             <property name="can_focus">False</property>
 701                             <property name="model">install_list</property>
 702                             <property name="active">0</property>
 703                             <property name="id_column">1</property>
 704                             <child>
 705                               <object class="GtkCellRendererText" id="renderer2"/>
 706                               <attributes>
 707                                 <attribute name="text">0</attribute>
 708                               </attributes>
 709                             </child>
 710                           </object>
 711                           <packing>
 712                             <property name="expand">True</property>
 713                             <property name="fill">True</property>
 714                             <property name="position">1</property>
 715                           </packing>
 716                         </child>
 717                       </object>
 718                       <packing>
 719                         <property name="expand">False</property>
 720                         <property name="fill">False</property>
 721                         <property name="position">0</property>
 722                       </packing>
 723                     </child>
 724                   </object>
 725                 </child>
 726               </object>
 727             </child>
 728             <child type="label">
 729               <object class="GtkLabel" id="label8">
 730                 <property name="visible">True</property>
 731                 <property name="can_focus">False</property>
 732                 <property name="xalign">0</property>
 733                 <property name="yalign">0</property>
 734                 <property name="label" translatable="yes">Install</property>
 735                 <attributes>
 736                   <attribute name="weight" value="bold"/>
 737                 </attributes>
 738               </object>
 739             </child>
 740           </object>
 741           <packing>
 742             <property name="expand">False</property>
 743             <property name="fill">False</property>
 744             <property name="position">1</property>
 745           </packing>
 746         </child>
 747       </object>
 748     </child>
 749   </object>
 750   <object class="GtkTreeModelFilter" id="treemodelfilter1"/>
 751   <object class="GtkTreeModelSort" id="treemodelsort1"/>
 752 </interface>