Zev Benjamin 88e09c6166 Only reload the page when the user is idle ...

Also, clean up reload-related function names a bit

(imported from commit 4c2e17c06d7567e71b92f6e1b04a44aeff419bff)

2012-10-19 15:53:05 -04:00

..

check-all

Add a new tool for running JSLint

2012-10-04 11:04:25 -04:00

check-all.js

Only reload the page when the user is idle

2012-10-19 15:53:05 -04:00

jslint.js

Import JSLint

2012-10-04 11:04:25 -04:00