/usr/share/glib-2.0/schemas/org.gnome.anjuta.document-manager.gschema.xml is in anjuta-common 2:3.10.2-0ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 | <?xml version="1.0" encoding="UTF-8"?>
<schemalist>
<schema path="/org/gnome/anjuta/" id="org.gnome.anjuta.document-manager">
<key type="i" name="text-zoom-factor">
<default>0</default>
</key>
<key type="b" name="docman-automatic-save">
<default>true</default>
</key>
<key type="i" name="docman-autosave-timer">
<default>10</default>
</key>
<key type="i" name="docman-save-session-timer">
<default>10</default>
</key>
<key type="b" name="docman-tabs-recent-first">
<default>false</default>
</key>
<key type="b" name="docman-tabs-ordering">
<default>false</default>
</key>
<key type="b" name="docman-show-drop-down">
<default>false</default>
</key>
<key type="b" name="docman-tabs-hide">
<default>false</default>
</key>
<key type="s" name="docman-tabs-pos">
<choices>
<choice value="Top"/>
<choice value="Bottom"/>
<choice value="Left"/>
<choice value="Right"/>
</choices>
<default>"Top"</default>
</key>
</schema>
</schemalist>
|