diff options
| -rw-r--r-- | static/panes/compiler.js | 1 | ||||
| -rw-r--r-- | static/panes/tool.js | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/static/panes/compiler.js b/static/panes/compiler.js index 086cfb159..a9d912719 100644 --- a/static/panes/compiler.js +++ b/static/panes/compiler.js @@ -2283,6 +2283,7 @@ Compiler.prototype.onSettingsChange = function (newSettings) { enabled: this.settings.showMinimap && !options.embedded, }, fontFamily: this.settings.editorsFFont, + codeLensFontFamily: this.settings.editorsFFont, fontLigatures: this.settings.editorsFLigatures, }); }; diff --git a/static/panes/tool.js b/static/panes/tool.js index baf394efc..9ff4e88dc 100644 --- a/static/panes/tool.js +++ b/static/panes/tool.js @@ -173,6 +173,7 @@ Tool.prototype.onSettingsChange = function (newSettings) { enabled: newSettings.showMinimap, }, fontFamily: newSettings.editorsFFont, + codeLensFontFamily: newSettings.editorsFFont, fontLigatures: newSettings.editorsFLigatures, }); }; |