panel-corners
extension-manager
panel-corners | extension-manager | |
---|---|---|
6 | 44 | |
54 | 922 | |
- | - | |
7.3 | 9.3 | |
about 1 month ago | 3 days ago | |
JavaScript | C | |
GNU General Public License v3.0 only | 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.
panel-corners
-
How much or little do you prefer to customize Fedora (GNOME) via extensions?
I happily used vanilla GNOME in the past for many years. Unfortunately they've been making some questionable changes recently, and now I need to use extensions to undo those changes... Essential extensions for me are Panel Corners, and either Vertical Overview or V-Shell.
-
Extensions you can't live without?
Panel Corners — To bring back the aesthetically beautiful rounded top bar that we used to have with stock GNOME.
-
GNOME refreshed the shell interface for 42!
And there is an extension which re-implements the corners here: https://github.com/aunetx/panel-corners
-
Too complicated for new users.
Also, there's already an extension for those that absolutely want it at all costs.
-
The rounded corner in the top bar will be removed
I created https://github.com/aunetx/panel-corners to keep the corners for gnome 42 and later, if some of you want to keep them :)
-
Removing panel corners means performance improvement
you can get back the corners using this extension https://github.com/aunetx/panel-corners
extension-manager
-
Firefox 115 can silently remotely disable my extension on any site
Extension Manager [0] allows for installing Gnome extensions through an libadwaita app.
This replaces the Gnome Extensions app and the browser extension.
[0]: https://github.com/mjakeman/extension-manager
- Alternative tile managers
-
How to remove 'gnome-shell-extensions'?
If I remember correctly you need gnome-shell-extensions for the auto update to work in extension manager. https://github.com/mjakeman/extension-manager
- I'm getting this error on Arch Linux and I'm unable to install extensions. Any tips on solving this?
-
GNOME 44 is out now
You can use https://github.com/mjakeman/extension-manager to check whether your extensions have support for a particular gnome version from the upgrade assistant.
-
the gnome extensions website doesn't detect the gnome browser connector, despite having it installed as well as the browser extension
FWIW, the GNOME Extensions addon broke on Firefox 110.1 (installed natively) on Arch Linux for me too at least a week ago. I've tried troubleshooting why, but came up with little. I've concluded it's just dead for some reason, on my system at least. I have since uninstalled it and have been using Extension Manager instead to manage my shell extensions for the time being. No complaints here.
-
Can't install Gnome Shell Extensions
My suggestion would be to start using https://github.com/mjakeman/extension-manager instead. I think it's much better than the browser-based way of installing them.
-
Getting upset with Manjaro lately
Bonus tip: Extension Manager is an app to manage your extensions.
-
extensions not compatible
https://github.com/mjakeman/extension-manager can show you a list of compatible extensions before you upgrade, and it also allows you to search and install extensions without the browser extension.
-
Hey, does any bothy know how to solve this problem? Thanks!
Finally, you might want to check out the Extension Manager app, this makes managing extension easier in my opinion.
What are some alternatives?
smart-auto-move - Smart Auto Move learns the size and position of your application windows and restores them to the correct place on subsequent launches. Supports Wayland.
distrobox - Use any linux distribution inside your terminal. Enable both backward and forward compatibility with software and freedom to use whatever distribution you’re more comfortable with. Mirror available at: https://gitlab.com/89luca89/distrobox
vertical-workspaces - V-Shell is a GNOME Shell extension that allows you to customize the layout and behavior of the Shell UI.
dom - DOM Standard
gnome-shell-extension-ddterm - Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively
topgrade - Upgrade everything
vertical-overview - Gnome has had vertically stacked workspaces for a long time. The Gnome 40 update unfortunately made the switch to a horizontal layout. A choice that many Gnome users disagree with. This extension completely replaces the new Gnome overview with something that resembles the old style.
toolbox-vscode - Toolbox Visual Studio Code integration
guillotine
g3kb-switch - CLI keyboard layout switcher for Gnome Shell
parlatype - GNOME audio player for transcription
compiz-windows-effect - Compiz wobbly windows effect for GNOME Shell