It sounds like you are using an extension, like customcor...@eccheng.gitlab.com ?
That is not part of gnome-shell so we can't handle bugs in it here. Please report a bug to the developer instead: https://gitlab.com/eccheng/customcorner/issues ** Changed in: gnome-shell (Ubuntu) Status: New => Invalid -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1829066 Title: Hot Corners not working on Ubuntu 18.10 Status in gnome-shell package in Ubuntu: Invalid Bug description: Hot Corners are not working on Ubuntu 18.10. I have the right bottom corner set up to Show Desktop but when I move the mouse to the corner nothing happens. I've tried other options as well, but none of them work. ProblemType: Bug DistroRelease: Ubuntu 18.10 Package: gnome-shell 3.30.2-0ubuntu1.18.10.2 ProcVersionSignature: Ubuntu 4.18.0-18.19-generic 4.18.20 Uname: Linux 4.18.0-18-generic x86_64 NonfreeKernelModules: nvidia_modeset nvidia ApportVersion: 2.20.10-0ubuntu13.3 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Tue May 14 21:36:13 2019 DisplayManager: gdm3 ExecutablePath: /usr/bin/gnome-shell-extension-prefs InstallationDate: Installed on 2016-03-31 (1138 days ago) InstallationMedia: Ubuntu 15.04 "Vivid Vervet" - Release amd64 (20150422) SourcePackage: gnome-shell UpgradeStatus: Upgraded to cosmic on 2019-04-25 (19 days ago) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1829066/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
