Feature Request: Scroll workspace wraparound

christopher-l / space-bar

GNOME Shell extension that shows workspaces buttons in top panel

155 stars 12 forks source link

Closed rivenirvana closed 11 months ago

rivenirvana commented 1 year ago

Similar to Dotspaces

Morikko commented 11 months ago

https://extensions.gnome.org/extension/1116/workspace-switch-wraparound/ does it when using the gnome keyboard shortcuts but it does not work with the scroll of this extension.

The extension is tweaking Meta.Workspace.prototype.get_neighbor, the scroll may inherit the behavior if it does call that function.

christopher-l commented 11 months ago

Hi @rivenirvana and @Morikko, thanks for the request and the hint. I implemented a wrap-around option with the latest release (v19).

rivenirvana commented 11 months ago

Can confirm, thanks for the implementation!