-
Notifications
You must be signed in to change notification settings - Fork 0
/
scratchpad.html
39 lines (37 loc) · 1.94 KB
/
scratchpad.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link rel="stylesheet" href="3rdparty/codemirror/codemirror.css" />
<link rel="stylesheet" href="3rdparty/codemirror/dialog.css" />
<link rel="stylesheet" href="css/scratchpad.css" />
</head>
<body>
<div id="titlebar">
<div id="title">Scratchpad</div>
<div id="buttons"></div>
</div>
<textarea id="js" spellcheck="false">
/*
* Press F1 for a list of keybindings
* Ctrl+R executes the JavaScript (only the selection if there is one)
* right click -> inspect element to bring up the Developer Tools. console.log, console.time and console.timeEnd are available
* console.profile doesn't work. You can profile your script by opening the 'Sources' tab, the 'Workers' tab on the right, clicking the blue link, and starting a profile manually.
*/
</textarea>
<iframe src="sandbox.html" id="sandbox"></iframe>
<script type="text/javascript" src="3rdparty/codemirror/codemirror.js"></script>
<script type="text/javascript" src="js/compat.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/javascript.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/active-line.js"></script>
<script type="text/javascript" src="3rdparty/jshint.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/search.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/searchcursor.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/dialog.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/matchbrackets.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/continuecomment.js"></script>
<script type="text/javascript" src="3rdparty/codemirror/match-highlighter.js"></script>
<script type="text/javascript" src="js/launch.js"></script>
<script type="text/javascript" src="js/scratchpad.js"></script>
</body>
</html>