Results 4 comments of Ignacio

+1, same here. Ubuntu 22.04.3 LTS GNOME Shell 42.9 Thank you for pointing out the menu option works fine! I will try that, and I might finally be able to...

Same problem here in Ubuntu 25.04, Cursor 1.1.7