I'm a recent cinnamon convert. I used to use Gnome 3 with KDE underneath it, entirely because I enjoy the hotcorner of Gnome 3, where your windows, workspaces, and favorites pop up when you hit the upper left corner. Is there a way to replace the Cinnamon hotcorner with the Gnome 3? I don't care if I have to tweak some coding or stuff like that, I'd just like that bit of functionality back. Thanks!