-
Florian Müllner authored
Whether people love or hate the hot corner depends in large extents on hardware sensitivity and habits, which is hard to get right universally. So bite the bullet and support an option to enable or disable hot corners ... https://bugzilla.gnome.org/show_bug.cgi?id=688320
dbb71f0d