Stephen Morgan ff0132df28 dev: Use realLength from doclayout instead of strWidth and textWidth. (#895) ... This gives us more accurate string length calculations. In particular, it handles emoji and other scripts properly.		2021-11-11 18:29:50 -10:00
..
UI	dev: Use realLength from doclayout instead of strWidth and textWidth. (#895)	2021-11-11 18:29:50 -10:00
UI.hs	ui, web: fix build after tests cleanup	2018-09-03 08:43:57 -07:00