Remove codemirror2 libraries from frontend.

4113accf · Sander Mathijs van Veen · 46fe96ac · 4113accf
Commit 4113accf authored 12 years ago by Sander Mathijs van Veen
--- a/src/frontend/tpl/editor.html
+++ b/src/frontend/tpl/editor.html
@@ -6,10 +6,7 @@
        <script type="text/javascript" src="/static/build/external/jquery/jquery.min.js"></script>
        <script type="text/javascript"
            src="/static/external/mathjax/MathJax.js?config=AM_HTMLorMML-full"></script>
-        <link rel="stylesheet" href="/static/external/codemirror2/lib/codemirror.css">
        <link rel="stylesheet" href="/static/frontend/css/editor.css">
-        <script src="/static/external/codemirror2/lib/codemirror.js"></script>
-        <script src="/static/external/codemirror2/mode/r/r.js"></script>
    </head>
    <body>
        <div id="control-buttons"><button onclick=window.clear_input()>clear</button><div class="separator"></div><button onclick=window.validate_input()>validate</button><button onclick=window.hint_input()>hint</button><button onclick=window.step_input()>step</button><button onclick=window.answer_input()>answer</button><div id="loader"></div></div>