added: hide search window on back button

2023-07-05 16:36:45 +02:00 · 2023-07-05 16:36:45 +02:00 · 6d3b743304
parent 5536821d2e
commit 6d3b743304
1 changed files with 7 additions and 0 deletions
--- a/main.js
+++ b/main.js
@ -1201,6 +1201,13 @@ function init()
 	window.onbeforeunload = checksaved;
 	window.onclick = focuseditor;

+	history.pushState({}, '', '.');
+	window.onpopstate = function(evt)
+	{
+		history.pushState({}, '', '.');
+		esc(evt);
+	}
+
 	initsnippets();

 	currenttag = "";