Giovanni Campagna
bbc00e5c3d
Now it is possible to configure in GSettings if the dock should be visible at all time or it should autohide when not needed. If autohiding, it animates, and the effect is itself configurable, as well as his duration. Based on a patch by Miguel Aguilar <zodiac_es@yahoo.es>
38 lines
1.5 KiB
Plaintext
38 lines
1.5 KiB
Plaintext
<schemalist gettext-domain="gnome-shell-extensions">
|
|
<enum id='org.gnome.shell.extensions.dock.PositionMode'>
|
|
<value nick='left' value='0'/>
|
|
<value nick='right' value='1'/>
|
|
</enum>
|
|
<enum id='org.gnome.shell.extensions.dock.AutoHideEfect'>
|
|
<value nick='resize' value='0'/>
|
|
<value nick='rescale' value='1'/>
|
|
</enum>
|
|
|
|
<schema id="org.gnome.shell.extensions.dock" path="/org/gnome/shell/extensions/dock/">
|
|
<key name="position" enum="org.gnome.shell.extensions.dock.PositionMode">
|
|
<default>'right'</default>
|
|
<_summary>Position of the dock</_summary>
|
|
<_description>Sets the position of the dock in the screen. Allowed values are 'right' or 'left'</_description>
|
|
</key>
|
|
<key name="size" type="i">
|
|
<default>48</default>
|
|
<_summary>Icon size</_summary>
|
|
<_description>Sets icon size of the dock.</_description>
|
|
</key>
|
|
<key name="autohide" type="b">
|
|
<default>true</default>
|
|
<_summary>Enable/disable autohide</_summary>
|
|
</key>
|
|
<key name="hide-effect" enum="org.gnome.shell.extensions.dock.AutoHideEfect">
|
|
<default>'resize'</default>
|
|
<_summary>Autohide effect</_summary>
|
|
<_description>Sets the effect of the hide dock. Allowed values are 'resize' or 'rescale'</_description>
|
|
</key>
|
|
<key name="hide-effect-duration" type="d">
|
|
<default>0.3</default>
|
|
<_summary>Autohide duration</_summary>
|
|
<_description>Sets the time duration of the autohide effect.</_description>
|
|
</key>
|
|
</schema>
|
|
</schemalist>
|