Essential Gnome Extensions
-
Alt-Tab Switcher Popup Delay Removal - https://extensions.gnome.org/extension/1317/alt-tab-switcher-popup-delay-removal/
-
Alternate Tab - https://extensions.gnome.org/extension/15/alternatetab/
-
Launch New Instance - https://extensions.gnome.org/extension/600/launch-new-instance/
-
Remove the title bar with Pixel Saver - https://extensions.gnome.org/extension/723/pixel-saver/
I hereby claim:
- I am olofwalker on github.
- I am robertwalker (https://keybase.io/robertwalker) on keybase.
- I have a public key whose fingerprint is 652D A583 DC33 966D 805A E1FE CE80 79CF BF5D E5DC
To claim this, I am signing this object: