diff --git a/src/pages/oj/components/CodeMirror.vue b/src/pages/oj/components/CodeMirror.vue index d91d41f01..02ef952cf 100644 --- a/src/pages/oj/components/CodeMirror.vue +++ b/src/pages/oj/components/CodeMirror.vue @@ -160,7 +160,11 @@ }, watch: { 'theme' (newVal, oldVal) { + // console.log('theme') this.editor.setOption('theme', newVal) + }, + 'language' (newVal, oldVal) { + this.onLangChange(newVal) } } }