plugins/document-manager/org.gnome.anjuta.document-manager.gschema.xml.in

   1 <schemalist>
   2         <schema id="org.gnome.anjuta.document-manager" path="/org/gnome/anjuta/">
   3                 <key name="text-zoom-factor" type="i">
   4                         <default>0</default>
   5                 </key>
   6                 <key name="docman-automatic-save" type="b">
   7                         <default>true</default>
   8                 </key>
   9                 <key name="docman-autosave-timer" type="i">
  10                         <default>10</default>
  11                 </key>
  12                 <key name="docman-save-session-timer" type="i">
  13                         <default>10</default>
  14                 </key>
  15                 <key name="docman-tabs-recent-first" type="b">
  16                         <default>false</default>
  17                 </key>
  18                 <key name="docman-tabs-ordering" type="b">
  19                         <default>false</default>
  20                 </key>
  21                 <key name="docman-show-drop-down" type="b">
  22                         <default>false</default>
  23                 </key>
  24                 <key name="docman-tabs-hide" type="b">
  25                         <default>false</default>
  26                 </key>
  27                 <key name="docman-tabs-pos" type="s">
  28                         <choices>
  29                                 <choice value="Top" />
  30                                 <choice value="Bottom" />
  31                                 <choice value="Left" />
  32                                 <choice value="Right" />
  33                         </choices>
  34                         <default>"Top"</default>
  35                 </key>
  36         </schema>
  37 </schemalist>