guidocella 15b93060c7 Add option to play audio automatically		2017-12-16 19:56:53 +01:00
..
api.js	work on sandbox	2017-09-05 21:10:19 -07:00
document.js	Place nodeType checks inside caretRangeFromPoint function	2017-10-13 15:12:41 -04: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