fix: can not change font and font size of editor #125
This commit is contained in:
parent
a2336b4fc8
commit
9564272fd8
|
@ -58,7 +58,7 @@ const readonlyValue = computed(() => {
|
||||||
const pref = usePreferencesStore()
|
const pref = usePreferencesStore()
|
||||||
onMounted(async () => {
|
onMounted(async () => {
|
||||||
if (editorRef.value != null) {
|
if (editorRef.value != null) {
|
||||||
const { fontSize, fontFamily = undefined } = pref.generalFont
|
const { fontSize, fontFamily = undefined } = pref.editorFont
|
||||||
editorNode = monaco.editor.create(editorRef.value, {
|
editorNode = monaco.editor.create(editorRef.value, {
|
||||||
// value: props.content,
|
// value: props.content,
|
||||||
theme: pref.isDark ? 'rdm-dark' : 'rdm-light',
|
theme: pref.isDark ? 'rdm-dark' : 'rdm-light',
|
||||||
|
|
Loading…
Reference in New Issue