Jason Lee c97cdd7b89 input: Fix line number width, when line number not enable. (#916)		2025-06-03 23:40:21 +08:00
..
story	highlighter: Improve performance for large file. (#911)	2025-06-03 23:20:33 +08:00
ui	input: Fix line number width, when line number not enable. (#916)	2025-06-03 23:40:21 +08:00