It starts working again after a reboot
What I forgot to mention: the key shortcut for the terminal stops working too
It starts working again after a reboot
What I forgot to mention: the key shortcut for the terminal stops working too