gnome-shell-scroll-workspaces
shell
Our great sponsors
| gnome-shell-scroll-workspaces | shell | |
|---|---|---|
| 9 | 213 | |
| 70 | 4,664 | |
| - | 1.1% | |
| 4.6 | 6.0 | |
| 4 months ago | 25 days ago | |
| Python | TypeScript | |
| - | 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
shell
-
syntax error on installing pop shell
sudo apt install git node-typescript make git clone https://github.com/pop-os/shell.git cd shell
-
Rethinking Window Management in Gnome
If you use gnome, I can recommend Pop-Shell
https://github.com/pop-os/shell
- Why can't we have window management on a desktop environment ?
- Help. I’m using the PopOS tile windows extension(not on popOS) and most apps when opens after boot opens in a weird zoomed way as shown.
-
Best extension to mimic tiling windows manager?
Pop Shell is what I use, and it works really well (not available on the GNOME extensions store, get it from here, installation instructions are present near the bottom). Forge is another great option. If you want to completely change the look of Gnome, and have a completely different experience, try Material Shell, another awesome tiling extension.
-
Exterminate your desk: How to remove your mouse
I quite like Pop!_OS Shell (https://github.com/pop-os/shell) for tiling on Gnome, it feels like the right compromise for me of tiling while still having access to a full DE. Seems that installing it on other distribution should be easy enough.
-
Tiling speed
Is there a config of speed in PopShell https://github.com/pop-os/shell/tree/b5acccefcaa653791d25f70a22c0e04f1858d96e where we can adjust the speed of tiling? Just saying that extention like impatient only adjust the speed of animation, not the actual tiling or windows pops up (example would be archive manager pop-up).
-
Vanilla OS 2.0 Orchid base is changing from Ubuntu to Debian
One of my best friends uses the Pop Shell [1] GNOME extension to bring in an i3-like experience. It seems to lag behind a few GNOME versions, but system76 has instructions on how to use it on other distributions if you don't want to use Pop!_OS [2]
[1] - https://github.com/pop-os/shell
-
Why KDE Plasma was chosen as the default desktop environment for Asahi Linux
I am actually a pretty happy GNOME user -- granted, it is due to being able to tweak my experience with GNOME extensions and managing the aspects I care about with dconf settings managed with Home-Manager/Nix.
These are the GNOME extensions I find critical to me enjoying the UI:
- PopOS' Shell[0] for tiling windows
- Just Perfection[1] for making the appearance even more minimal/removing elements I don't use
I think if the GNOME team removed extension support altogether, I would absolutely switch to KDE. But for now, I get an extremely minimal desktop, and I really like it.
That being said, I typically live in my terminal, so I don't spend much time actually using the tools provided with my desktop environment.
(Just want to vocalize that there is at least one person who enjoys GNOME's approach of visually staying out of my way, but giving me a robust backend when I need it)
[0] https://github.com/pop-os/shell
[1] https://extensions.gnome.org/extension/3843/just-perfection/
-
What was a tech or feature your dismissed as unnecessary initially, but turned out to be wrong?
Just started playing with Pop Shell under GNOME, and I can see the allure.
What are some alternatives?
gnome-shell-extension-x11gestures - Enable GNOME Shell multi-touch gestures on X11 with this extension
i3-gnome - Use i3wm/i3-gaps with GNOME Session infrastructure.
gnome-shell-extension-transparent-top-bar - GNOME Shell extension that brings back the transparent top bar when free-floating in GNOME Shell 3.32
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-extension-system76-power - System76 Power Management Extension
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.
Tiling-Assistant - An extension which adds a Windows-like snap assist to GNOME. It also expands GNOME's 2 column tiling layout.
hidetopbar - Read-only mirror of https://gitlab.gnome.org/tuxor1337/hidetopbar. Pull requests and issues on GitHub cannot be accepted and will be automatically closed.
PaperWM - Tiled scrollable window management for Gnome Shell
gnome-shell-remove-dropdown-arrows - Removes the dropdown arrows from the AppMenu and SystemMenu (AggregateMenu) which were introduced in Gnome 3.10.
system76-scheduler - Auto-configure CFS and process priorities for improved desktop responsiveness