Clement Tsang 3b5774117f bug: fix search scrolling with wider Unicode characters. (#938) ... This should help make search scrolling more reliable larger Unicode characters like CJK/flag characters.		2022-12-31 05:51:59 -05:00
..
error.rs	other: don't use manual map for color name mapping (#908)	2022-11-21 03:34:33 -05:00
gen_util.rs	bug: fix search scrolling with wider Unicode characters. (#938)	2022-12-31 05:51:59 -05:00
logging.rs	deps: update time to 0.3.5 (#643)	2021-12-23 17:31:41 -05:00