2013-05-07 17:15:20 +02:00
|
|
|
var viewport = (function () {
|
|
|
|
var exports = {};
|
|
|
|
|
|
|
|
var jwindow;
|
|
|
|
var height;
|
|
|
|
var width;
|
2013-05-24 19:53:25 +02:00
|
|
|
var in_stoppable_autoscroll = false;
|
2013-05-07 17:15:20 +02:00
|
|
|
|
|
|
|
exports.scrollTop = function viewport_scrollTop () {
|
|
|
|
return jwindow.scrollTop.apply(jwindow, arguments);
|
|
|
|
};
|
|
|
|
|
|
|
|
exports.height = function viewport_height() {
|
|
|
|
if (arguments.length !== 0) {
|
|
|
|
height = undefined;
|
|
|
|
return jwindow.height.apply(jwindow, arguments);
|
|
|
|
}
|
|
|
|
if (height === undefined) {
|
|
|
|
height = $(window).height();
|
|
|
|
}
|
|
|
|
return height;
|
|
|
|
};
|
|
|
|
|
|
|
|
exports.width = function viewport_width() {
|
|
|
|
if (arguments.length !== 0) {
|
|
|
|
width = undefined;
|
|
|
|
return jwindow.width.apply(jwindow, arguments);
|
|
|
|
}
|
|
|
|
if (width === undefined) {
|
|
|
|
width = jwindow.width();
|
|
|
|
}
|
|
|
|
return width;
|
|
|
|
};
|
|
|
|
|
2013-05-24 19:53:25 +02:00
|
|
|
|
|
|
|
exports.stop_auto_scrolling = function() {
|
|
|
|
if (in_stoppable_autoscroll) {
|
|
|
|
$("html, body").stop();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
exports.system_initiated_animate_scroll = function (scroll_amount) {
|
|
|
|
suppress_scroll_pointer_update = true; // Gets set to false in the scroll handler.
|
|
|
|
var viewport_offset = exports.scrollTop();
|
|
|
|
in_stoppable_autoscroll = true;
|
|
|
|
$("html, body").animate({
|
|
|
|
scrollTop: viewport_offset + scroll_amount,
|
|
|
|
always: function () {
|
|
|
|
in_stoppable_autoscroll = false;
|
|
|
|
}
|
|
|
|
});
|
|
|
|
};
|
|
|
|
|
|
|
|
exports.user_initiated_animate_scroll = function (scroll_amount) {
|
|
|
|
disable_pointer_movement = true;
|
|
|
|
in_stoppable_autoscroll = false; // defensive
|
|
|
|
|
|
|
|
// We use $('html, body') because you can't animate window.scrollTop
|
|
|
|
// on Chrome (http://bugs.jquery.com/ticket/10419).
|
|
|
|
$('html, body').animate({
|
|
|
|
scrollTop: viewport.scrollTop() + scroll_amount
|
|
|
|
}, {
|
|
|
|
complete: function () {
|
|
|
|
// The complete callback is actually called before the
|
|
|
|
// scrolling has completed, so we try to let scrolling
|
|
|
|
// finish before allowing pointer movements again or the
|
|
|
|
// pointer may still move.
|
|
|
|
setTimeout(function () {
|
|
|
|
disable_pointer_movement = false;
|
|
|
|
}, 50);
|
|
|
|
}
|
|
|
|
});
|
|
|
|
};
|
|
|
|
|
2013-05-07 17:15:20 +02:00
|
|
|
$(function () {
|
|
|
|
jwindow = $(window);
|
|
|
|
// This handler must be placed before all resize handlers in our application
|
|
|
|
jwindow.resize(function () {
|
|
|
|
height = undefined;
|
|
|
|
width = undefined;
|
|
|
|
});
|
|
|
|
});
|
|
|
|
|
|
|
|
return exports;
|
|
|
|
}());
|