Hey, About the extensions you mentioned, I think you wants to include them in gnome-shell-extensions, not elsewhere.
Regards, Yosef Or Boczko 2015-03-09 19:46 GMT+02:00 Luya Tshimbalanga <[email protected]>: > 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 >
_______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
