Greetings, Both extensions Dash to Dock and Workspace to Dock brings more useful functionality in Gnome Shell such as autohide and ability to move the direction the users desire. Will it be possible to include them on the next Gnome release?
Gnome-tweak-tool seems to be one of requested features for customizing the shell, it will be nice to include in control center as advanced settings similar to Apple OS X Yosemite. On Gnome-Control-center, some settings like Network mismatch the current HIG look, it would be great to update them. [1] https://extensions.gnome.org/extension/307/dash-to-dock/ [2] https://extensions.gnome.org/extension/427/workspaces-to-dock/ -- Luya Tshimbalanga Graphic & Web Designer E: [email protected] W: http://www.coolest-storm.net _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
