Waseem Daher 48cda57d84 Fix issue where arrowing-down near end of page would skip a message. ... We had this fascinating behavior where pressing a down arrow near the end of the page would advance the pointer, call recenter_view, which would trigger a scroll event, which would call keep_pointer_in_view, which would notice that we were at the end of the page and advance the pointer again! I split out that last part into its own function which is only called on mousewheel events. (imported from commit bc85443e762356e3055f8f88585940a1f11f9124)		2012-10-10 14:29:15 -04:00
..
check-all	Add a new tool for running JSLint	2012-10-04 11:04:25 -04:00
check-all.js	Fix issue where arrowing-down near end of page would skip a message.	2012-10-10 14:29:15 -04:00
jslint.js	Import JSLint	2012-10-04 11:04:25 -04:00