From 4621a0aa0b87a16f5139af4ec4ad73ec5f73c9bf Mon Sep 17 00:00:00 2001 From: quenousimporte Date: Tue, 18 Jul 2023 10:36:26 +0200 Subject: [PATCH] fixed: removed back handler --- main.js | 16 +--------------- 1 file changed, 1 insertion(+), 15 deletions(-) diff --git a/main.js b/main.js index 15ce054..546cf92 100644 --- a/main.js +++ b/main.js @@ -1176,7 +1176,7 @@ function initshortcuts() if (!commands.find(c => c.hint == hint)) { var shortcut = n.content.match(/shortcut: (.*)/)[1]; - commands.unshift({ + commands.push({ hint: hint, shortcut: shortcut, action: function() @@ -1201,20 +1201,6 @@ function init() window.onbeforeunload = checksaved; window.onclick = focuseditor; - addfakehistory(); - window.onpopstate = function(evt) - { - addfakehistory(); - if (!searchdialog.hidden) - { - esc(evt); - } - else - { - loadprevious(); - } - } - initsnippets(); currenttag = "";