-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
43 lines (40 loc) · 1.41 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
41
42
43
<!DOCTYPE HTML>
<html>
<head>
<link rel="stylesheet" type="text/css" href="main.css">
<title>Test</title>
<script src="./lib/json2.js"></script>
<script src="./lib/jstorage.js"></script>
<script> /* $.jStorage is now available */ </script>
<script src="./js/automata.js"></script>
<script src="./js/automata2.js"></script>
<script src="./js/faxy.js"></script>
<script src="./js/draw.js"></script>
<script src="./js/undo.js"></script>
<script src="./js/editor.js"></script>
<script src="./js/textarea.js"></script>
<script src="./js/main.js"></script>
</head>
<body>
<div id="container">
<canvas id="myCanvas" tabindex="0"></canvas>
<textarea rows = "1" style="height:1em" id="label_editor" ></textarea>
</div>
<div id="automaton-node"></div>
<div id="automaton-edge"></div>
<div id="top_panel">
<span class="caption">Automata Editor</span>
<a href="#" class="menu-link" id="btn_undo">Undo</a>
<a href="#" class="menu-link" id="btn_redo">Redo</a>
<div>
<!-- https://developers.google.com/drive/savetodrive#javascript_api -->
<!--
<script src="https://apis.google.com/js/plusone.js"></script>
<div class="g-savetodrive"
data-src="./CoffeeScript.ico"
data-filename="CoffeeScript.ico"
data-sitename="My Company Name">
</div
-->
</body>
<html>