plugins/terminal/anjuta-terminal-plugin.glade

   1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
   2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
   3
   4 <glade-interface>
   5 <requires lib="gnome"/>
   6
   7 <widget class="GtkWindow" id="preferences_dialog_terminal">
   8   <property name="title" translatable="yes">window8</property>
   9   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10   <property name="window_position">GTK_WIN_POS_NONE</property>
  11   <property name="modal">False</property>
  12   <property name="resizable">True</property>
  13   <property name="destroy_with_parent">False</property>
  14
  15   <child>
  16     <widget class="GtkFrame" id="Terminal">
  17       <property name="border_width">5</property>
  18       <property name="visible">True</property>
  19       <property name="label_xalign">0</property>
  20       <property name="label_yalign">0.5</property>
  21       <property name="shadow_type">GTK_SHADOW_NONE</property>
  22
  23       <child>
  24         <widget class="GtkTable" id="table24">
  25           <property name="border_width">10</property>
  26           <property name="visible">True</property>
  27           <property name="n_rows">2</property>
  28           <property name="n_columns">2</property>
  29           <property name="homogeneous">False</property>
  30           <property name="row_spacing">5</property>
  31           <property name="column_spacing">5</property>
  32
  33           <child>
  34             <widget class="GtkLabel" id="label167">
  35               <property name="visible">True</property>
  36               <property name="label" translatable="yes">Use GNOME terminal profile:</property>
  37               <property name="use_underline">False</property>
  38               <property name="use_markup">False</property>
  39               <property name="justify">GTK_JUSTIFY_LEFT</property>
  40               <property name="wrap">False</property>
  41               <property name="selectable">False</property>
  42               <property name="xalign">0</property>
  43               <property name="yalign">0.5</property>
  44               <property name="xpad">0</property>
  45               <property name="ypad">0</property>
  46             </widget>
  47             <packing>
  48               <property name="left_attach">0</property>
  49               <property name="right_attach">1</property>
  50               <property name="top_attach">0</property>
  51               <property name="bottom_attach">1</property>
  52               <property name="x_options">fill</property>
  53               <property name="y_options"></property>
  54             </packing>
  55           </child>
  56
  57           <child>
  58             <widget class="GtkCombo" id="profile_list_combo">
  59               <property name="visible">True</property>
  60               <property name="value_in_list">False</property>
  61               <property name="allow_empty">False</property>
  62               <property name="case_sensitive">True</property>
  63               <property name="enable_arrow_keys">True</property>
  64               <property name="enable_arrows_always">False</property>
  65
  66               <child internal-child="entry">
  67                 <widget class="GtkEntry" id="preferences_entry:text:Default:0:terminal.profile">
  68                   <property name="visible">True</property>
  69                   <property name="can_focus">True</property>
  70                   <property name="editable">False</property>
  71                   <property name="visibility">True</property>
  72                   <property name="max_length">0</property>
  73                   <property name="text" translatable="yes"></property>
  74                   <property name="has_frame">True</property>
  75                   <property name="invisible_char" translatable="yes">*</property>
  76                   <property name="activates_default">False</property>
  77                 </widget>
  78               </child>
  79
  80               <child internal-child="list">
  81                 <widget class="GtkList" id="combo-list25">
  82                   <property name="visible">True</property>
  83                   <property name="selection_mode">GTK_SELECTION_BROWSE</property>
  84
  85                   <child>
  86                     <widget class="GtkListItem" id="listitem2855">
  87                       <property name="visible">True</property>
  88                       <property name="can_focus">True</property>
  89                       <property name="label" translatable="yes">Default</property>
  90                     </widget>
  91                   </child>
  92                 </widget>
  93               </child>
  94             </widget>
  95             <packing>
  96               <property name="left_attach">1</property>
  97               <property name="right_attach">2</property>
  98               <property name="top_attach">0</property>
  99               <property name="bottom_attach">1</property>
 100               <property name="y_options"></property>
 101             </packing>
 102           </child>
 103
 104           <child>
 105             <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:terminal.default.profile">
 106               <property name="visible">True</property>
 107               <property name="can_focus">True</property>
 108               <property name="label" translatable="yes">Use currently selected profile in GNOME terminal</property>
 109               <property name="use_underline">True</property>
 110               <property name="relief">GTK_RELIEF_NORMAL</property>
 111               <property name="active">False</property>
 112               <property name="inconsistent">False</property>
 113               <property name="draw_indicator">True</property>
 114             </widget>
 115             <packing>
 116               <property name="left_attach">0</property>
 117               <property name="right_attach">2</property>
 118               <property name="top_attach">1</property>
 119               <property name="bottom_attach">2</property>
 120               <property name="x_options">fill</property>
 121               <property name="y_options"></property>
 122             </packing>
 123           </child>
 124         </widget>
 125       </child>
 126
 127       <child>
 128         <widget class="GtkLabel" id="label166">
 129           <property name="visible">True</property>
 130           <property name="label" translatable="yes">&lt;b&gt;Terminal options&lt;/b&gt;</property>
 131           <property name="use_underline">False</property>
 132           <property name="use_markup">True</property>
 133           <property name="justify">GTK_JUSTIFY_LEFT</property>
 134           <property name="wrap">False</property>
 135           <property name="selectable">False</property>
 136           <property name="xalign">0.5</property>
 137           <property name="yalign">0.5</property>
 138           <property name="xpad">0</property>
 139           <property name="ypad">0</property>
 140         </widget>
 141         <packing>
 142           <property name="type">label_item</property>
 143         </packing>
 144       </child>
 145     </widget>
 146   </child>
 147 </widget>
 148
 149 </glade-interface>