keyboard_modifiers_status

Gnome-Shell extension that shows keyboard modifiers status. It's useful when sticky keys are active.

GPL-3.0 License

Stars
21
Committers
3
View Code on GitHub
Ecosystems: JavaScript

Commit Statistics

Past Year

All Time

Total Commits
7
51
Total Committers
2
4
Avg. Commits Per Committer
3.5
12.75
Bot Commits
0
0

Issue Statistics

Past Year

All Time

Total Pull Requests
1
2
Merged Pull Requests
1
2
Total Issues
0
9
Time to Close Issues
N/A
11 months
Related Projects
emoji-selector-for-gnome

This extension provide a popup menu with some emojis ; clicking on an emoji copies it to the clip...

13 Jan 2017 475
node-gk6x

This adds support for GK6X keyboards in nodejs.

27 Jul 2021 16
gnome-shell-quick-lang-switch

Gnome-shell extension to quickly switch keyboard language layout (no switcher popup)

21 Oct 2021 57
gnome-shell-go-to-last-workspace

Extension for the Gnome Shell to quickly toggle between two workspaces

05 Jun 2016 24
no-titlebar-when-maximized

A GNOME Shell 👣 extension that hides the titlebar of maximized windows

26 Nov 2021 34
gnome-shell-windowlist

Displays a list of open windows in gnome-shell

17 Sep 2011 34
gnome-shell-more-keyboard-shortcuts

Gnome-shell extension to add some additional window-switching keyboard shortcuts

29 Sep 2014 3
gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively. Fork ...

28 Mar 2022 10
gnome-shell-extension-workspaceNavigator

Allow selection of workspaces with up and down arrow keys in overlay mode.

02 Dec 2011 4
hide-keyboard-layout

GNOME Shell extension to hide keyboard layout indicator in status bar

04 Apr 2020 18
simply-workspaces

A Gnome 3 shell extension for indicating workspaces (similar to polybar/i3bar)

07 Jun 2021 30
gnome-magic-window

Bind a key to a specific program in Gnome Shell.

22 Jan 2017 31
sheetkeys

A browser extension which adds Vim-style shortcuts to Google Sheets

26 Sep 2015 252
gnome-clipboard-history

Gnome Clipboard History is a clipboard manager Gnome extension that saves what you've copied into...

09 Jan 2022 457
notes-extension-gnome

A GNOME Shell extension providing customizable sticky notes

05 Nov 2017 80