search

timbertson / shellshape

tiling window manager extension for gnome-shell
http://gfxmonk.net/shellshape/
Other
396 stars 38 forks source link

Clean panel - Added ablility to hide panel indicator #129

Closed tomvanderlee closed 10 years ago

tomvanderlee commented 10 years ago

I like a clean panel without any extension indicators, so I added the ability to hide the indicator from the panel. You have to restart shell for the setting to apply though, because I couldn't figure out to toggle it on the fly.

timbertson commented 10 years ago

Seems like a reasonable request. It shouldn't be necessary to restart gnome-shell to have this take effect, though (given that entire extensions can be enabled / disabled without restarting).

Have you tried disabling the indicator when the pref is turned off? If there's an issue with this I can take a look, but it'll probably be a while before I have time to look into this.

Also, it'd be nice not to have the indicator_at_init boolean - I'd rather have the required state live in the indicator object itself so that enable() and disable() do nothing if it's already enabled / disabled.