6 Commits

Author	SHA1	Message	Date
Eugene Pankov	04a0a0cc64	lint	2020-03-01 16:10:45 +01:00
Eugene Pankov	0f8cff2d5b	fixes	2019-12-01 19:11:05 +01:00
Eugene Pankov	471f9effcf	better search UI	2019-12-01 18:52:22 +01:00
Chris Kaczor	35289a54b3	Change search options to not be static/global	2019-10-13 21:51:40 -04:00
Eugene Pankov	c008a3478e	@typescript-eslint linter	2019-06-14 23:47:48 +02:00
Eugene Pankov	0e8482e28d	Search (fixes #85)	2019-06-05 22:04:40 +02:00