js/loader.js: preserve scrolling position...

...on autorefresh and reset it otherwise.

fixes #6285
fixes #6988
This commit is contained in:
Thomas Gelf 2014-09-02 20:11:37 +02:00
parent 3d352ba446
commit ef847801f2
1 changed files with 5 additions and 1 deletions

View File

@ -665,7 +665,11 @@
var self = this;
var containerId = $container.attr('id');
if (typeof containerId !== 'undefined') {
scrollPos = $container.scrollTop();
if (autorefresh) {
scrollPos = $container.scrollTop();
} else {
scrollPos = 0;
}
}
var origFocus = document.activeElement;