turn on dev mode during development

pull/95/head
jmoenig 2020-02-12 13:16:07 +01:00
rodzic 17c90c2106
commit 2545a1f22f
2 zmienionych plików z 2 dodań i 1 usunięć

Wyświetl plik

@ -33,6 +33,7 @@
var world; var world;
window.onload = function () { window.onload = function () {
world = new WorldMorph(document.getElementById('world')); world = new WorldMorph(document.getElementById('world'));
world.isDevMode = true; // +++
// new IDE_Morph().openIn(world); // new IDE_Morph().openIn(world);
loop(); loop();
}; };

Wyświetl plik

@ -1795,7 +1795,7 @@ SymbolMorph.prototype.renderSymbolGlobe = function (ctx, color) {
// comment out to shave off a millisecond loading speed ;-) // comment out to shave off a millisecond loading speed ;-)
(function () { (function () {
var bright = new Color(250, 250, 250), var bright = new Color(230, 230, 230),
dark = new Color(20, 20, 20), dark = new Color(20, 20, 20),
offset = new Point(-1, -1); offset = new Point(-1, -1);