Alex Yatskov 7a6e2925bd improved error reporting		2017-09-22 19:57:00 -07:00
..
api.js	work on sandbox	2017-09-05 21:10:19 -07:00
document.js	make sure ranges are created over text nodes only (fixes #80)	2017-09-19 23:05:17 -07:00
float.js	improved error reporting	2017-09-22 19:57:00 -07:00
frontend.js	improved error reporting	2017-09-22 19:57:00 -07:00
popup.js	more improvements to automatic search result hiding (#71)	2017-09-17 10:09:48 -07:00
source.js	add option to automatically hide search results (fixes #71)	2017-09-16 23:08:43 -07:00
util.js	frontend cleanup	2017-08-15 20:04:15 -07:00