Merge pull request #236 from easycoder/dev

Dev

Author: easycoder

dist/easycoder-min.js

@@ -4471,6 +4471,9 @@ const EasyCoder_Browser = {
 				const pickRecord = program.getSymbolRecord(command.symbol);
 				document.pickRecord = pickRecord;
 				pickRecord.element.forEach(function (element, index) {
+					if (!element) {
+						return;
+					}
 					document.pickIndex = index;
 					element.pickIndex = index;
 					// Set up the mouse down and up listeners
@@ -8505,7 +8508,7 @@ const EasyCoder = {
 		}
 	},
 };
-EasyCoder.version = `2.7.3`;
+EasyCoder.version = `2.7.4`;
 EasyCoder.timestamp = Date.now();
 console.log(`EasyCoder loaded; waiting for page`);
 

dist/easycoder.js

@@ -18,7 +18,7 @@
 
     </pre>
 
-    <script type='text/javascript' src='https://cdn.jsdelivr.net/gh/easycoder/easycoder.github.io/dist/easycoder.js?v=2.7.3'></script>
+    <script type='text/javascript' src='https://cdn.jsdelivr.net/gh/easycoder/easycoder.github.io/dist/easycoder.js?v=2.7.4'></script>
 
   </body>
 </html>