Commit 00486819 by kimth

Make CodeMirror more pleasant for 6.00

parent c2e35152
......@@ -39,6 +39,7 @@
lineWrapping: true,
indentUnit: "${tabsize}",
tabSize: "${tabsize}",
indentWithTabs: true,
smartIndent: false
});
});
......@@ -48,7 +49,7 @@
border: 1px solid black;
font-size: 14px;
line-height: 18px;
resize: vertical;
resize: both;
}
</style>
</section>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment