Alex Yatskov 672eb55a20 Merge pull request #164 from toasted-nutbread/document-range-fix ... Fix docRangeFromPoint sometimes not returning results		2019-06-26 14:17:52 -07:00
..
api.js	work on sandbox	2017-09-05 21:10:19 -07:00
document.js	Fix docRangeFromPoint sometimes not returning results	2019-06-22 21:42:35 -04:00
float.js	Add option to play audio automatically	2017-12-16 19:56:53 +01:00
frontend.js	Make error loging unintrusive	2019-05-04 13:02:56 -04:00
popup.js	Allow popup window to be visible in fullscreen mode	2019-06-22 23:01:49 -04:00
source.js	add option to automatically hide search results (fixes #71)	2017-09-16 23:08:43 -07:00
util.js	Handle messages with unexpected response format	2019-05-04 13:02:56 -04:00