tweaked whitespace in snap.html

replaced tabs with spaces
pull/68/head
jmoenig 2018-10-05 09:58:58 +02:00
rodzic 1ff20b30b1
commit 5add353888
1 zmienionych plików z 37 dodań i 37 usunięć

Wyświetl plik

@ -1,42 +1,42 @@
<!DOCTYPE html> <!DOCTYPE html>
<html> <html>
<head> <head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Snap! Build Your Own Blocks 4.2.2 - dev -</title> <title>Snap! Build Your Own Blocks 4.2.2 - dev -</title>
<link rel="shortcut icon" href="src/favicon.ico"> <link rel="shortcut icon" href="src/favicon.ico">
<script type="text/javascript" src="src/morphic.js?version=2018-10-02"></script> <script type="text/javascript" src="src/morphic.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/widgets.js?version=2018-10-02"></script> <script type="text/javascript" src="src/widgets.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/blocks.js?version=2018-10-02"></script> <script type="text/javascript" src="src/blocks.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/threads.js?version=2018-10-03"></script> <script type="text/javascript" src="src/threads.js?version=2018-10-03"></script>
<script type="text/javascript" src="src/objects.js?version=2018-10-05"></script> <script type="text/javascript" src="src/objects.js?version=2018-10-05"></script>
<script type="text/javascript" src="src/gui.js?version=2018-10-04"></script> <script type="text/javascript" src="src/gui.js?version=2018-10-04"></script>
<script type="text/javascript" src="src/paint.js?version=2018-10-02"></script> <script type="text/javascript" src="src/paint.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/lists.js?version=2018-10-02"></script> <script type="text/javascript" src="src/lists.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/byob.js?version=2018-10-02"></script> <script type="text/javascript" src="src/byob.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/tables.js?version=2018-10-02"></script> <script type="text/javascript" src="src/tables.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/symbols.js?version=2018-10-02"></script> <script type="text/javascript" src="src/symbols.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/sketch.js?version=2018-10-02"></script> <script type="text/javascript" src="src/sketch.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/xml.js?version=2018-10-02"></script> <script type="text/javascript" src="src/xml.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/store.js?version=2018-10-02"></script> <script type="text/javascript" src="src/store.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/locale.js?version=2018-10-02"></script> <script type="text/javascript" src="src/locale.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/cloud.js?version=2018-10-04"></script> <script type="text/javascript" src="src/cloud.js?version=2018-10-04"></script>
<script type="text/javascript" src="src/sha512.js?version=2018-10-02"></script> <script type="text/javascript" src="src/sha512.js?version=2018-10-02"></script>
<script type="text/javascript" src="src/FileSaver.min.js?version=2018-10-02"></script> <script type="text/javascript" src="src/FileSaver.min.js?version=2018-10-02"></script>
<script type="text/javascript"> <script type="text/javascript">
var world; var world;
window.onload = function () { window.onload = function () {
world = new WorldMorph(document.getElementById('world')); world = new WorldMorph(document.getElementById('world'));
world.worldCanvas.focus(); world.worldCanvas.focus();
new IDE_Morph().openIn(world); new IDE_Morph().openIn(world);
loop(); loop();
}; };
function loop() { function loop() {
requestAnimationFrame(loop); requestAnimationFrame(loop);
world.doOneCycle(); world.doOneCycle();
} }
</script> </script>
</head> </head>
<body style="margin: 0;"> <body style="margin: 0;">
<canvas id="world" tabindex="1" style="position: absolute;" /> <canvas id="world" tabindex="1" style="position: absolute;" />
</body> </body>
</html> </html>