Scroll on taskbar to change workspace

linux-is-awesome / gnome_extension_rocketbar

Taskbar and misc additions for the GNOME Shell.

GNU General Public License v3.0

17 stars 3 forks source link

Closed Sultech closed 2 years ago

Sultech commented 2 years ago

Would it be possible to add an option to scroll on the taskbar to change workspace. Here is an extension that does this https://extensions.gnome.org//extension/701/top-panel-workspace-scroll/

ChepKun commented 2 years ago

Instead of changing sound volume, right?

Sultech commented 2 years ago

Yes

ChepKun commented 2 years ago

On my todo list for now

ChepKun commented 2 years ago

Implemented

ChepKun commented 2 years ago

Implemented