ui: editor: use selected font family

This commit is contained in:
undefined committed 2022-08-30 01:41:15 +08:00
1 parent 9e19eb2614
commit 48d79496d4
3 files changed
+3 -1

No files matched your search

@@ -97,6 +97,7 @@ export default class Editor extends DOMAttachedObject {
hideCursorInOverviewRuler: true,
overviewRulerLanes: 0,
overviewRulerBorder: false,
fontFamily: UserContext.codeFontFamily,
};
if (autoLayout) cfg.automaticLayout = true;
let prevHeight = 0;