|
JavaScript |
27 |
An gnome shell extension to add a new panel to the Quick Settings for sound … |
Jul 01, 2023 |
|
JavaScript |
6 |
A GNOME Shell extension to hide frequent view in overview |
Oct 02, 2021 |
|
JavaScript |
36 |
Simple GNOME Shell extension manager in the top panel. |
Apr 16, 2023 |
|
JavaScript |
15 |
GNOME Shell extension to hide keyboard layout indicator in status bar |
Nov 15, 2021 |
|
TypeScript |
80 |
GNOME Shell extension that shows workspaces buttons in top panel |
May 10, 2023 |
|
JavaScript |
37 |
gnome shell extension to enable/disable extension easily via a panel menu |
Jan 28, 2022 |
|
JavaScript |
135 |
GNOME Shell Extension allowing separate configuration of PulseAudio devices |
Sep 16, 2022 |
|
JavaScript |
8 |
gnome-shell extension |
Jul 12, 2019 |
|
JavaScript |
21 |
GNOME Shell extension to hide battery icon in top panel, if battery is fully charged … |
Aug 09, 2022 |
|
JavaScript |
4 |
A gnome-shell extension that moves the top panel to bottom. |
Sep 04, 2019 |
|
JavaScript |
3 |
gnome shell extension that adds media controls to the gnome panel for MPRIS enabled players |
May 17, 2022 |
|
Python |
32 |
GNOME Tweak Tool - Customize GNOME3 and GNOME Shell Settings |
Nov 22, 2021 |
|
None |
152 |
GNOME Shell Extension TaskBar |
Aug 30, 2022 |
|
JavaScript |
3 |
gnome shell extension animate |
Apr 17, 2023 |
|
JavaScript |
3 |
A gnome-shell extension |
Jan 28, 2023 |
|
JavaScript |
34 |
Mailnag GNOME-Shell extension |
Mar 27, 2023 |
|
TypeScript |
3 |
Gnome Shell Extension Libray |
May 16, 2022 |
|
JavaScript |
2 |
GNOME Shell extension which disable changing menu on hover another panel button. |
Nov 20, 2023 |
|
JavaScript |
5 |
Toggle cloudflare warp in GNOME quick settings |
Sep 05, 2023 |
|
JavaScript |
6 |
Indicate Headphone status in Gnome-shell panel |
Jun 03, 2018 |
|
JavaScript |
7 |
Show Hebrew date in gnome-shell panel |
Feb 04, 2023 |
|
JavaScript |
2 |
gnome shell extension that tiles windows as you like. |
Oct 23, 2015 |
|
C |
29 |
A recreation of the gnome-shell 'hamster project extension' for the xfce4 panel. |
Aug 21, 2022 |
|
JavaScript |
24 |
Gnome Shell extension that allows to switch between workspaces and applications by scrolling mouse wheel … |
May 17, 2023 |
|
JavaScript |
2 |
GNOME Shell Extension Suspend-Button |
Jul 08, 2021 |
|
JavaScript |
2 |
Pomodoro extension for gnome-shell |
Jan 08, 2021 |
|
JavaScript |
3 |
Disper Menu GNOME Shell extension |
Jul 22, 2022 |
|
JavaScript |
23 |
Gnome Shell Extension "Keep Awake" |
Nov 17, 2022 |
|
JavaScript |
78 |
Touchpad management GNOME Shell Extension. |
Mar 02, 2023 |
|
JavaScript |
4 |
Chat Status - Gnome shell extension |
Jun 03, 2021 |
|
JavaScript |
4 |
PassCalc extension for Gnome Shell |
Apr 16, 2019 |
|
JavaScript |
4 |
Gnome Shell Extension: Gmail Notify |
Nov 18, 2021 |
|
JavaScript |
22 |
Extension personnelle pour GNOME SHELL |
May 04, 2023 |
|
JavaScript |
2 |
Gnome Shell extension for TOTP |
Dec 14, 2017 |
|
JavaScript |
8 |
GNOME Shell extension for xremap |
Mar 07, 2023 |
|
JavaScript |
2 |
A simple Gnome Shell extension. |
Apr 14, 2024 |
|
JavaScript |
73 |
Gnome Shell Extension that allows to start and stop systemd services |
Feb 24, 2022 |
|
JavaScript |
6 |
Project Moved https://github.com/qwreey75/quick-settings-tweaks | This extension allows you to remove gnome 43's quick setting buttons. … |
Nov 17, 2022 |
|
JavaScript |
2 |
A gnome-shell extension for Linux that displays Nepali date on the top panel. |
May 01, 2022 |
|
JavaScript |
413 |
GNOME Shell extension which bring back Tray Icons to top panel, with additional features. |
May 10, 2023 |
|
JavaScript |
11 |
A Gnome shell extension to customize Gnome 3 overview |
Nov 19, 2022 |
|
JavaScript |
38 |
A gnome-shell extension to show 'Activate GNOME' watermark. |
Jul 18, 2022 |
|
JavaScript |
6 |
A Gnome shell extension to use Yakuake on Gnome |
Apr 26, 2023 |
|
JavaScript |
17 |
UNMAINTAINED -- GNOME Shell extension that allows customizing the topbar when free-floating |
Mar 28, 2022 |
|
JavaScript |
5 |
GNOME Shell extension for window management |
Jul 29, 2022 |
|
JavaScript |
9 |
Date Menu Formatter GNOME Shell extension |
Apr 22, 2023 |
|
JavaScript |
2 |
Gnome shell extension for ETECSA login |
Jan 28, 2023 |
|
JavaScript |
61 |
Gnome shell extension for adb tools |
Apr 24, 2022 |
|
JavaScript |
2 |
Endless Hack extension for GNOME Shell |
Dec 14, 2022 |
|
JavaScript |
3 |
Gnome shell extension for changing proxy |
Dec 11, 2018 |