summaryrefslogtreecommitdiffstats
path: root/html/webapp/index.html
diff options
context:
space:
mode:
authorJérémy Zurcher <jeremy@asynk.ch>2018-06-26 02:06:32 +0200
committerJérémy Zurcher <jeremy@asynk.ch>2018-06-26 02:06:32 +0200
commitccbec710375ddab05e60d893851e57f7ee743d19 (patch)
treed22eb9f39093e4a15113b4f29ff7eaf8f4562cfb /html/webapp/index.html
downloadgdx-boardgame-ccbec710375ddab05e60d893851e57f7ee743d19.zip
gdx-boardgame-ccbec710375ddab05e60d893851e57f7ee743d19.tar.gz
bare bone libgdx project
generated with https://libgdx.badlogicgames.com/nightlies/dist/gdx-setup.jar
Diffstat (limited to 'html/webapp/index.html')
-rw-r--r--html/webapp/index.html33
1 files changed, 33 insertions, 0 deletions
diff --git a/html/webapp/index.html b/html/webapp/index.html
new file mode 100644
index 0000000..cc07784
--- /dev/null
+++ b/html/webapp/index.html
@@ -0,0 +1,33 @@
+<!doctype html>
+<html>
+ <head>
+ <title>zproject</title>
+ <meta http-equiv="content-type" content="text/html; charset=UTF-8">
+ <link href="styles.css" rel="stylesheet" type="text/css">
+ <script src="soundmanager2-setup.js"></script>
+ <script src="soundmanager2-jsmin.js"></script>
+ </head>
+
+ <body>
+ <a class="superdev" href="javascript:%7B%20window.__gwt_bookmarklet_params%20%3D%20%7B'server_url'%3A'http%3A%2F%2Flocalhost%3A9876%2F'%7D%3B%20var%20s%20%3D%20document.createElement('script')%3B%20s.src%20%3D%20'http%3A%2F%2Flocalhost%3A9876%2Fdev_mode_on.js'%3B%20void(document.getElementsByTagName('head')%5B0%5D.appendChild(s))%3B%7D">&#8635;</a>
+ <div align="center" id="embed-html"></div>
+ <script type="text/javascript" src="html/html.nocache.js"></script>
+ </body>
+
+ <script>
+ function handleMouseDown(evt) {
+ evt.preventDefault();
+ evt.stopPropagation();
+ evt.target.style.cursor = 'default';
+ window.focus();
+ }
+
+ function handleMouseUp(evt) {
+ evt.preventDefault();
+ evt.stopPropagation();
+ evt.target.style.cursor = '';
+ }
+ document.getElementById('embed-html').addEventListener('mousedown', handleMouseDown, false);
+ document.getElementById('embed-html').addEventListener('mouseup', handleMouseUp, false);
+ </script>
+</html>