UPD: Решено. Вернее, неактуально. Единственная причина, по которой я использовал Wayland вместо X11 – там можно задать отдельный масштаб для каждого монитора. А сейчас оказалось, что можно просто у большего монитора поменять разрешение на равное или близкое к меньшему монитору. Всё! Качество изображения при этом не страдает. А на Х11 упомянутой настройки нет, т.к. там всё и так работает.
Имеется в виду это.
Беда в том, что если выбрать «средствами приложений», то Android Studio будет чрезвычайно мелкой, а если «средствами системы» – то ООООЧЕНЬ крупной. Решение – сначала включить 1-ю опцию, затем запустить студию, и только после этого включить масштабирование средствами системы. Но делать это каждый раз дико неудобно, хотелось бы скриптом автоматизировать.
