fix: larger font size (#100)

vuejs · Jun 22, 2023 · a1a3fe1 · a1a3fe1
1 parent db8c1bd
commit a1a3fe1
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 10 deletions.
diff --git a/src/editor/MonacoEditor.vue b/src/editor/MonacoEditor.vue
@@ -1,24 +1,22 @@
-<script lang="ts">
-export default {
-  editorType: 'monaco'
-}
-</script>
-
 <script setup lang="ts">
 import Monaco from '../monaco/Monaco.vue'
-import type { PreviewMode } from '../types';
+import type { PreviewMode } from '../types'
 
 defineProps<{
-  value: string;
-  filename: string;
+  value: string
+  filename: string
   readonly?: boolean
   mode?: PreviewMode
 }>()
 
 const emits = defineEmits<{
-  (e: 'change', code: string): void;
+  (e: 'change', code: string): void
 }>()
 
+defineOptions({
+  editorType: 'monaco',
+})
+
 const onChange = (code: string) => {
   emits('change', code)
 }

diff --git a/src/monaco/Monaco.vue b/src/monaco/Monaco.vue
@@ -90,6 +90,7 @@ onMounted(async () => {
     ...(props.readonly
       ? { value: props.value, language: lang.value }
       : { model: null }),
+    fontSize: 13,
     theme,
     readOnly: props.readonly,
     automaticLayout: true,