plugins/file-manager/file-manager.glade

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
   3 <!--Generated with glade3 3.4.0 on Sat Jan 12 19:46:18 2008 -->
   4 <glade-interface>
   5   <widget class="GtkWindow" id="filemanager_pref_window">
   6     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
   7     <child>
   8       <widget class="GtkVBox" id="filemanager_prefs">
   9         <property name="visible">True</property>
  10         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  11         <child>
  12           <widget class="GtkFrame" id="frame1">
  13             <property name="visible">True</property>
  14             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  15             <property name="label_xalign">0</property>
  16             <property name="shadow_type">GTK_SHADOW_NONE</property>
  17             <child>
  18               <widget class="GtkAlignment" id="alignment1">
  19                 <property name="visible">True</property>
  20                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  21                 <property name="left_padding">12</property>
  22                 <child>
  23                   <widget class="GtkHBox" id="hbox1">
  24                     <property name="visible">True</property>
  25                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  26                     <child>
  27                       <widget class="GtkLabel" id="label2">
  28                         <property name="visible">True</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="label" translatable="yes">Root directory if no project is open:</property>
  31                       </widget>
  32                       <packing>
  33                         <property name="expand">False</property>
  34                         <property name="fill">False</property>
  35                         <property name="padding">5</property>
  36                       </packing>
  37                     </child>
  38                     <child>
  39                       <widget class="GtkFileChooserButton" id="preferences_folder:text:/:0:filemanager.root">
  40                         <property name="visible">True</property>
  41                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  42                         <property name="use_preview_label">False</property>
  43                         <property name="action">GTK_FILE_CHOOSER_ACTION_SELECT_FOLDER</property>
  44                         <property name="preview_widget_active">False</property>
  45                         <property name="title" translatable="yes">Choose Directory to show if no project is open</property>
  46                       </widget>
  47                       <packing>
  48                         <property name="padding">5</property>
  49                         <property name="pack_type">GTK_PACK_END</property>
  50                         <property name="position">1</property>
  51                       </packing>
  52                     </child>
  53                   </widget>
  54                 </child>
  55               </widget>
  56             </child>
  57             <child>
  58               <widget class="GtkLabel" id="label1">
  59                 <property name="visible">True</property>
  60                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  61                 <property name="label" translatable="yes">&lt;b&gt;Global&lt;/b&gt;</property>
  62                 <property name="use_markup">True</property>
  63               </widget>
  64               <packing>
  65                 <property name="type">label_item</property>
  66               </packing>
  67             </child>
  68           </widget>
  69           <packing>
  70             <property name="expand">False</property>
  71             <property name="padding">5</property>
  72           </packing>
  73         </child>
  74         <child>
  75           <widget class="GtkFrame" id="frame2">
  76             <property name="visible">True</property>
  77             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  78             <property name="label_xalign">0</property>
  79             <property name="shadow_type">GTK_SHADOW_NONE</property>
  80             <child>
  81               <widget class="GtkAlignment" id="alignment2">
  82                 <property name="visible">True</property>
  83                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  84                 <property name="left_padding">12</property>
  85                 <child>
  86                   <widget class="GtkVBox" id="vbox2">
  87                     <property name="visible">True</property>
  88                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  89                     <child>
  90                       <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:filemanager.filter.binary">
  91                         <property name="visible">True</property>
  92                         <property name="can_focus">True</property>
  93                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  94                         <property name="label" translatable="yes">Do not show binary files (.o, .la, etc.)</property>
  95                         <property name="response_id">0</property>
  96                         <property name="draw_indicator">True</property>
  97                       </widget>
  98                       <packing>
  99                         <property name="expand">False</property>
 100                         <property name="fill">False</property>
 101                       </packing>
 102                     </child>
 103                     <child>
 104                       <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:filemanager.filter.hidden">
 105                         <property name="visible">True</property>
 106                         <property name="can_focus">True</property>
 107                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 108                         <property name="label" translatable="yes">Do not show hidden files</property>
 109                         <property name="response_id">0</property>
 110                         <property name="draw_indicator">True</property>
 111                       </widget>
 112                       <packing>
 113                         <property name="expand">False</property>
 114                         <property name="fill">False</property>
 115                         <property name="position">1</property>
 116                       </packing>
 117                     </child>
 118                     <child>
 119                       <widget class="GtkCheckButton" id="preferences_toggle:bool:1:0:filemanager.filter.backup">
 120                         <property name="visible">True</property>
 121                         <property name="can_focus">True</property>
 122                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 123                         <property name="label" translatable="yes">Do not show backup files</property>
 124                         <property name="response_id">0</property>
 125                         <property name="draw_indicator">True</property>
 126                       </widget>
 127                       <packing>
 128                         <property name="expand">False</property>
 129                         <property name="fill">False</property>
 130                         <property name="position">2</property>
 131                       </packing>
 132                     </child>
 133                   </widget>
 134                 </child>
 135               </widget>
 136             </child>
 137             <child>
 138               <widget class="GtkLabel" id="label3">
 139                 <property name="visible">True</property>
 140                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 141                 <property name="label" translatable="yes">&lt;b&gt;Filter&lt;/b&gt;</property>
 142                 <property name="use_markup">True</property>
 143               </widget>
 144               <packing>
 145                 <property name="type">label_item</property>
 146               </packing>
 147             </child>
 148           </widget>
 149           <packing>
 150             <property name="padding">5</property>
 151             <property name="position">1</property>
 152           </packing>
 153         </child>
 154       </widget>
 155     </child>
 156   </widget>
 157 </glade-interface>