kazysmaster/gnome-shell-extension-lockkeys — pull request #12 by phw (2013-10-11 16:04:22+00:00)
Title: ShowhideIndicator: Completely hide the panel button when no button is ac...

...tive.