Simon Michael 12d3ba6fc0 ui: refactor, try to clarify toggles' help ... Consistent ordering with most-used toggles first, more intuitive wording		2018-11-04 13:54:20 -08:00
..
UI	ui: refactor, try to clarify toggles' help	2018-11-04 13:54:20 -08:00
UI.hs	ui, web: fix build after tests cleanup	2018-09-03 08:43:57 -07:00