Ajax reload with POST data

diff --git a/adminer/static/editing.js b/adminer/static/editing.js
index fcd9d9fde7270641f5562d6af86e3ba81dd9009e..e910faa15e3891ff00b06ce2f0848f7f787c44b3 100644 (file)
--- a/adminer/static/editing.js
+++ b/adminer/static/editing.js
@@ -4,6 +4,9 @@
 * @param string first three characters of database system version
 */
 function bodyLoad(version) {
+       if (history.state) { // copied from editor/static/editing.js
+               onpopstate(history);
+       }
        var jushRoot = '../externals/jush/';
        var script = document.createElement('script');
        script.src = jushRoot + 'jush.js';

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index dae001c46d38f07d4aca95ee524b8df01a288d17..4200e62a8d74503b2a0477be8385dd6d4025426a 100644 (file)
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -354,7 +354,7 @@ function ajaxMain(url, data, event) {
 }
 
 /** Revive page from history
-* @param PopStateEvent
+* @param PopStateEvent|history
 */
 window.onpopstate = function (event) {
        ajaxSend(location.href, event.state, 1); // 1 - disable pushState

diff --git a/editor/static/editing.js b/editor/static/editing.js
index 70998ba64391eebf68018f5b00040d9ea0331daa..47fc8e72589d3ffa6674ae7641bc1264a3840b64 100644 (file)
--- a/editor/static/editing.js
+++ b/editor/static/editing.js
@@ -1,4 +1,7 @@
 // Editor specific functions
 
 function bodyLoad(version) {
+       if (history.state) {
+               onpopstate(history);
+       }
 }