Menu

#39 Use CSS generated content for diff filler

open
nobody
2023-09-02
2023-09-02
No

Look into generated content (in particular the CSS "leader()" function) for generating diff filler: https://www.w3.org/TR/css-content-3/#leaders

In theory this would let us not insert a bunch of fixed-width spaces, we might even fill the entire table cell!

Check browser support; currently too new for a page on caniuse.com. Possibly not widely supported enough to use yet!

Discussion


Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.