Я ищу лучший способ увеличения, а не использование опции увеличения доступности по умолчанию, потому что это действительно глючит. Есть ли лучшая альтернатива?
Редактировать: просто чтобы уточнить, я говорю об экране / системе / независимо от увеличения, а не о браузере. Кроме того, я на Ubuntu 18.04 LTS, и мой «рабочий стол» Ubuntu / по умолчанию.
Ctrl-Mouse scroll wheel
у меня работает вfirefox