On 04.10.2013 16:38, Matthew Miller wrote:
On Fri, Oct 04, 2013 at 07:54:54AM +0200, moshe nahmias wrote:
I think that it must be possible to make the icon visible as an option. I
This seems like a very useful place for a Gnome Shell Extension.

Or rather a gsettings option accessible via tweak tool. Having extensions for every small detail is a bit excessive IMO.

--
test mailing list
test@lists.fedoraproject.org
To unsubscribe:
https://admin.fedoraproject.org/mailman/listinfo/test

Reply via email to