cyrus@lemmy.ml to Linux@lemmy.ml · edit-24 years agoGNOME users, tell us your favorite extensionsmessage-squaremessage-square6fedilinkarrow-up121arrow-down11file-text
arrow-up120arrow-down1message-squareGNOME users, tell us your favorite extensionscyrus@lemmy.ml to Linux@lemmy.ml · edit-24 years agomessage-square6fedilinkfile-text
minus-squarexe8@lemmy.mllinkfedilinkarrow-up1·4 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.