From 6d5637e69abd094f21159a1a239da0a9a62ea4a2 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Wed, 29 Jul 2015 20:45:54 +0300
Subject: [PATCH] Editor: faster page load

---
 edit.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/edit.js b/edit.js
index d3c76588..553d3b29 100644
--- a/edit.js
+++ b/edit.js
@@ -952,8 +952,8 @@ function initWithStyle(style) {
 	});
 	var queue = style.sections.length ? style.sections : [{code: ""}];
 	var queueStart = new Date().getTime();
-	// after 200ms the sections will be added asynchronously
-	while (new Date().getTime() - queueStart <= 200 && queue.length) {
+	// after 100ms the sections will be added asynchronously
+	while (new Date().getTime() - queueStart <= 100 && queue.length) {
 		maximizeCodeHeight(addSection(null, queue.shift()), !queue.length);
 	}
 	if (queue.length) {