changeset 948:1310b29b6ab1 draft

Prevent \end completion when not enclosed with \begin
author HIROSE Yuuji <yuuji@gentei.org>
date Fri, 29 Oct 2021 17:21:43 +0900
parents b7f9c4ce8cbd
children d8a258cc8a7d
files s4-main.js
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/s4-main.js	Wed Oct 27 23:45:01 2021 +0900
+++ b/s4-main.js	Fri Oct 29 17:21:43 2021 +0900
@@ -669,9 +669,9 @@
 	    // e.preventDefault();
 	}
 	let inbegend = isInBeginEnd(area, pos);
+	if (!inbegend) return;
 	let nextendpos = text.substr(pos).indexOf("\\end{");
 	let nextcurend = text.substr(pos).indexOf("\\end{"+inbegend+"}");
-	console.log("ib="+inbegend+", nepos="+nextendpos+", ncur="+nextcurend);
 	if (nextcurend<0  || nextendpos!=nextcurend) {
 	    area.setRangeText("}\n\n\\end{"+inbegend+"}", pos, pos);
 	    area.selectionStart = pos+2;

yatex.org