我在 crouton 的帮助下在 chromebook 中使用 J。 因为我无法在我的chromebook中设置J gtk的gtk环境, 我通常在 chrome 浏览器中启动 jhs。 总的来说我对jhs ide非常满意, 但只有一个小问题让我烦恼, 我在 jhs 中找不到字体配置文件或菜单。 我想以固定宽度显示韩文字符 以便用框画字符(例如“+++++++++|-”)整齐排列。 我试过chrome浏览器的字体设置失败。
最佳答案
参见:configdefault_jhs_
尝试:
PC_FONTFIXED_jhs_=:'"sans-serif"' NB. or the font you really want
按 F5 刷新 ijx 窗口以查看更改
关于fonts - jhs(J HTTP Server) 中可以进行字体配置吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/61605005/