Scroll to top with AJAX

diff --git a/adminer/static/functions.js b/adminer/static/functions.js
index 6b20db8644d18c232d538e1f3c52ae755bd35922..aec7edfade3f9161a41777644929addea1e873d3 100644 (file)
--- a/adminer/static/functions.js
+++ b/adminer/static/functions.js
@@ -268,11 +268,13 @@ function ajaxSend(url, data) {
        var currentState = ++ajaxState;
        clearTimeout(ajaxTimeout);
        ajaxTimeout = setTimeout(function () {
+               scrollTo(0, 0);
                setHtml('content', '<img src="../adminer/static/loader.gif" alt="">');
        }, 500); // defer displaying loader
        return ajax(url, function (text) {
                if (currentState == ajaxState) {
                        clearTimeout(ajaxTimeout);
+                       scrollTo(0, 0);
                        setHtml('content', text);
                        var content = document.getElementById('content');
                        var scripts = content.getElementsByTagName('script');