2016-04-30 18:28:33 +00:00
|
|
|
<!DOCTYPE html>
|
2016-03-12 18:50:43 +00:00
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<title>Web Terminal</title>
|
|
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/codemirror.min.js"></script>
|
|
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/addon/edit/trailingspace.min.js"></script>
|
2016-05-01 13:25:24 +00:00
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/addon/dialog/dialog.min.js"></script>
|
|
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/addon/search/search.min.js"></script>
|
|
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/addon/search/searchcursor.min.js"></script>
|
|
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/addon/search/jump-to-line.min.js"></script>
|
|
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/addon/search/matchesonscrollbar.min.js"></script>
|
|
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/addon/scroll/annotatescrollbar.min.js"></script>
|
2016-05-02 12:31:51 +00:00
|
|
|
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/codemirror.min.css">
|
|
|
|
|
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/addon/dialog/dialog.min.css">
|
|
|
|
|
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/addon/search/matchesonscrollbar.min.css">
|
|
|
|
|
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/theme/base16-dark.min.css">
|
2016-03-12 18:50:43 +00:00
|
|
|
<script src="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.12.0/mode/javascript/javascript.min.js"></script>
|
2016-05-02 12:31:51 +00:00
|
|
|
<link type ="text/css" rel="stylesheet" href="/terminal/style.css">
|
2016-03-12 18:50:43 +00:00
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
2016-05-02 12:31:51 +00:00
|
|
|
<link type="image/png" rel="shortcut icon" href="/terminal/favicon.png">
|
2016-03-12 18:50:43 +00:00
|
|
|
</head>
|
2016-04-30 18:28:33 +00:00
|
|
|
<body style="display: flex; flex-flow: column">
|
|
|
|
|
<div class="navigation">
|
|
|
|
|
<input type="button" id="back" name="back" value="Back" onclick="back()">
|
|
|
|
|
<input type="button" id="save" name="save" value="Save" onclick="save()">
|
|
|
|
|
<input type="button" id="saveAs" name="saveAs" value="Save As" onclick="saveAs()">
|
|
|
|
|
<input type="checkbox" id="run" name="run" checked><label for="run">Run after Saving</label>
|
|
|
|
|
<input type="button" id="revert" name="revert" value="Revert to Saved" onclick="revert()">
|
2016-05-02 12:31:51 +00:00
|
|
|
<button onclick="addLicense()"><img src="/terminal/agplv3-88x31.png" width="34" height="12" alt="AGPLv3"> Add License Header</button>
|
2016-03-12 18:50:43 +00:00
|
|
|
</div>
|
2016-04-30 18:28:33 +00:00
|
|
|
<textarea id="editor" class="main">$(SOURCE)</textarea>
|
|
|
|
|
<script src="/terminal/editor.js"></script>
|
2016-03-12 18:50:43 +00:00
|
|
|
</body>
|
|
|
|
|
</html>
|
