# HG changeset patch
# User HIROSE Yuuji <yuuji@gentei.org>
# Date 1635495703 -32400
# Node ID 1310b29b6ab1018fa7ac7c6236fcec0d07b6b03b
# Parent  b7f9c4ce8cbd64fe6549f9407d15e9553bdfe98c
Prevent \end completion when not enclosed with \begin

diff -r b7f9c4ce8cbd -r 1310b29b6ab1 s4-main.js
--- 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;