Simon Michael cf6f4ed28c ui: escape key resets to flat mode ... Flat mode is the default at startup. Probably it should reset to tree mode if --tree was used at startup.		2018-10-18 14:43:00 -07:00
..
UI	ui: escape key resets to flat mode	2018-10-18 14:43:00 -07:00
UI.hs	ui, web: fix build after tests cleanup	2018-09-03 08:43:57 -07:00