extension-manager
dash-to-panel
extension-manager | dash-to-panel | |
---|---|---|
44 | 42 | |
912 | 3,622 | |
- | 0.7% | |
9.3 | 8.7 | |
7 days ago | 4 days ago | |
C | JavaScript | |
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.
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.
dash-to-panel
- Dash To Panel icons look weird
- Why the default panel UX fails and how to fix it.
- Hiding the top-bar.
- Maximized window Position after Standby - Dash to Panel
-
An X11 Apologist Tries Wayland
Same here, only with Dash to Panel.
https://github.com/home-sweet-gnome/dash-to-panel
-
What is this yellow dot? I've never seen it before.
Initially it read as if the feature i wanted wasn't included in dash to panel but it seems like it is...https://github.com/home-sweet-gnome/dash-to-panel/issues/208
- TIL: Gnome's most famous extensions, 'Dash to Panel' and 'Arc Menu' are forks of ZorinOS' Zorin Menu and Zorin Taskbar
-
Visual Effects for GNOME 42 ..plus the links on comment
Dash to Panel (the bottom panel): https://github.com/home-sweet-gnome/dash-to-panel
-
Window flickering when minimize / show up
Can you record what happens without any extension enabled? I suspected it was your dock extension because it perfectly fits this bug: https://github.com/home-sweet-gnome/dash-to-panel/issues/1698
-
FYI gnome 42 just hit testing repo
It should be working somehow, but it really isn't. At least not with the current git version.
What are some alternatives?
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
dash-to-dock - A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
dom - DOM Standard
spicetify-cli - Command-line tool to customize Spotify client. Supports Windows, MacOS, and Linux.
topgrade - Upgrade everything
dash-to-panel - An icon taskbar for the Gnome Shell. This extension moves the dash into the gnome main panel so that the application launchers and system tray are combined into a single panel, similar to that found in KDE Plasma and Windows 7+. A separate dock is no longer needed for easy access to running and favorited applications.
toolbox-vscode - Toolbox Visual Studio Code integration
shell - Pop!_OS Shell
g3kb-switch - CLI keyboard layout switcher for Gnome Shell
dash-to-dock - A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
parlatype - GNOME audio player for transcription
ArcMenu