Я новичок в Lighttable IDE.
кто-нибудь знает, как установитьworkspace и размер шрифта Windows.
Я могу изменить размер шрифта редактора. но не знаю, как установитьfont-size для другого элемента. или измените глобальный размер шрифта для всех шрифтов IDE.