From 8341e5c3a5575e9bfd8a4b89b17c652785f64571 Mon Sep 17 00:00:00 2001 From: Fabien Benetou Date: Fri, 25 Nov 2022 12:16:14 +0100 Subject: [PATCH] useful reserved keywords --- index.html | 3 +++ 1 file changed, 3 insertions(+) diff --git a/index.html b/index.html index 7bf8337..8161d3b 100644 --- a/index.html +++ b/index.html @@ -89,6 +89,9 @@ warning that selectedElement will get overwritten once executing a command by pi and maybe their changed position states */ +// motivated by https://git.benetou.fr/utopiah/text-code-xr-engine/issues/63 +var reserved-keywords = ["selectedElement", "lastPointSketch ", "commandhistory", "groupSelection", "targets"] +// see generated file reserved-keywords for more const prefix = /^jxr / const codeFontColor = "lightgrey"