Merge branch 'dev' into monaco2

This commit is contained in:
Steve-Mcl
2021-05-01 21:56:45 +01:00
5 changed files with 8 additions and 7 deletions

View File

@@ -499,7 +499,7 @@ RED.sidebar.info = (function() {
if (tipCount === -1) {
do {
tipCount++;
} while(RED._("infotips:info.tip"+tipCount)!=="infotips:info.tip"+tipCount);
} while(RED._("infotips:info.tip"+tipCount)!=="info.tip"+tipCount);
}
startTimeout = setTimeout(setTip,startDelay);
}