fix(core): fix gutter scroll desync with textarea content

- Match gutter font-size to textarea (13.5px) so line heights align - Always sync gutter scrollTop regardless of mode - Sync gutter scroll position after undo/redo history apply
2026-07-24 11:20:47 +08:00
parent a70bfbf0cd
commit 5d9b934a2d
2 changed files with 10 additions and 4 deletions
@@ -140,7 +140,7 @@ const generateCSS = () => {
      border-right: 1px solid var(--md-border);
      color: var(--md-muted);
      font-family: var(--md-mono);
-      font-size: 12px;
+      font-size: 13.5px;
      line-height: 1.7;
      text-align: right;
      user-select: none;