-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathindex.html
40 lines (34 loc) · 1.26 KB
/
index.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
40
<!DOCTYPE html>
<html>
<head>
<title>Typi</title>
<meta charset="UTF-8">
<link href="style.css" rel="stylesheet" media="screen">
<link rel="icon" type="image/svg+xml" href="favicon.svg" />
</head>
<body>
<div>
<div id="tp-buttons">
<button onclick="openFile(pickFile())" title="CTRL+O">Open</button>
</div>
<div id="editor-buttons">
<button onclick="execute()" title="CTRL+ENTER">Execute</button>
<button onclick="executeAll()" title="CTRL+SHIFT+ENTER">Execute all</button>
<button onclick="save()" title="CTRL+S">Save</button>
</div>
<div id="toplevel-buttons">
<button onclick="reset()" title="CTRL+ESC">Reset interpreter</button>
</div>
</div>
<div id="tp"></div>
<div id="editor"></div>
<div id="toplevel">
<pre id="output"></pre>
<pre id="prompt"></pre>
<textarea id="input" rows=1></textarea>
</div>
<div id="credit">Made by <a href="http://thomash.fr">Thomas HUET</a> — <a href="https://github.com/Thomashuet/typi">Source code</a> — <a href="about.html">More information</a></div>
<script src="editor/ace.js" type="text/javascript" charset="utf-8"></script>
<script src="main.js"></script>
</body>
</html>