OpenWebGAL/WebGAL_Terre

[Question] 如何修改 Monaco 编辑器的配置?

Opened this issue · 1 comments

在使用脚本编辑器模式时,个人认为默认的字体可读性较差:

image

我希望通过某种方式自定义字体和字号,但没有在 GUI 中找到相关入口。请问能否通过修改某个文件实现?

我已经进行过如下尝试:

  1. Monaco Playground 中调整 monaco.editor.create 的第二个参数使字体合适
  2. 将所做的修改(fontFamilyfontSizefontLigatures)复制到 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,
    }
  );
  1. 在 DevTools 中禁用缓存,刷新页面

经过以上步骤,脚本编辑器中的字体与字号并没有像预期那样变化。