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