gnome-shell-scroll-workspaces
hidetopbar
Our great sponsors
gnome-shell-scroll-workspaces | hidetopbar | |
---|---|---|
9 | 3 | |
70 | 547 | |
- | - | |
4.6 | 3.8 | |
4 months ago | about 1 month ago | |
Python | JavaScript | |
- | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
gnome-shell-scroll-workspaces
- Enable Super+Scroll to switch workspaces anywhere
-
Void + GNOME = 🤍
Top Panel Workspace Scroll
- Survey: Your Favorite Apps
-
GNOME Workspaces not functioning (Pop!OS 21.10)
Also, I have the workspace scroll GNOME extension installed, and it now scrolls left-right, instead of up-down? This is more of a minor thing, but I was wondering why that happened
- Thoughts on my Gnome Desktop?
- Android mode
-
As of GNOME 40, how many extensions do you still depend on?
7: - Blur my Shell - Dash to Dock - Launch new instance - Quick Close in Overview - Top Panel Workspace Scroll - Unite - User Themes
- Gnome 40 is incredible but one consideration might be in order.
-
The best GNOME shell extensions
Enables switching of the workspace by scrolling on the top bar. Works on 40 and 3.38 Gnome Extensions | GitHub
hidetopbar
-
Hide Top Bar
Hello, I really like this extension and it seems that is not updated for Gnome 44. Does anyone have any news about it or how can I get the same result with a different extension?
- Is there any way to hide top with keyboard shortcut ?
-
The best GNOME shell extensions
This extension auto-hides the top bar. When the mouse is brought near the top, it reappears. If you're like me and like to have a few things on your screen as possible, this is a must use. Works on 3.38, no 40 support yet Gnome Extensions | Github
What are some alternatives?
gnome-shell-extension-x11gestures - Enable GNOME Shell multi-touch gestures on X11 with this extension
gnome-shell-extension-transparent-top-bar - GNOME Shell extension that brings back the transparent top bar when free-floating in GNOME Shell 3.32
gnome-shell-extension-clipboard-indicator - The most popular clipboard manager for GNOME, with over 1M downloads
blur-my-shell - Extension that adds a blur look to different parts of the GNOME Shell, including the top panel, dash and overview
gnome-shell-remove-dropdown-arrows - Removes the dropdown arrows from the AppMenu and SystemMenu (AggregateMenu) which were introduced in Gnome 3.10.
gnome-clipboard-history - Gnome Clipboard History is a clipboard manager Gnome extension that saves what you've copied into an easily accessible, searchable history panel.
gnome-shell-extension-appindicator - Adds KStatusNotifierItem support to the Shell
pixel-saver - Pixel Saver is designed to save pixel by fusing activity bar and title bar in a natural way.
gnome-shell-impatience - speed up gnome-shell animations