ppx_minidebug icon indicating copy to clipboard operation
ppx_minidebug copied to clipboard

Low priority: if PrintBox gets the equivalent of `hlist` that doesn't generate tables in HTML, move anchors to path lines

Open lukstafi opened this issue 1 year ago • 0 comments

The overhead of tables on the size of generated HTML is non-trivial, assuming ~values_first_mode:true ~print_entry_ids:false is going to be the most frequent setup. It would be nicer to just output anchors with self-links on the path line -- going to the anchor would also unfold the subtree, and we wouldn't duplicate the presentation of entry ids.

lukstafi avatar Mar 08 '24 15:03 lukstafi