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.