wxiaoguang 2b064b8637 Refactor legacy line-number and scroll code (#33094) ...

1. remove jquery
2. rewrite the "line number selection", fix various edge cases
3. fix the scroll

2025-01-04 10:56:07 +08:00

30 KiB

Raw Blame History

View Raw