GWT things

2017-04-30 03:21:22 -04:00
parent 923dac1b4e
commit 13ac9f2d8f
9 changed files with 39 additions and 20 deletions
@@ -8,7 +8,7 @@
  			  <script src="soundmanager2-jsmin.js"></script>
       </head>

-       <body onkeydown="preventUseOfDefaultKeys(event);">
+       <body onkeydown="preventUseOfDefaultKeys(event);" oncontextmenu="return false;">
              <div align="center" id="embed-html"></div>
              <script type="text/javascript" src="html/html.nocache.js"></script>
       </body>