| 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849 | 
							- <!DOCTYPE html>
 
- <html>
 
- <head>
 
-     <title>Helios IDE</title>
 
-     <meta http-equiv="content-type" content="text/html; charset=utf-8"/>
 
-     <meta name="author" content="Nicolas Petton"/>
 
-     <link type="image/x-icon" rel="shortcut icon" href="/favicon.ico"/>
 
- </head>
 
- <body id="helios">
 
- <div id="helper">Loading Helios...</div>
 
- <div id="includes">
 
-     <script type='text/javascript'>
 
-         var global = typeof global === "undefined" ? window : global || window;
 
-         var base = decodeURIComponent(window.location.hash.slice(1)).replace(/\/$/, "");
 
-         var script = document.createElement("script");
 
-         script.src = base + "/config.js";
 
-         document.getElementsByTagName("head")[0].appendChild(script);
 
-         var __interval = setInterval(function () {
 
-             if (typeof require !== "undefined") {
 
-                 clearInterval(__interval);
 
-                 require.baseUrl = base;
 
-                 require.callback = function () {
 
-                     require(["helios/polyfills"], function () {
 
-                         require(["helios/app", "amber/core/Platform-Browser"], function (amber) {
 
-                             var options;
 
-                             if (window.opener) {
 
-                                 // Slave: use master's settings
 
-                                 amber.globals.SmalltalkSettings = window.opener.require('amber/helpers').globals.SmalltalkSettings;
 
-                             } else {
 
-                                 // Standalone: set default amd namespace
 
-                                 options = {'transport.defaultAmdNamespace': "helios"};
 
-                             }
 
-                             amber.initialize(options).then(function () {
 
-                                 amber.globals.HLManager._setup();
 
-                             });
 
-                         });
 
-                     });
 
-                 };
 
-                 script = document.createElement("script");
 
-                 script.src = base + "/" + require.paths.requireJS + ".js";
 
-                 document.getElementsByTagName("head")[0].appendChild(script);
 
-             }
 
-         }, 200);
 
-     </script>
 
- </div>
 
- </body>
 
- </html>
 
 
  |