From 2545a1f22f8ad4fe3be3bab4cfba30eeac204fe4 Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Wed, 12 Feb 2020 13:16:07 +0100
Subject: [PATCH] turn on dev mode during development

---
 snap.html      | 1 +
 src/symbols.js | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/snap.html b/snap.html
index f30d3e06..220c7441 100755
--- a/snap.html
+++ b/snap.html
@@ -33,6 +33,7 @@
             var world;
             window.onload = function () {
                 world = new WorldMorph(document.getElementById('world'));
+                world.isDevMode = true; // +++
                 // new IDE_Morph().openIn(world);
                 loop();
 			};
diff --git a/src/symbols.js b/src/symbols.js
index 41de25ce..95dde2bf 100644
--- a/src/symbols.js
+++ b/src/symbols.js
@@ -1795,7 +1795,7 @@ SymbolMorph.prototype.renderSymbolGlobe = function (ctx, color) {
 // comment out to shave off a millisecond loading speed ;-)
 
 (function () {
-    var bright = new Color(250, 250, 250),
+    var bright = new Color(230, 230, 230),
         dark = new Color(20, 20, 20),
         offset = new Point(-1, -1);