Re: [suggestion] Dash to dock, Workspace to Dock and more

[Yosef Or Boczko <yoseforb gnome org>]

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 <luya fedoraproject org>:

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: luya fedoraproject org
W: http://www.coolest-storm.net


_______________________________________________
desktop-devel-list mailing list
desktop-devel-list gnome org
https://mail.gnome.org/mailman/listinfo/desktop-devel-list