add font settings (but font family doesn't work)

This commit is contained in:
Julian Freeman
2025-12-01 08:13:27 -04:00
parent 813229aae9
commit c7c7b5fc4b
6 changed files with 203 additions and 3 deletions

View File

@@ -1,12 +1,14 @@
<script setup lang="ts">
import { computed } from 'vue';
import { useRequestStore } from '../stores/requestStore';
import { useSettingsStore } from '../stores/settingsStore';
import { Codemirror } from 'vue-codemirror';
import { json } from '@codemirror/lang-json';
import { oneDark } from '@codemirror/theme-one-dark';
import { EditorView } from '@codemirror/view';
const store = useRequestStore();
const settings = useSettingsStore();
const extensions = [json(), oneDark, EditorView.editable.of(false)];
@@ -48,7 +50,11 @@ const statusColor = computed(() => {
<div class="flex-1 overflow-hidden">
<Codemirror
:model-value="formattedBody"
:style="{ height: '100%' }"
:style="{
height: '100%',
fontSize: settings.editorFontSize + 'px',
fontFamily: settings.editorFontFamily
}"
:extensions="extensions"
/>
</div>