| 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>
 |