Жена решила побаловаться с ардуинкой, живём на Starterkit P10 MATE.
Установил ей на компьютер пакет arduino со всеми зависимостями.
Программа запускается, но шрифт в строке меню чрезмерно мелкий, хотя графические элементы окна и кнопки нормальных размеров. Увеличение масштаба по "Ctrl"+"+" увеличивает только содержимое окна, не влияя на строку меню. В файлах конфигурации программы не нашёл параметров влияющих на размер шрифта строки меню.
Вероятно, всё это хозяйство работает через JRE.
Как указать JRE размер базового шрифта для меню?