CHC-E (Custom Hot Corners - Extended) - GNOME Shell Extensions
extensions.gnome.org