Ubuntu 18.04.01 upgraded from 16.04
Shift Alt Down does not work in PHPStorm. Also, I can't assign any shortcut to it and it is not recognized as a shortcut (but top, left, and right do get recognized.
I use PHPStorm and cannot do a Move Line Down because of this.
cat /etc/default/keyboard
XKBLAYOUT=us
XKBVARIANT=intl
BACKSPACE=guess
EDI: I have reinstalled the OS (18.04.1) just to ensure it wasn't a problem with updating. BUT I kept my home folder. It doesn't work either. But my Gnome extensions are there, so maybe there is a config directory for it in my home folder? Previous to reinstall, I renamed the folders gconf, gnome and compiz in the home folder.
