plugins/document-manager/anjuta-document-manager.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">
   6     <property name="title" translatable="yes">window1</property>
   7     <child>
   8       <widget class="GtkHBox" id="Documents">
   9         <property name="visible">True</property>
  10         <property name="border_width">5</property>
  11         <property name="spacing">5</property>
  12         <child>
  13           <widget class="GtkVBox" id="vbox31">
  14             <property name="visible">True</property>
  15             <property name="spacing">5</property>
  16             <child>
  17               <widget class="GtkFrame" id="frame46">
  18                 <property name="visible">True</property>
  19                 <property name="label_xalign">0</property>
  20                 <property name="shadow_type">GTK_SHADOW_NONE</property>
  21                 <child>
  22                   <widget class="GtkVBox" id="vbox1119">
  23                     <property name="visible">True</property>
  24                     <property name="border_width">5</property>
  25                     <property name="spacing">5</property>
  26                     <child>
  27                       <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:save.automatic">
  28                         <property name="visible">True</property>
  29                         <property name="can_focus">True</property>
  30                         <property name="label" translatable="yes">Enable files autosave</property>
  31                         <property name="use_underline">True</property>
  32                         <property name="response_id">0</property>
  33                         <property name="draw_indicator">True</property>
  34                       </widget>
  35                       <packing>
  36                         <property name="expand">False</property>
  37                         <property name="fill">False</property>
  38                       </packing>
  39                     </child>
  40                     <child>
  41                       <widget class="GtkTable" id="table28">
  42                         <property name="visible">True</property>
  43                         <property name="n_rows">2</property>
  44                         <property name="n_columns">2</property>
  45                         <property name="column_spacing">5</property>
  46                         <property name="row_spacing">5</property>
  47                         <child>
  48                           <widget class="GtkLabel" id="label115">
  49                             <property name="visible">True</property>
  50                             <property name="xalign">0</property>
  51                             <property name="label" translatable="yes">Save files interval in minutes</property>
  52                           </widget>
  53                           <packing>
  54                             <property name="left_attach">1</property>
  55                             <property name="right_attach">2</property>
  56                             <property name="x_options">GTK_FILL</property>
  57                             <property name="y_options"></property>
  58                           </packing>
  59                         </child>
  60                         <child>
  61                           <widget class="GtkLabel" id="label116">
  62                             <property name="xalign">0</property>
  63                             <property name="label" translatable="yes">Save session interval in minutes</property>
  64                           </widget>
  65                           <packing>
  66                             <property name="left_attach">1</property>
  67                             <property name="right_attach">2</property>
  68                             <property name="top_attach">1</property>
  69                             <property name="bottom_attach">2</property>
  70                             <property name="x_options">GTK_FILL</property>
  71                             <property name="y_options"></property>
  72                           </packing>
  73                         </child>
  74                         <child>
  75                           <widget class="GtkSpinButton" id="preferences_spin:int:10:0:autosave.timer">
  76                             <property name="visible">True</property>
  77                             <property name="can_focus">True</property>
  78                             <property name="adjustment">10 1 1000 1 10 10</property>
  79                             <property name="climb_rate">1</property>
  80                             <property name="numeric">True</property>
  81                           </widget>
  82                           <packing>
  83                             <property name="x_options">GTK_FILL</property>
  84                             <property name="y_options"></property>
  85                           </packing>
  86                         </child>
  87                         <child>
  88                           <widget class="GtkSpinButton" id="preferences_spin:int:10:0:save.session.timer">
  89                             <property name="can_focus">True</property>
  90                             <property name="adjustment">10 0 1000 1 10 10</property>
  91                             <property name="climb_rate">1</property>
  92                             <property name="numeric">True</property>
  93                           </widget>
  94                           <packing>
  95                             <property name="top_attach">1</property>
  96                             <property name="bottom_attach">2</property>
  97                             <property name="x_options">GTK_FILL</property>
  98                             <property name="y_options"></property>
  99                           </packing>
 100                         </child>
 101                       </widget>
 102                       <packing>
 103                         <property name="expand">False</property>
 104                         <property name="position">1</property>
 105                       </packing>
 106                     </child>
 107                   </widget>
 108                 </child>
 109                 <child>
 110                   <widget class="GtkLabel" id="label12335">
 111                     <property name="visible">True</property>
 112                     <property name="label" translatable="yes">&lt;b&gt;Autosave&lt;/b&gt;</property>
 113                     <property name="use_markup">True</property>
 114                   </widget>
 115                   <packing>
 116                     <property name="type">label_item</property>
 117                   </packing>
 118                 </child>
 119               </widget>
 120               <packing>
 121                 <property name="expand">False</property>
 122               </packing>
 123             </child>
 124             <child>
 125               <placeholder/>
 126             </child>
 127             <child>
 128               <placeholder/>
 129             </child>
 130           </widget>
 131           <packing>
 132             <property name="expand">False</property>
 133           </packing>
 134         </child>
 135         <child>
 136           <widget class="GtkVBox" id="vbox32">
 137             <property name="visible">True</property>
 138             <property name="spacing">5</property>
 139             <child>
 140               <placeholder/>
 141             </child>
 142             <child>
 143               <widget class="GtkFrame" id="frame31">
 144                 <property name="visible">True</property>
 145                 <property name="label_xalign">0</property>
 146                 <property name="shadow_type">GTK_SHADOW_NONE</property>
 147                 <child>
 148                   <widget class="GtkVBox" id="vbox33">
 149                     <property name="visible">True</property>
 150                     <property name="border_width">5</property>
 151                     <property name="spacing">5</property>
 152                     <child>
 153                       <widget class="GtkRadioButton" id="radiobutton9">
 154                         <property name="visible">True</property>
 155                         <property name="can_focus">True</property>
 156                         <property name="label" translatable="yes">Sorted in opening order</property>
 157                         <property name="use_underline">True</property>
 158                         <property name="response_id">0</property>
 159                         <property name="active">True</property>
 160                         <property name="draw_indicator">True</property>
 161                       </widget>
 162                       <packing>
 163                         <property name="expand">False</property>
 164                         <property name="fill">False</property>
 165                       </packing>
 166                     </child>
 167                     <child>
 168                       <widget class="GtkRadioButton" id="preferences_toggle:bool:0:0:editor.tabs.recent.first">
 169                         <property name="visible">True</property>
 170                         <property name="can_focus">True</property>
 171                         <property name="label" translatable="yes">Sorted by most recent use</property>
 172                         <property name="use_underline">True</property>
 173                         <property name="response_id">0</property>
 174                         <property name="draw_indicator">True</property>
 175                         <property name="group">radiobutton9</property>
 176                       </widget>
 177                       <packing>
 178                         <property name="expand">False</property>
 179                         <property name="fill">False</property>
 180                         <property name="position">1</property>
 181                       </packing>
 182                     </child>
 183                     <child>
 184                       <widget class="GtkRadioButton" id="preferences_toggle:bool:0:0:editor.tabs.ordering">
 185                         <property name="visible">True</property>
 186                         <property name="can_focus">True</property>
 187                         <property name="label" translatable="yes">Sorted in alphabetical order</property>
 188                         <property name="use_underline">True</property>
 189                         <property name="response_id">0</property>
 190                         <property name="draw_indicator">True</property>
 191                         <property name="group">radiobutton9</property>
 192                       </widget>
 193                       <packing>
 194                         <property name="expand">False</property>
 195                         <property name="fill">False</property>
 196                         <property name="position">2</property>
 197                       </packing>
 198                     </child>
 199                     <child>
 200                       <widget class="GtkRadioButton" id="preferences_toggle:bool:0:0:editor.tabs.hide">
 201                         <property name="visible">True</property>
 202                         <property name="can_focus">True</property>
 203                         <property name="label" translatable="yes">Do not show tabs</property>
 204                         <property name="use_underline">True</property>
 205                         <property name="response_id">0</property>
 206                         <property name="draw_indicator">True</property>
 207                         <property name="group">radiobutton9</property>
 208                       </widget>
 209                       <packing>
 210                         <property name="expand">False</property>
 211                         <property name="fill">False</property>
 212                         <property name="position">3</property>
 213                       </packing>
 214                     </child>
 215                     <child>
 216                       <widget class="GtkHBox" id="hbox27">
 217                         <property name="visible">True</property>
 218                         <property name="border_width">5</property>
 219                         <property name="spacing">5</property>
 220                         <child>
 221                           <widget class="GtkLabel" id="label117">
 222                             <property name="visible">True</property>
 223                             <property name="label" translatable="yes">Position:</property>
 224                           </widget>
 225                           <packing>
 226                             <property name="expand">False</property>
 227                             <property name="fill">False</property>
 228                           </packing>
 229                         </child>
 230                         <child>
 231                           <widget class="GtkComboBox" id="preferences_combo:text:Top,Bottom,Left,Right:0:editor.tabs.pos">
 232                             <property name="visible">True</property>
 233                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 234                             <property name="items" translatable="yes">Top
 235 Bottom
 236 Left
 237 Right</property>
 238                           </widget>
 239                           <packing>
 240                             <property name="position">1</property>
 241                           </packing>
 242                         </child>
 243                       </widget>
 244                       <packing>
 245                         <property name="position">4</property>
 246                       </packing>
 247                     </child>
 248                     <child>
 249                       <placeholder/>
 250                     </child>
 251                   </widget>
 252                 </child>
 253                 <child>
 254                   <widget class="GtkLabel" id="label113">
 255                     <property name="visible">True</property>
 256                     <property name="label" translatable="yes">&lt;b&gt;Editor tabs&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="position">1</property>
 267               </packing>
 268             </child>
 269           </widget>
 270           <packing>
 271             <property name="position">1</property>
 272           </packing>
 273         </child>
 274       </widget>
 275     </child>
 276   </widget>
 277 </glade-interface>