For people interested in playing around with different terminal emulators, you’d do yourself a service trying kitty [https://github.com/kovidgoyal/kitty].
It made my experience on high DPI screens far better. You can find it packaged up in the usual places (e.g. Debian).