plugins/terminal/anjuta-terminal-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="GtkWindow" id="preferences_dialog_terminal">
   6     <property name="title" translatable="yes">window8</property>
   7     <child>
   8       <widget class="GtkFrame" id="Terminal">
   9         <property name="visible">True</property>
  10         <property name="border_width">5</property>
  11         <property name="label_xalign">0</property>
  12         <property name="shadow_type">GTK_SHADOW_NONE</property>
  13         <child>
  14           <widget class="GtkTable" id="table24">
  15             <property name="visible">True</property>
  16             <property name="border_width">10</property>
  17             <property name="n_rows">2</property>
  18             <property name="n_columns">2</property>
  19             <property name="column_spacing">5</property>
  20             <property name="row_spacing">5</property>
  21             <child>
  22               <widget class="GtkComboBox" id="profile_list_combo">
  23                 <property name="visible">True</property>
  24                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  25                 <property name="items" translatable="yes">Default
  26
  27 </property>
  28               </widget>
  29               <packing>
  30                 <property name="left_attach">1</property>
  31                 <property name="right_attach">2</property>
  32                 <property name="y_options"></property>
  33               </packing>
  34             </child>
  35             <child>
  36               <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:terminal.default.profile">
  37                 <property name="visible">True</property>
  38                 <property name="can_focus">True</property>
  39                 <property name="label" translatable="yes">Use currently selected profile in GNOME terminal</property>
  40                 <property name="use_underline">True</property>
  41                 <property name="response_id">0</property>
  42                 <property name="draw_indicator">True</property>
  43               </widget>
  44               <packing>
  45                 <property name="right_attach">2</property>
  46                 <property name="top_attach">1</property>
  47                 <property name="bottom_attach">2</property>
  48                 <property name="x_options">GTK_FILL</property>
  49                 <property name="y_options"></property>
  50               </packing>
  51             </child>
  52             <child>
  53               <widget class="GtkLabel" id="label167">
  54                 <property name="visible">True</property>
  55                 <property name="xalign">0</property>
  56                 <property name="label" translatable="yes">Use GNOME terminal profile:</property>
  57               </widget>
  58               <packing>
  59                 <property name="x_options">GTK_FILL</property>
  60                 <property name="y_options"></property>
  61               </packing>
  62             </child>
  63           </widget>
  64         </child>
  65         <child>
  66           <widget class="GtkLabel" id="label166">
  67             <property name="visible">True</property>
  68             <property name="label" translatable="yes">&lt;b&gt;Terminal options&lt;/b&gt;</property>
  69             <property name="use_markup">True</property>
  70           </widget>
  71           <packing>
  72             <property name="type">label_item</property>
  73           </packing>
  74         </child>
  75       </widget>
  76     </child>
  77   </widget>
  78 </glade-interface>