3 commits

Author	SHA1	Message	Date
Alexander	c161635cca	localize custom menu titles in option search results	2019-06-12 17:37:29 +02:00
Alexander	dbb93d6c08	option search improvements ... 1. Top-level menu names are now properly handled. 2. Changing "Any or All terms" option now immediately updates the results. 3. Reformatted menu.zs to have tabs instead of spaces.	2019-03-17 20:28:38 +01:00
Alexander	73d81d3983	added option search menu	2019-03-16 18:40:13 +01:00