gnome-shell-extension-panel-workspace-scroll

Switch workspace by mouse scroll on the panel.

MIT License

Stars
4
View Code on GitHub
Ecosystems: JavaScript

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
1
1
Time to Close Issues
about 3 hours
about 3 hours
Related Projects
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-extensions-mediaplayer

A mediaplayer indicator for the gnome-shell.

08 May 2011 8
keyboard_modifiers_status

Gnome-Shell extension that shows keyboard modifiers status. It's useful when sticky keys are active.

17 Aug 2015 21
gnome-shell-extension-workspaceNavigator

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

02 Dec 2011 4
gnome-shell-extension-kimpanel

KDE kimpanel protocol for gnome shell

04 Oct 2011 124
gnome-shell-extension-ddterm

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

28 Mar 2022 10
tabspace

TabGroup/Panorama-like web extension

19 Nov 2017 3
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
PaperWM

Tiled scrollable window management for Gnome Shell

17 Sep 2017 2,604
gnome-shell-extension-updater

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

13 Apr 2012 33
dynamic-panel-transparency

Adds Transparency To The Gnome Shell Panel

09 Nov 2015 229
no-titlebar-when-maximized

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

26 Nov 2021 34
gnome-shell-windowlist

Displays a list of open windows in gnome-shell

17 Sep 2011 34
Cinnamon-Developer-Tools

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

09 Oct 2013 4