Fix lint issues with recent pointer bug fix.

(imported from commit d2a9725e8449609fdd29d2c727730934eb4de763)
This commit is contained in:
Tim Abbott 2013-11-27 10:52:21 -05:00
parent 56fb3dd877
commit 53059bb10c
1 changed files with 3 additions and 7 deletions

View File

@ -170,15 +170,11 @@ exports.visible_messages = function (require_fully_visible) {
return visible_messages;
};
exports.scrollTop = function viewport_scrollTop () {
exports.scrollTop = function viewport_scrollTop (target_scrollTop) {
var orig_scrollTop = jwindow.scrollTop();
if (arguments.length === 0) {
if (target_scrollTop === undefined) {
return orig_scrollTop;
}
if (arguments.length > 1) {
blueslip.error("viewport.scrollTop called with invalid arguments list!");
}
var target_scrollTop = arguments[0];
var ret = jwindow.scrollTop(target_scrollTop);
var new_scrollTop = jwindow.scrollTop();
var space_to_scroll = $("#bottom_whitespace").offset().top - viewport.height();
@ -201,7 +197,7 @@ exports.scrollTop = function viewport_scrollTop () {
"! space_to_scroll was " + space_to_scroll);
}
}
return ret
return ret;
};
function make_dimen_wrapper(dimen_name, dimen_func) {