mirror of
https://github.com/open-webui/open-webui
synced 2024-11-17 05:53:11 +00:00
refac
This commit is contained in:
parent
4616b508b1
commit
056f24dc57
@ -9,9 +9,6 @@
|
|||||||
import { indentUnit } from '@codemirror/language';
|
import { indentUnit } from '@codemirror/language';
|
||||||
import { languages } from '@codemirror/language-data';
|
import { languages } from '@codemirror/language-data';
|
||||||
|
|
||||||
// import { python } from '@codemirror/lang-python';
|
|
||||||
// import { javascript } from '@codemirror/lang-javascript';
|
|
||||||
|
|
||||||
import { oneDark } from '@codemirror/theme-one-dark';
|
import { oneDark } from '@codemirror/theme-one-dark';
|
||||||
|
|
||||||
import { onMount, createEventDispatcher, getContext, tick } from 'svelte';
|
import { onMount, createEventDispatcher, getContext, tick } from 'svelte';
|
||||||
@ -101,7 +98,7 @@
|
|||||||
|
|
||||||
const setLanguage = async () => {
|
const setLanguage = async () => {
|
||||||
const language = await getLang();
|
const language = await getLang();
|
||||||
if (language) {
|
if (language && codeEditor) {
|
||||||
codeEditor.dispatch({
|
codeEditor.dispatch({
|
||||||
effects: editorLanguage.reconfigure(language)
|
effects: editorLanguage.reconfigure(language)
|
||||||
});
|
});
|
||||||
|
Loading…
Reference in New Issue
Block a user