-
Notifications
You must be signed in to change notification settings - Fork 2
/
dev.html
60 lines (44 loc) · 2.62 KB
/
dev.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
<!DOCTYPE HTML>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<title>naubino.js</title>
<link rel="stylesheet" href="css/bootstrap.min.css">
<link rel="stylesheet" href="css/naubino.css" type="text/css" />
<link rel="stylesheet" href="css/github-badge.css" type="text/css" />
<script type="text/javascript" src="node_modules/signals/dist/signals.js"></script>
<script type="text/javascript" src="node_modules/javascript-state-machine/state-machine.js"></script>
<script type="text/javascript" src="node_modules/chipmunk/cp.js"></script>
<script type="text/javascript" src="node_modules/zepto/dist/zepto.js"></script>
</head>
<body>
<form class="form-inline">
<input type="button" class="btn btn-mini" onclick="window.Naubino.play();Naubino.list_states()" value="play"/>
<input type="button" class="btn btn-mini" onclick="window.Naubino.pause();Naubino.list_states()" value="pause"/>
<input type="button" class="btn btn-mini" onclick="window.Naubino.stop(true);Naubino.list_states()" value="stop"/>
<!--
<input type="button" class="btn btn-mini" onclick="window.Naubino.game.gravity = !window.Naubino.game.gravity " value="gravity on/off"/>
<input type="button" class="btn btn-mini" onclick="window.Naubino.game.graph.join_list()" value="joins"/>
<input type="button" class="btn btn-mini" onclick="window.Naubino.game.graph.dotty()" value="dotty"/> -->
<input type="checkbox" id="prerenderingCheck" class="btn btn-mini" onchange="Util.togglePrerendering()"/>
<label for="prerenderingCheck" class="checkbox">prerendering</label>
<input type="checkbox" id="maximizeCheck" class="btn btn-mini" onchange="Util.toggleMaximized()" />
<label for="maximizeCheck" class="checkbox">maximize</label>
<input type="checkbox" id="fullScreenCheck" class="checkbox" onchange="Util.toggleFullscreen()"/>
<label for="fullScreenCheck" class="checkbox">fullscreen</label>
<input type="checkbox" id="effectsCheck" class="checkbox" onchange="Util.toggleEffects()"/>
<label for="effectsCheck" class="checkbox">effects</label>
<select id="colors" class="btn btn-mini" > </select>
<!-- <a href="http://www1.inf.tu-dresden.de/~s8880935/naubino/">there be a reference</a> -->
<a class="btn btn-mini" id="highscorelink" href="highscore.html">HighScore</a>
</form>
<div id="gamediv">
</div>
<script>
document.ontouchmove = function(event) {
event.preventDefault();
}
</script>
<script type="text/javascript" src="dist/index.js/"></script>
</body>
</html>