3 Commits

Author	SHA1	Message	Date
Daniel Gultsch	27f31446c0	search term parsing + highlighting	2018-04-30 17:09:55 +02:00
Daniel Gultsch	e6feb91390	properly cancel pending searchs and scroll to bottom after refresh	2018-04-26 17:02:31 +02:00
Daniel Gultsch	35020702fb	very much unoptimized search functionality	2018-04-26 13:22:31 +02:00