fixbug

修复不同tab切换时行号会变的问题
2018-09-16 20:47:45 +08:00 · 2018-09-16 20:47:45 +08:00 · 01d7ebe225
parent d391960975
commit 01d7ebe225
1 changed files with 1 additions and 0 deletions
--- a/static/js/source.js
+++ b/static/js/source.js
@ -988,6 +988,7 @@ function add_tab(project_id,path,filename) {

        div_codereading.id = "code_" + path;
        div_codereading.className = "codereading";
+        div_codereading.style.overflowY="auto";
        div_code.appendChild(div_codereading)