toasted-nutbread 33ec369eff Catch exceptions thrown by range.getClientRects() ... Firefox dev 65 was throwing an exception		2018-12-10 17:09:06 -05:00
..
api.js	work on sandbox	2017-09-05 21:10:19 -07:00
document.js	Catch exceptions thrown by range.getClientRects()	2018-12-10 17:09:06 -05:00
float.js	Add option to play audio automatically	2017-12-16 19:56:53 +01:00
frontend.js	Add option to play audio automatically	2017-12-16 19:56:53 +01:00
popup.js	Add option to play audio automatically	2017-12-16 19:56:53 +01: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