Show tooltip warnings when extra info is off #496

2021-01-25 23:24:25 +01:00
parent 867249e8cb
commit d5c5a5f62e
3 changed files with 10 additions and 4 deletions
--- a/src/Disp.js
+++ b/src/Disp.js
@@ -1428,6 +1428,9 @@ CM.Disp.TooltipCreateWarningSection = function() {
 CM.Disp.UpdateTooltip = function() {
 	CM.Sim.CopyData();
 	if (l('tooltipAnchor').style.display != 'none' && l('CMTooltipArea')) {
+		if (CM.Options.TooltipInfo == 0) {
+			l('CMTooltipArea').style.display = "none";
+		}
 		l('CMTooltipArea').innerHTML = '';
 		tooltipBox = CM.Disp.TooltipCreateTooltipBox();
 		l('CMTooltipArea').appendChild(tooltipBox);