jhs（J HTTP Server）中是否提供字体配置？
Is font configuration available in jhs(J HTTP Server)?
我在我的 chrome 书中使用 J 并借助油炸面包丁。
因为在我的chrome书中无法为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 window 查看变化
我在我的 chrome 书中使用 J 并借助油炸面包丁。 因为在我的chrome书中无法为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 window 查看变化