Jason Lee 7934e8af31 story: Fix double border in ResizableStory.		2025-06-04 18:11:00 +08:00
..
story	story: Fix double border in ResizableStory.	2025-06-04 18:11:00 +08:00
ui	input: Fix line number width, when line number not enable. (#916)	2025-06-03 23:40:21 +08:00