Fix #194 r2: line-number gutter alignment in both wrap modes #198

Merged
fen merged 1 commits from fix-194-r2 into dev 2026-09-10 17:11:08 +00:00
2 changed files with 11 additions and 2 deletions
+3
View File
@@ -301,6 +301,9 @@ html[data-wrap] .float { overflow-x: hidden; }
.codeline { display: block; } .codeline { display: block; }
/* #167 rev: gutter number spans must stack one per visual row (wrap on) */ /* #167 rev: gutter number spans must stack one per visual row (wrap on) */
.code .gutter .gutline { display: block; } .code .gutter .gutline { display: block; }
/* #194: codeline blocks are adjacent (no '\n' text between them), so an
empty block (blank source line) needs its own line box to stay one row */
.codeline:empty::before { content: "\200B"; }
/* syntax highlight tokens (#1) */ /* syntax highlight tokens (#1) */
.tok-kw { color: #c792ea; } .tok-kw { color: #c792ea; }
.tok-str { color: #a5e075; } .tok-str { color: #a5e075; }
+8 -2
View File
@@ -13,7 +13,13 @@
}; };
// Wrap each logical line (split on newline; spans never contain newlines // Wrap each logical line (split on newline; spans never contain newlines
// because HighlightCode highlights per line) in a .codeline block. // because HighlightCode highlights per line) in a .codeline block. The
// blocks must be adjacent with NO newline text between them (#194):
// .codeline is display:block, and under pre-wrap each interleaved '\n'
// text node renders as an extra phantom row in the code column that
// renumber() does not count, drifting the gutter off alignment on
// wrapped lines. Blank lines become empty blocks; .codeline:empty keeps
// them one row tall (see app.css).
function splitLines() { function splitLines() {
var html = body.innerHTML; var html = body.innerHTML;
var parts = html.split('\n'); var parts = html.split('\n');
@@ -21,7 +27,7 @@
for (var i = 0; i < parts.length; i++) { for (var i = 0; i < parts.length; i++) {
out.push('<span class="codeline">' + parts[i] + '</span>'); out.push('<span class="codeline">' + parts[i] + '</span>');
} }
body.innerHTML = out.join('\n'); body.innerHTML = out.join('');
} }
function renumber() { function renumber() {