Simon Michael 6737bb3d38 imp: ui: mouse-clicking below the list no longer navigates back ... I and mail list think it's too obtrusive, eg sometimes it navigates when you just want to focus the window.		2022-09-08 12:23:59 -10:00
..
UI	imp: ui: mouse-clicking below the list no longer navigates back	2022-09-08 12:23:59 -10:00
UI.hs	ui, web: fix build after tests cleanup	2018-09-03 08:43:57 -07:00