-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
70 lines (56 loc) · 2.1 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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<script type="module" src="src/main.js"></script>
<script type="module" src="src/renderer.js"></script>
<script type="module" src="src/cutBorder.js"></script>
<script type="module" src="src/cut.js"></script>
<script type="module" src="src/userInput.js"></script>
<script type="module" src="src/symbol.js"></script>
<script type="module" src="src/minirenderer.js"></script>
<script type="module" src="src/canvasManager.js"></script>
<script type="module" src="src/lib/math.js"></script>
<script type="module" src="src/lib/point.js"></script>
<script type="module" src="src/lib/vector.js"></script>
<script type="module" src="src/logic/rules.js"></script>
<link rel="stylesheet" type="text/css" href="index.css">
<title>VisualLogic-Web</title>
</head>
<p id="debug" data-debug-mode="false" style="position: absolute;z-index: 999;top:50px;"></p>
<body>
<canvas id="canvas" width="100%"></canvas>
<button id = "toggle_mode" class = "btn btn-transform">Transform Mode</button>
<div id="proof-panel">
<p>Rules of inference</p>
<button id="insert-btn" class="btn">Insertion</button>
<br><br>
<button id="erasure-btn" class="btn">Erasure</button>
<hr>
<p>Rules of equivalence</p>
<button disabled="true" id="dbl-cut-btn" class="btn">Double Cut</button>
<br><br>
<button id="iteration-btn" class="btn">Iteration</button>
<br><br>
<button id="deiteration-btn" class="btn">Deiteration</button>
</div>
<button id = "options-btn" class="btn">Options</button>
<div id="modal-background" style="display: flex;">
<div id="modal-panel">
Options Menu
<button id="close-btn" class="exit-btn" title="Close Button">X</button>
<br>
<hr>
<button id = "clear-btn" class="btn" title="Erase all canvas state data, and save data">Clear Canvas</button>
</div>
</div>
</body>
<div id="mini-renderer" style="display: none;">
<canvas id="mini-canvas"></canvas>
<button class="btn" id="exit-mini">Exit</button>
<button class="btn" id="insert-graph">Insert</button>
</div>
<div id="msg-buff">
<!-- <div class="msg"> </div> -->
</div>
</html>