|
JavaScript |
8 |
gnome-shell extension |
Jul 12, 2019 |
|
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 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 |
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 |
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 |
|
JavaScript |
4 |
Horizontal workspaces for gnome-shell (extension) |
Aug 08, 2019 |
|
JavaScript |
2 |
Disable Barrier Support - Gnome Shell Extension |
Dec 14, 2016 |
|
JavaScript |
2 |
Shrink Message Tray - Gnome Shell Extension |
Apr 08, 2015 |
|
JavaScript |
2 |
A gnome-shell extension to simplify extension developing |
Apr 29, 2023 |
|
JavaScript |
9 |
Learner: A German vocabulary app |
Mar 10, 2022 |
|
C# |
4 |
Online vocabulary test for German |
Nov 01, 2021 |
|
Dhall |
4 |
PureScript bindings for writting gnome-shell extension |
Jun 22, 2022 |
|
TypeScript |
401 |
tiling window manager extension for gnome-shell |
May 17, 2022 |
|
JavaScript |
2 |
Experimental GNOME Shell extension with Peas plugins |
Feb 25, 2023 |
|
JavaScript |
2 |
Gnome shell extension that shades inactive windows |
Sep 17, 2021 |
|
JavaScript |
649 |
A tiling window extension for GNOME Shell |
Sep 21, 2022 |
|
JavaScript |
62 |
Simple todo list extension for gnome-shell |
Nov 22, 2021 |
|
Shell |
3 |
Gnome Shell extension for Hotot microblogging client |
Mar 14, 2015 |
|
JavaScript |
2 |
Wifi Signal Strength Monitor GNOME Shell extension |
Jun 08, 2019 |
|
JavaScript |
2 |
Rollup plugin for GNOME shell extension development |
Apr 13, 2022 |
|
JavaScript |
3 |
Opacify-like extension to Gnome 3 shell |
May 12, 2020 |
|
JavaScript |
49 |
GNOME Shell extension to manage systemd services. |
May 04, 2023 |
|
Shell |
9 |
Notification Banner Position - A Gnome Shell Extension |
Mar 23, 2023 |
|
Python |
13 |
Command line extension manager for Gnome-Shell |
Apr 14, 2023 |
|
JavaScript |
14 |
gnome-shell extension for todolist with subsections. |
Apr 23, 2023 |
|
JavaScript |
5 |
A gnome-shell extension to monitor resources |
Apr 12, 2023 |
|
JavaScript |
4 |
A Gnome Shell Extension to ping multiple hosts. |
Aug 02, 2021 |
|
JavaScript |
5 |
Gnome-Shell Extension for setting smbios thermal modes. |
Mar 05, 2022 |