I have a Ubuntu 18.04 install on a Dell XPS 9560, 4k screen, with Gnome and Cinnamon desktops, and also have this problem. While using double scaling in Cinnamon, the mouse pointer size remains constant and the desktop usable, but with normal scaling, everything but the mouse pointer scales down to half size.
No workaround I've seen fixes this. It's maddening because with an external 4k monitor, I still have to use double scaling or the mouse pointer will be huge in comparison to the rest of the GUI.
I have a Ubuntu 18.04 install on a Dell XPS 9560, 4k screen, with Gnome and Cinnamon desktops, and also have this problem. While using double scaling in Cinnamon, the mouse pointer size remains constant and the desktop usable, but with normal scaling, everything but the mouse pointer scales down to half size.
No workaround I've seen fixes this. It's maddening because with an external 4k monitor, I still have to use double scaling or the mouse pointer will be huge in comparison to the rest of the GUI.