From d80ee264c7cd62856ea19b5a8e3f55bb1422c963 Mon Sep 17 00:00:00 2001
From: Michael Aschauer <m@ash.to>
Date: Thu, 4 Oct 2018 09:34:34 +0200
Subject: [PATCH] Disable default disabling of retina support

---
 index.html | 1 -
 1 file changed, 1 deletion(-)

diff --git a/index.html b/index.html
index fc71bfc7..f1b4f046 100644
--- a/index.html
+++ b/index.html
@@ -41,7 +41,6 @@
 		<script type="text/javascript">
 			var world;
 			window.onload = function () {
-				disableRetinaSupport();
 				world = new WorldMorph(document.getElementById('world'));
                 world.worldCanvas.focus();
 				new IDE_Morph().openIn(world);