Simon Michael c6313ebf8c ui: use / to filter; backspace/delete clears it ... I was planning to use this for search, but I can't help it, my hands want to use / to adjust the filter.		2016-06-07 09:23:36 -07:00
..
UI	ui: use / to filter; backspace/delete clears it	2016-06-07 09:23:36 -07:00
UI.hs	cli/ui/web: rename X.Options modules to X.XOptions	2015-08-28 12:43:51 -07:00