Alex Yatskov 9280985306 add option to automatically hide search results (fixes #71)		2017-09-16 23:08:43 -07:00
..
api.js	work on sandbox	2017-09-05 21:10:19 -07:00
document.js	bugfix and version	2017-08-19 21:09:54 -07:00
float.js	cleanup	2017-08-14 23:22:37 -07:00
frontend.js	add option to automatically hide search results (fixes #71)	2017-09-16 23:08:43 -07:00
popup.js	frontend cleanup	2017-08-15 20:04:15 -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