Simon Michael a485a5ebe7 imp: ui: ENTER key is equivalent to RIGHT for navigation		2022-11-07 17:03:06 -10:00
..
UI	imp: ui: ENTER key is equivalent to RIGHT for navigation	2022-11-07 17:03:06 -10:00
UI.hs	ui, web: fix build after tests cleanup	2018-09-03 08:43:57 -07:00