On 04.10.2013 16:38, Matthew Miller wrote:
Or rather a gsettings option accessible via tweak tool. Having extensions for every small detail is a bit excessive IMO.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. IThis seems like a very useful place for a Gnome Shell Extension.
-- test mailing list test@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe: https://admin.fedoraproject.org/mailman/listinfo/test