From b030e935ce83b6e2ef48a28b824894f5f10a23df Mon Sep 17 00:00:00 2001
From: Nick O'Leary <nick.oleary@gmail.com>
Date: Wed, 3 May 2017 21:27:08 +0100
Subject: [PATCH] Hide tip box on startup if disabled

---
 editor/js/ui/tab-info.js | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/editor/js/ui/tab-info.js b/editor/js/ui/tab-info.js
index 1210b8449..d95cdca92 100644
--- a/editor/js/ui/tab-info.js
+++ b/editor/js/ui/tab-info.js
@@ -84,8 +84,11 @@ RED.sidebar.info = (function() {
             content: content,
             enableOnEdit: true
         });
-
-        tips.start();
+        if (tips.enabled()) {
+            tips.start();
+        } else {
+            tips.stop();
+        }
 
     }
 
@@ -333,7 +336,8 @@ RED.sidebar.info = (function() {
         return {
             start: startTips,
             stop: stopTips,
-            next: nextTip
+            next: nextTip,
+            enabled: function() { return enabled; }
         }
     })();