It sounds like you are using an extension, like [email protected] ?
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 Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1829066 Title: Hot Corners not working on Ubuntu 18.10 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1829066/+subscriptions -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
