plugins/file-manager/file-manager.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <interface>
   3   <!-- interface-requires gtk+ 3.0 -->
   4   <object class="GtkWindow" id="filemanager_pref_window">
   5     <property name="can_focus">False</property>
   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       <object class="GtkVBox" id="filemanager_prefs">
   9         <property name="visible">True</property>
  10         <property name="can_focus">False</property>
  11         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  12         <child>
  13           <object class="GtkFrame" id="frame1">
  14             <property name="visible">True</property>
  15             <property name="can_focus">False</property>
  16             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  17             <property name="label_xalign">0</property>
  18             <property name="shadow_type">none</property>
  19             <child>
  20               <object class="GtkAlignment" id="alignment1">
  21                 <property name="visible">True</property>
  22                 <property name="can_focus">False</property>
  23                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  24                 <property name="left_padding">12</property>
  25                 <child>
  26                   <object class="GtkBox" id="box1">
  27                     <property name="visible">True</property>
  28                     <property name="can_focus">False</property>
  29                     <property name="orientation">vertical</property>
  30                     <child>
  31                       <object class="GtkHBox" id="hbox1">
  32                         <property name="visible">True</property>
  33                         <property name="can_focus">False</property>
  34                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  35                         <child>
  36                           <object class="GtkLabel" id="label2">
  37                             <property name="visible">True</property>
  38                             <property name="can_focus">False</property>
  39                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  40                             <property name="label" translatable="yes">Root directory if no project is open:</property>
  41                           </object>
  42                           <packing>
  43                             <property name="expand">False</property>
  44                             <property name="fill">False</property>
  45                             <property name="padding">5</property>
  46                             <property name="position">0</property>
  47                           </packing>
  48                         </child>
  49                         <child>
  50                           <object class="GtkFileChooserButton" id="preferences_folder:text:/:0:filemanager-root">
  51                             <property name="visible">True</property>
  52                             <property name="can_focus">False</property>
  53                             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  54                             <property name="action">select-folder</property>
  55                             <property name="preview_widget_active">False</property>
  56                             <property name="use_preview_label">False</property>
  57                             <property name="title" translatable="yes">Choose Directory to show if no project is open</property>
  58                           </object>
  59                           <packing>
  60                             <property name="expand">True</property>
  61                             <property name="fill">True</property>
  62                             <property name="padding">5</property>
  63                             <property name="pack_type">end</property>
  64                             <property name="position">1</property>
  65                           </packing>
  66                         </child>
  67                       </object>
  68                       <packing>
  69                         <property name="expand">False</property>
  70                         <property name="fill">True</property>
  71                         <property name="position">0</property>
  72                       </packing>
  73                     </child>
  74                     <child>
  75                       <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:filemanager-select-current-document">
  76                         <property name="label" translatable="yes">Automatically select the current document</property>
  77                         <property name="visible">True</property>
  78                         <property name="can_focus">True</property>
  79                         <property name="receives_default">False</property>
  80                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  81                         <property name="xalign">0</property>
  82                         <property name="draw_indicator">True</property>
  83                       </object>
  84                       <packing>
  85                         <property name="expand">False</property>
  86                         <property name="fill">False</property>
  87                         <property name="position">1</property>
  88                       </packing>
  89                     </child>
  90                   </object>
  91                 </child>
  92               </object>
  93             </child>
  94             <child type="label">
  95               <object class="GtkLabel" id="label1">
  96                 <property name="visible">True</property>
  97                 <property name="can_focus">False</property>
  98                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
  99                 <property name="label" translatable="yes">Global</property>
 100                 <attributes>
 101                   <attribute name="weight" value="bold"/>
 102                 </attributes>
 103               </object>
 104             </child>
 105           </object>
 106           <packing>
 107             <property name="expand">False</property>
 108             <property name="fill">True</property>
 109             <property name="padding">5</property>
 110             <property name="position">0</property>
 111           </packing>
 112         </child>
 113         <child>
 114           <object class="GtkFrame" id="frame2">
 115             <property name="visible">True</property>
 116             <property name="can_focus">False</property>
 117             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 118             <property name="label_xalign">0</property>
 119             <property name="shadow_type">none</property>
 120             <child>
 121               <object class="GtkAlignment" id="alignment2">
 122                 <property name="visible">True</property>
 123                 <property name="can_focus">False</property>
 124                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 125                 <property name="left_padding">12</property>
 126                 <child>
 127                   <object class="GtkVBox" id="vbox2">
 128                     <property name="visible">True</property>
 129                     <property name="can_focus">False</property>
 130                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 131                     <child>
 132                       <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:filemanager-filter-binary">
 133                         <property name="label" translatable="yes">Do not show binary files (.o, .la, etc.)</property>
 134                         <property name="visible">True</property>
 135                         <property name="can_focus">True</property>
 136                         <property name="receives_default">False</property>
 137                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 138                         <property name="xalign">0.5</property>
 139                         <property name="draw_indicator">True</property>
 140                       </object>
 141                       <packing>
 142                         <property name="expand">False</property>
 143                         <property name="fill">False</property>
 144                         <property name="position">0</property>
 145                       </packing>
 146                     </child>
 147                     <child>
 148                       <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:filemanager-filter-hidden">
 149                         <property name="label" translatable="yes">Do not show hidden files</property>
 150                         <property name="visible">True</property>
 151                         <property name="can_focus">True</property>
 152                         <property name="receives_default">False</property>
 153                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 154                         <property name="xalign">0.5</property>
 155                         <property name="draw_indicator">True</property>
 156                       </object>
 157                       <packing>
 158                         <property name="expand">False</property>
 159                         <property name="fill">False</property>
 160                         <property name="position">1</property>
 161                       </packing>
 162                     </child>
 163                     <child>
 164                       <object class="GtkCheckButton" id="preferences_toggle:bool:1:0:filemanager-filter-backup">
 165                         <property name="label" translatable="yes">Do not show backup files</property>
 166                         <property name="visible">True</property>
 167                         <property name="can_focus">True</property>
 168                         <property name="receives_default">False</property>
 169                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 170                         <property name="xalign">0.5</property>
 171                         <property name="draw_indicator">True</property>
 172                       </object>
 173                       <packing>
 174                         <property name="expand">False</property>
 175                         <property name="fill">False</property>
 176                         <property name="position">2</property>
 177                       </packing>
 178                     </child>
 179                     <child>
 180                       <object class="GtkCheckButton" id="preferences_toggle:bool:0:0:filemanager-filter-unversioned">
 181                         <property name="label" translatable="yes">Do not show unversioned files</property>
 182                         <property name="visible">True</property>
 183                         <property name="can_focus">True</property>
 184                         <property name="receives_default">False</property>
 185                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 186                         <property name="xalign">0.5</property>
 187                         <property name="draw_indicator">True</property>
 188                       </object>
 189                       <packing>
 190                         <property name="expand">False</property>
 191                         <property name="fill">False</property>
 192                         <property name="position">3</property>
 193                       </packing>
 194                     </child>
 195                   </object>
 196                 </child>
 197               </object>
 198             </child>
 199             <child type="label">
 200               <object class="GtkLabel" id="label3">
 201                 <property name="visible">True</property>
 202                 <property name="can_focus">False</property>
 203                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 204                 <property name="label" translatable="yes">Filter</property>
 205                 <attributes>
 206                   <attribute name="weight" value="bold"/>
 207                 </attributes>
 208               </object>
 209             </child>
 210           </object>
 211           <packing>
 212             <property name="expand">True</property>
 213             <property name="fill">True</property>
 214             <property name="padding">5</property>
 215             <property name="position">1</property>
 216           </packing>
 217         </child>
 218       </object>
 219     </child>
 220   </object>
 221 </interface>