Configure behavior when scrolling on workspace name

[josephcagle]

I tend to jump between workspaces a lot, and I tend to remember the workspaces' individual numbers better than the order in which I last used them.
I like the super+pgup/down functionality and animation that switches between workspaces in numerical sequence, and I don't find the "last used" order triggered by super+above_tab to be very useful for me.

Could a setting be added to allow using the sequential switcher, instead of the last-used switcher, when the user scrolls the mouse wheel while hovering over the workspace name in the top bar?

[jtaala]

Hey @DarthFloopy. Sorry for the delay in replying - I've been working on Gnome 45 compatibility (which turned to be a much bigger job).

Anyways, yeah I could see the usefulness here. It's not a big change to do it so will have a look at this. If you wanted test this or give it a go yourself, you would change:

PaperWM/topbar.js

Line 427 in 3986699

Tiling.spaces.initWorkspaceStack();

to Tiling.spaces._initWorkspaceSequence();

And these lines:

PaperWM/topbar.js

Line 450 in 3986699

Tiling.spaces.selectStackSpace(Meta.MotionDirection.DOWN);

PaperWM/topbar.js

Line 453 in 3986699

Tiling.spaces.selectStackSpace(Meta.MotionDirection.UP);

PaperWM/topbar.js

Line 485 in 3986699

spaces.selectStackSpace(Meta.MotionDirection.UP, false, mode);

PaperWM/topbar.js

Line 538 in 3986699

spaces.selectStackSpace(Meta.MotionDirection.DOWN, false, mode);

PaperWM/topbar.js

Line 541 in 3986699

spaces.selectStackSpace(Meta.MotionDirection.DOWN);

PaperWM/topbar.js

Line 542 in 3986699

spaces.selectStackSpace(Meta.MotionDirection.UP);

to use spaces.selectSequenceSpace instead.

Otherwise, can wait til we get time to look at this request.

Cheers!

[jtaala]

Closing this one as #833 fixes this (and implements this as standard behaviour).