Fix simple tooltips #687

2021-03-16 23:10:33 +01:00
parent f6b2e70f9b
commit af508ceee5
6 changed files with 15 additions and 6 deletions
--- a/src/Disp/VariablesAndData.js
+++ b/src/Disp/VariablesAndData.js
@@ -80,6 +80,7 @@ export const TooltipText = [
    '250px',
  ],
 ];
+export const SimpleTooltipElements = {};

 /**
 * These are variables used by the functions that create tooltips for wrinklers