jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix css and move scripts to the bottom to improve

Browse source 
load time and to avoid having to wait for 
document.onload
This commit is contained in:
Fabian Jakobs 2010-12-15 14:12:04 +01:00
commit 65407f8ef8
1 changed files with 25 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

49
editor.html
View file

@ -18,10 +18,9 @@
overflow: hidden; overflow: hidden;
margin: 0; margin: 0;
padding: 0; padding: 0;
font: sans-serif;
height: 100%; height: 100%;
width: 100%; width: 100%;
font-family: Arial, Helvetica, sans-serif, Tahoma, Verdana; font-family: Arial, Helvetica, sans-serif, Tahoma, Verdana, sans-serif;
font-size: 12px; font-size: 12px;
background: rgb(14, 98, 165); background: rgb(14, 98, 165);
color: white; color: white;
@ -53,28 +52,6 @@
bottom: 0; bottom: 0;
} }
</style> </style>
<script>
require = {
//urlArgs: "bust=" + (new Date()).getTime()
};
</script>
<script src="demo/require.js" type="text/javascript" charset="utf-8"></script>
<script src="demo/boot.js" type="text/javascript"></script>
<script>
setupPlugins({
pluginDirs: {
"../demo": {
singleFiles: ["demo_startup"]
}
}
}, function(plugin_manager, settings) {
var data = { env: { settings: settings } };
plugin_manager.catalog.startupPlugins(data, plugin_manager.REASONS.APP_STARTUP).then(function() {
var demo_startup = require("demo_startup");
demo_startup.launch(data.env);
});
});
</script>
</head> </head>
<body> <body>
<div id="jump"></div> <div id="jump"></div>
@ -179,5 +156,29 @@ for i in sys.argv[1:]:
<input id="cockpit" type="text"/> <input id="cockpit" type="text"/>
<script>
require = {
//urlArgs: "bust=" + (new Date()).getTime()
};
</script>
<script src="demo/require.js" type="text/javascript" charset="utf-8"></script>
<script src="demo/boot.js" type="text/javascript"></script>
<script>
setupPlugins({
pluginDirs: {
"../demo": {
singleFiles: ["demo_startup"]
}
}
}, function(plugin_manager, settings) {
var data = { env: { settings: settings } };
plugin_manager.catalog.startupPlugins(data, plugin_manager.REASONS.APP_STARTUP).then(function() {
var demo_startup = require("demo_startup");
demo_startup.launch(data.env);
});
});
</script>
</body> </body>
</html> </html>