Skip to content

html: drop unused row identifiers - #5

Open
jvoisin wants to merge 1 commit into
ctrliq:mainfrom
jvoisin:norow
Open

jvoisin wants to merge 1 commit into
ctrliq:mainfrom
jvoisin:norow

Conversation

@jvoisin

@jvoisin jvoisin commented Oct 16, 2026

Copy link
Copy Markdown
Contributor

Every source row carried an id="row-N" attribute, but neither the viewer's navigation nor its styles refer to it. Remove the attribute and its counter, which saves about 2% of a large report's size.

Every source row carried an id="row-N" attribute, but neither the
viewer's navigation nor its styles refer to it. Remove the attribute and
its counter, which saves about 2% of a large report's size.
Copilot AI balanced review requested due to automatic review settings October 16, 2026 11:15

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Approval recommended

The changes are narrowly scoped, with no remaining consumers of the removed identifiers or unresolved issues.

0 open findings

What changed in this PR

Reduces HTML report size by removing unused source-row identifiers without changing source content or viewer navigation.

Changes:

  • Removes the row counter and id="row-N" attributes from HTML generation.
  • Updates both sample reports to match.
File Description
src/​html.c Removes row identifiers and their counter.
samples/​indentation.html Removes identifiers from sample rows.
samples/​arguments.html Removes identifiers from sample rows.

🧠 Review effort: Balanced


💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants