Fonts jhs(JHTTP服务器)中是否提供字体配置?

Fonts jhs(JHTTP服务器)中是否提供字体配置?,fonts,j,Fonts,J,在克劳顿的帮助下,我在chromebook中使用了J。 因为我无法在chromebook中为JGTK设置gtk环境, 我通常在chrome浏览器中启动jhs。 总的来说,我对jhs ide非常满意, 但只有一个小问题让我很痒, 我在jhs中找不到字体配置文件或菜单。 我想以固定宽度显示韩语字符 因此,使用方框整齐地排列可以绘制字符,例如“++++++|-”。 我尝试了chrome浏览器的字体设置,但失败了 请参阅:configdefault\u jhs 尝试: 按F5刷新ijx窗口以查看更改 P

在克劳顿的帮助下,我在chromebook中使用了J。 因为我无法在chromebook中为JGTK设置gtk环境, 我通常在chrome浏览器中启动jhs。 总的来说,我对jhs ide非常满意, 但只有一个小问题让我很痒, 我在jhs中找不到字体配置文件或菜单。 我想以固定宽度显示韩语字符 因此,使用方框整齐地排列可以绘制字符,例如“++++++|-”。
我尝试了chrome浏览器的字体设置,但失败了

请参阅:
configdefault\u jhs

尝试:

按F5刷新ijx窗口以查看更改

PC_FONTFIXED_jhs_=:'"sans-serif"' NB. or the font you really want