1
0
mirror of https://github.com/node-red/node-red.git synced 2023-10-10 13:36:53 +02:00

Hide tip box on startup if disabled

This commit is contained in:
Nick O'Leary 2017-05-03 21:27:08 +01:00
parent 29bd43413a
commit b030e935ce
No known key found for this signature in database
GPG Key ID: 4F2157149161A6C9

View File

@ -84,8 +84,11 @@ RED.sidebar.info = (function() {
content: content, content: content,
enableOnEdit: true enableOnEdit: true
}); });
if (tips.enabled()) {
tips.start(); tips.start();
} else {
tips.stop();
}
} }
@ -333,7 +336,8 @@ RED.sidebar.info = (function() {
return { return {
start: startTips, start: startTips,
stop: stopTips, stop: stopTips,
next: nextTip next: nextTip,
enabled: function() { return enabled; }
} }
})(); })();