Кнопки полосы прокрутки Eclipse слишком широкие
В Eclipse 2020-06 кнопки полосы прокрутки слишком широки, оставляя нежелательное пространство слева и справа от фактической полосы прокрутки. Впервые я увидел это с 2020-06. Работает на Ubuntu 20.04 Mate.
Имея перед собой стандартный терминал, можно убедиться, что полосы прокрутки отлично смотрятся в системе. Любые подсказки, как снова сделать полосы прокрутки в Eclipse нормальными? Я хочу заменить значки кнопок полосы прокрутки или взломать CSS, но ничего не нашел...? Я также могу полностью заменить / удалить кнопки полосы прокрутки (но не darktheme).
Изменить: такая же проблема на Debian 10 Mate (hidpi), без проблем на Ubuntu 18.04