Commit graph

2 commits

Author SHA1 Message Date
Alexander Kromm
dd40d4f6f6 make enter key toggle Option Search mode too 2020-01-17 13:02:12 +01:00
Alexander
73a0275cf6 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-05-14 19:01:25 +02:00