Я использую J в своем chromebook с помощью crouton. Поскольку я не мог установить среду gtk для J gtk в своем Chromebook, я обычно запускаю jhs в своем браузере chrome. В целом я очень доволен jhs ide, но меня беспокоит только одна крошечная проблема: я не могу найти файл конфигурации шрифта или меню в jhs. Я хотел бы отображать корейские символы с фиксированной шириной, чтобы упорядочить их с помощью рисованных символов, таких как '+++++++++ | -'. Я попытался установить шрифт chrome браузера в неудаче.