toasted-nutbread 01f611d189 Add support for touch input		2019-02-10 20:44:16 -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 support for touch input	2019-02-10 20:44:16 -05: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