@[email protected] to [email protected] • edit-23 years agoGNOME users, tell us your favorite extensionsmessage-square6fedilinkarrow-up121arrow-down12file-text
arrow-up119arrow-down1message-squareGNOME users, tell us your favorite extensions@[email protected] to [email protected] • edit-23 years agomessage-square6fedilinkfile-text
minus-square@[email protected]linkfedilink1•3 years agoThis is mine: https://extensions.gnome.org/extension/1362/custom-hot-corners/ I’m pretty sure that’s the one. I use hot corners a lot when I’m using a mouse / trackpad to quickly display all open applications, or to show the desktop. If it gets integrated into Gnome I probably wouldn’t use any other extensions.
This is mine: https://extensions.gnome.org/extension/1362/custom-hot-corners/
I’m pretty sure that’s the one. I use hot corners a lot when I’m using a mouse / trackpad to quickly display all open applications, or to show the desktop.
If it gets integrated into Gnome I probably wouldn’t use any other extensions.