Yep, it's Cinnamon, I've just installed a Debian on a new server and switched to Cinnamon, and the same happened there as well... Cinnamon has scaling slider as

Yep, it's Cinnamon, I've just installed a Debian on a new server and switched to Cinnamon, and the same happened there as well... Cinnamon has scaling slider as well, HiDPI is a bit different thing (and a different option in general settings).