I've recently upgraded from Ubuntu 18.04 to Ubuntu 18.10 and hot corners no longer work. It used to work in 18.04. See screenshot below. I have the right bottom corner set to
Show Desktop but it does not work.
UPDATE This is the GNOME shell extension https://extensions.gnome.org/extension/1037/customcorner/?c=45876