✨ feat: 添加 Ace 编辑器支持并优化样式

web/template/syzoj/submitpage.php

@@ -15,15 +15,23 @@
     text-align: left !important;
 }
 
-.hustoj-vditor-code,
-.hustoj-vditor-code .vditor,
-.hustoj-vditor-code .vditor-content,
-.hustoj-vditor-code .vditor-reset,
-.hustoj-vditor-code textarea {
+#source.ace_editor {
     width: 100% !important;
+    border: 1px solid #d4d4d5;
+    border-radius: 6px;
+}
+
+#source.ace_editor,
+#source.ace_editor .ace_scroller,
+#source.ace_editor .ace_content,
+#source.ace_editor .ace_text-layer {
     text-align: left !important;
 }
 
+#source.ace_editor .ace_gutter {
+    border-radius: 6px 0 0 6px;
+}
+
 .ace-chrome .ace_marker-layer .ace_active-line{   /*当前行*/
    background-color: rgba(0,0,199,0.3);
 }
@@ -474,21 +482,39 @@ function loadFromBlockly(){
       }
 ?>
 <?php if($OJ_ACE_EDITOR){ ?>
-<script src="include/vditor-adapter.js"></script>
+<script src="ace/ace.js"></script>
+<script src="ace/ext-language_tools.js"></script>
 <script>
-    var editor = HustOJVditor.createDeferredCodeEditor({
-        container: "source",
-        hiddenField: "hide_source",
-        theme: "ace/theme/xcode",
-        fontSize: 18
-    });
-    switchLang(<?php echo $lastlang ?>);
+    ace.config.set("basePath", "ace");
+
+    var sourceElement = document.getElementById("source");
+    var hiddenSourceElement = document.getElementById("hide_source");
+    var initialSourceCode = sourceElement ? (sourceElement.textContent || sourceElement.innerText || "") : "";
+    var editor = ace.edit("source");
+
+    editor.setTheme("ace/theme/xcode");
+    editor.setShowPrintMargin(false);
+    editor.setBehavioursEnabled(true);
+    editor.session.setUseWrapMode(true);
+    editor.session.setTabSize(4);
+    editor.session.setUseSoftTabs(true);
     editor.setOptions({
         enableBasicAutocompletion: true,
         enableSnippets: true,
         enableLiveAutocompletion: true,
         fontSize: "18px"
     });
+    editor.setValue(initialSourceCode, -1);
+
+    function syncEditorSource(){
+        if(hiddenSourceElement){
+            hiddenSourceElement.value = editor.getValue();
+        }
+    }
+
+    editor.getSession().on("change", syncEditorSource);
+    switchLang(<?php echo $lastlang ?>);
+    syncEditorSource();
    reloadtemplate($("#language").val()); 
    function getSourceDraftKey(languageOverride){
         let language=languageOverride;