Marc Alcalà
41d9b71b26
Use GSettings to store configuration and make the dock position customizabile. Currently, supported are left and right of the primary monitor; more could be added in the future. (Commit message edited by Giovanni Campagna) https://bugzilla.gnome.org/show_bug.cgi?id=647394 Signed-off-by: Giovanni Campagna <gcampagna@src.gnome.org>
20 lines
766 B
Plaintext
20 lines
766 B
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>
|
|
|
|
<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>
|
|
</schema>
|
|
</schemalist>
|