[Question] 如何修改 Monaco 编辑器的配置?
Opened this issue · 1 comments
TTsdzb commented
在使用脚本编辑器模式时,个人认为默认的字体可读性较差:
我希望通过某种方式自定义字体和字号,但没有在 GUI 中找到相关入口。请问能否通过修改某个文件实现?
我已经进行过如下尝试:
- 在 Monaco Playground 中调整
monaco.editor.create
的第二个参数使字体合适 - 将所做的修改(
fontFamily
、fontSize
与fontLigatures
)复制到WebGAL_Terre/public/monaco-iframe/monaco.html
相应的函数调用中
var editor = monaco.editor.create(
document.getElementById("container"),
{
value: "",
- language: "js" // 初始化语言为 javascript,可以根据需要修改
+ language: "js", // 初始化语言为 javascript,可以根据需要修改
+ fontFamily: "Maple Mono NF CN",
+ fontSize: 16,
+ fontLigatures: true,
}
);
- 在 DevTools 中禁用缓存,刷新页面
经过以上步骤,脚本编辑器中的字体与字号并没有像预期那样变化。
tinyAdapter commented