plugins/terminal/anjuta-terminal-plugin.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!-- Generated with glade 3.16.1 -->
   3 <interface>
   4   <requires lib="gtk+" version="3.0"/>
   5   <object class="GtkListStore" id="model1">
   6     <columns>
   7       <!-- column-name profile_uuid -->
   8       <column type="gchararray"/>
   9       <!-- column-name name -->
  10       <column type="gchararray"/>
  11     </columns>
  12     <data>
  13       <row>
  14         <col id="0" translatable="yes">Default</col>
  15         <col id="1" translatable="yes">Default</col>
  16       </row>
  17     </data>
  18   </object>
  19   <object class="GtkWindow" id="preferences_dialog_terminal">
  20     <property name="can_focus">False</property>
  21     <property name="title" translatable="yes">window8</property>
  22     <child>
  23       <object class="GtkFrame" id="Terminal">
  24         <property name="visible">True</property>
  25         <property name="can_focus">False</property>
  26         <property name="border_width">5</property>
  27         <property name="label_xalign">0</property>
  28         <property name="shadow_type">none</property>
  29         <child>
  30           <object class="GtkBox" id="box2">
  31             <property name="visible">True</property>
  32             <property name="can_focus">False</property>
  33             <property name="margin_left">10</property>
  34             <property name="orientation">vertical</property>
  35             <property name="spacing">5</property>
  36             <child>
  37               <object class="GtkBox" id="box3">
  38                 <property name="visible">True</property>
  39                 <property name="can_focus">False</property>
  40                 <property name="spacing">1</property>
  41                 <child>
  42                   <object class="GtkLabel" id="label1">
  43                     <property name="visible">True</property>
  44                     <property name="can_focus">False</property>
  45                     <property name="xalign">0</property>
  46                     <property name="label" translatable="yes">Use GNOME Terminal profile:</property>
  47                   </object>
  48                   <packing>
  49                     <property name="expand">False</property>
  50                     <property name="fill">True</property>
  51                     <property name="position">0</property>
  52                   </packing>
  53                 </child>
  54                 <child>
  55                   <object class="GtkComboBox" id="profile_list_combo">
  56                     <property name="visible">True</property>
  57                     <property name="can_focus">False</property>
  58                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  59                     <property name="model">model1</property>
  60                     <property name="id_column">1</property>
  61                   </object>
  62                   <packing>
  63                     <property name="expand">True</property>
  64                     <property name="fill">True</property>
  65                     <property name="padding">5</property>
  66                     <property name="pack_type">end</property>
  67                     <property name="position">1</property>
  68                   </packing>
  69                 </child>
  70               </object>
  71               <packing>
  72                 <property name="expand">False</property>
  73                 <property name="fill">True</property>
  74                 <property name="position">0</property>
  75               </packing>
  76             </child>
  77             <child>
  78               <object class="GtkBox" id="box4">
  79                 <property name="visible">True</property>
  80                 <property name="can_focus">False</property>
  81                 <child>
  82                   <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:use-default-profile">
  83                     <property name="label" translatable="yes">Use default GNOME terminal profile</property>
  84                     <property name="visible">True</property>
  85                     <property name="can_focus">True</property>
  86                     <property name="receives_default">False</property>
  87                     <property name="use_underline">True</property>
  88                     <property name="xalign">0</property>
  89                     <property name="draw_indicator">True</property>
  90                   </object>
  91                   <packing>
  92                     <property name="expand">False</property>
  93                     <property name="fill">True</property>
  94                     <property name="position">0</property>
  95                   </packing>
  96                 </child>
  97               </object>
  98               <packing>
  99                 <property name="expand">False</property>
 100                 <property name="fill">True</property>
 101                 <property name="position">1</property>
 102               </packing>
 103             </child>
 104           </object>
 105         </child>
 106         <child type="label">
 107           <object class="GtkLabel" id="label166">
 108             <property name="visible">True</property>
 109             <property name="can_focus">False</property>
 110             <property name="label" translatable="yes">Terminal options</property>
 111             <attributes>
 112               <attribute name="weight" value="bold"/>
 113             </attributes>
 114           </object>
 115         </child>
 116       </object>
 117     </child>
 118   </object>
 119 </interface>