index.html 2.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. <!--[if IE]>
  2. <meta http-equiv="X-UA-Compatible" content="IE=5,IE=9"><![endif]-->
  3. <!DOCTYPE html>
  4. <html>
  5. <head>
  6. <title>Grapheditor</title>
  7. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  8. <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
  9. <link rel="stylesheet" type="text/css" href="styles/grapheditor.css">
  10. <link rel="stylesheet" type="text/css" href="fix.css">
  11. <script type="text/javascript">
  12. // Parses URL parameters. Supported parameters are:
  13. // - lang=xy: Specifies the language of the user interface.
  14. // - touch=1: Enables a touch-style user interface.
  15. // - storage=local: Enables HTML5 local storage.
  16. // - chrome=0: Chromeless mode.
  17. var urlParams = (function (url) {
  18. var result = new Object();
  19. var idx = url.lastIndexOf('?');
  20. if (idx > 0) {
  21. var params = url.substring(idx + 1).split('&');
  22. for (var i = 0; i < params.length; i++) {
  23. idx = params[i].indexOf('=');
  24. if (idx > 0) {
  25. result[params[i].substring(0, idx)] = params[i].substring(idx + 1);
  26. }
  27. }
  28. }
  29. return result;
  30. })(window.location.href);
  31. // Default resources are included in grapheditor resources
  32. mxLoadResources = false;
  33. </script>
  34. <script type="text/javascript" src="js/Init.js"></script>
  35. <script type="text/javascript" src="deflate/pako.min.js"></script>
  36. <script type="text/javascript" src="deflate/base64.js"></script>
  37. <script type="text/javascript" src="jscolor/jscolor.js"></script>
  38. <script type="text/javascript" src="sanitizer/sanitizer.min.js"></script>
  39. <script type="text/javascript" src="../mxgraph/js/mxClient.js"></script>
  40. <script type="text/javascript" src="js/EditorUi.js"></script>
  41. <script type="text/javascript" src="js/Editor.js"></script>
  42. <script type="text/javascript" src="js/Sidebar.js"></script>
  43. <script type="text/javascript" src="js/Graph.js"></script>
  44. <script type="text/javascript" src="js/Format.js"></script>
  45. <script type="text/javascript" src="js/Shapes.js"></script>
  46. <script type="text/javascript" src="js/Actions.js"></script>
  47. <script type="text/javascript" src="js/Menus.js"></script>
  48. <script type="text/javascript" src="js/Toolbar.js"></script>
  49. <script type="text/javascript" src="js/Dialogs.js"></script>
  50. <script type="text/javascript" src="fix.js"></script>
  51. </head>
  52. <body class="geEditor">
  53. </body>
  54. </html>