Stefan 'psYchotic' Zwanenburg
c6624e84b3
This new hide-effect simply moves everything but 1*_spacing offscreen. It's fairly similar to the 'rescale' effect.
39 lines
1.5 KiB
Plaintext
39 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.AutoHideEffect'>
|
|
<value nick='resize' value='0'/>
|
|
<value nick='rescale' value='1'/>
|
|
<value nick='move' value='2'/>
|
|
</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.AutoHideEffect">
|
|
<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>
|