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>
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>
Giovanni Campagna
Stefan 'psYchotic' Zwanenburg
Marc Alcalà