Skip to content

Commit 024cee1

Browse files
committed
fix: font family on different widget
1 parent b28da61 commit 024cee1

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

src/lib/editorManager.js

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -199,10 +199,12 @@ async function EditorManager($header, $body) {
199199
function makeFontTheme() {
200200
const fontSize = appSettings?.value?.fontSize || "12px";
201201
const lineHeight = appSettings?.value?.lineHeight || 1.6;
202+
const fontFamily = getEditorFontFamily();
202203
return EditorView.theme({
203204
"&": { fontSize, lineHeight: String(lineHeight) },
204-
".cm-content": { fontFamily: getEditorFontFamily() },
205-
".cm-tooltip": { fontFamily: getEditorFontFamily() },
205+
".cm-content": { fontFamily },
206+
".cm-gutter": { fontFamily },
207+
".cm-tooltip, .cm-tooltip *": { fontFamily },
206208
});
207209
}
208210

0 commit comments

Comments
 (0)