search

darkxst / multiple-monitor-panels

Add panels including AppMenu to each additional monitor.
GNU General Public License v3.0
39 stars 27 forks source link

Display Workspace Switchers checkbox not working #9

Closed goehle closed 11 years ago

goehle commented 12 years ago

When I uncheck "Display Workspace Switchers" on the preferences page I expect that the workspace switchers on the secondary monitor should dissapear. As it stands unchecking this option doesn't seem to do anything.

(I could be interpreting its function wrong, however, Workspace Switchers on left does move the secondary monitor switchers to the opposite side as expected.)

darkxst commented 12 years ago

Currrently enabling/disabling workspace switchers, requires to restart gnome-shell (or reload the extension). I will fix this setting to be real-time in a future version.

goehle commented 12 years ago

Ah, OK. In the meantime I recommend putting some "(shell restart required)" text next to the option name. At least, it wasn't obvious to me that it was necessary.

goehle commented 12 years ago

FYI, I've tried restarting the gnome-shell and unloading/reloading the plugin and the Display Workspace Switchers still doesn't seem to do anything.

benoit2600 commented 12 years ago

I've the same problem, restarting the session change nothing. I use gnome-shell 3.6 on ubuntu 12.04. On the secondary screen, it can only have one desktop ( the default gnome-shell configuration, I don't remember the name of this feature)

darkxst commented 12 years ago

@benoit2600 you need to set "workspaces only on primary" to off in gnome tweak tool, or the workspace switchers wont work on additional monitors.

benoit2600 commented 12 years ago

Yes, I know that, and I don't want multiple Workspace on my secundary monitor. But the Display Workspace Switchers shows on it, even with the checkbox on false.

goehle commented 11 years ago

Works as intended in latest version