From 683949b75dec5781fd12dfd4353a5fbef9fd82a1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ivan=20=C5=BDu=C5=BEak?= <ivan.zuzak@github.com>
Date: Wed, 21 Oct 2015 12:06:32 +0200
Subject: [PATCH] Increase timeout for starting a profile after opening
 devtools

---
 static/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/index.js b/static/index.js
index 9bd1f7b20..927c25266 100644
--- a/static/index.js
+++ b/static/index.js
@@ -141,7 +141,7 @@
     } else {
       currentWindow.openDevTools()
       currentWindow.once('devtools-opened', function () {
-        setTimeout(profile, 100)
+        setTimeout(profile, 1000)
       })
     }
   }