From e370d5bbd6a7d1f219ddf7b41301dbe1a1a33a3a Mon Sep 17 00:00:00 2001
From: kopareigns <kopareigns@gmail.com>
Date: Sat, 26 Jan 2019 21:46:51 -0500
Subject: [PATCH] findNaN tweak
---
src/debugging/debugJS.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/debugging/debugJS.js b/src/debugging/debugJS.js
index e58085d898d..7f1a9650c8a 100644
--- a/src/debugging/debugJS.js
+++ b/src/debugging/debugJS.js
@@ -75,7 +75,7 @@ window.findNaN = function findNan() {
var result = [];
for (var key in flatV) {
if (Number.isNaN(flatV[key])) {
- result.push('$'+key);
+ result.push('$$'+key); /* double dollar signs to escape sugarcube markup */
}
}
return result;
--
GitLab