index.html 1.5 KB

12345678910111213141516171819202122232425262728293031323334
  1. <!doctype html>
  2. <html>
  3. <head>
  4. <title>DuelSimulation</title>
  5. <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  6. <link href="styles.css" rel="stylesheet" type="text/css">
  7. <script src="soundmanager2-setup.js"></script>
  8. <script src="soundmanager2-jsmin.js"></script>
  9. </head>
  10. <body>
  11. <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>
  12. <div align="center" id="embed-html"></div>
  13. <script type="text/javascript" src="html/html.nocache.js"></script>
  14. </body>
  15. <script>
  16. function handleMouseDown(evt) {
  17. evt.preventDefault();
  18. evt.stopPropagation();
  19. evt.target.style.cursor = 'default';
  20. window.focus();
  21. }
  22. function handleMouseUp(evt) {
  23. evt.preventDefault();
  24. evt.stopPropagation();
  25. evt.target.style.cursor = '';
  26. }
  27. document.getElementById('embed-html').addEventListener('mousedown', handleMouseDown, false);
  28. document.getElementById('embed-html').addEventListener('mouseup', handleMouseUp, false);
  29. </script>
  30. </html>