From 6d3b743304db98e758c95de5cc6481a9fad38911 Mon Sep 17 00:00:00 2001
From: quenousimporte <quenousimporte@riseup.net>
Date: Wed, 5 Jul 2023 16:36:45 +0200
Subject: [PATCH] added: hide search window on back button

---
 main.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/main.js b/main.js
index b7f926b..21d9e32 100644
--- 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 = "";