jhs(J HTTP Server)中是否可以使用字体配置?

问题描述 投票:0回答:1

我在烤面包片的帮助下在Chromebook中使用了J。由于无法在Chromebook中为J gtk设置gtk环境,我通常在Chrome浏览器中启动jhs。总的来说,我对jhs ide非常满意,但是只有一个小问题让我发痒我在jhs中找不到字体配置文件或菜单。我想以固定宽度显示朝鲜语字符以便使用“ +++++++++ |-”之类的箱形字符进行整齐的排列。我尝试了chrome浏览器的字体设置失败。

fonts j
1个回答
0
投票

请参阅:configdefault_jhs _

尝试:PC_FONTFIXED_jhs _ =:““ sans-serif”” NB。或您真正想要的字体按F5刷新ijx窗口以查看更改

© www.soinside.com 2019 - 2024. All rights reserved.