gnome-shell-extension-panel-workspace-scroll

Switch workspace by mouse scroll on the panel.

MIT License

Stars
4
View Code on GitHub
Ecosystems: JavaScript

gnome-shell-extension-panel-workspace-scroll

Switch workspace by mouse scroll on the panel.

Install

make install

reload the session

Related Projects
overview-navigation

Make window navigation fast and easy using overview.

26 Jan 2019 37
no-titlebar-when-maximized

A GNOME Shell 👣 extension that hides the titlebar of maximized windows

26 Nov 2021 34
Cinnamon-Developer-Tools

A cinnamon desklet for those who "work under the hood" of cinnamon.

09 Oct 2013 4
tabspace

TabGroup/Panorama-like web extension

19 Nov 2017 3
gnome-shell-extension-workspaceNavigator

Allow selection of workspaces with up and down arrow keys in overlay mode.

02 Dec 2011 4
gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively. Fork ...

28 Mar 2022 10
PaperWM

Tiled scrollable window management for Gnome Shell

17 Sep 2017 2,604
dynamic-panel-transparency

Adds Transparency To The Gnome Shell Panel

09 Nov 2015 229
improved-workspace-indicator

gnome-shell extension that provides a workspace indicator similar to i3/sway

15 Jan 2021 42
simply-workspaces

A Gnome 3 shell extension for indicating workspaces (similar to polybar/i3bar)

07 Jun 2021 30
gnome-shell-extension-updater

Update extensions installed from https://extensions.gnome.org

13 Apr 2012 33
gnome-shell-extension-kimpanel

KDE kimpanel protocol for gnome shell

04 Oct 2011 124
emoji-selector-for-gnome

This extension provide a popup menu with some emojis ; clicking on an emoji copies it to the clip...

13 Jan 2017 475
gnome-shell-windowlist

Displays a list of open windows in gnome-shell

17 Sep 2011 34
gnome-shell-extensions-mediaplayer

A mediaplayer indicator for the gnome-shell.

08 May 2011 8