Handle clipping of characters in CHTML better and avoid vertical scroll bars for overflow="scroll"#1171

Open

dpvc wants to merge 2 commits intowoff2from char-clipping

+41-44

Commits on Nov 23, 2024

Handle clipping of characters in CHTML better so that selections look better, and explorer outline avoids extra depth, particularly in in-line mode. Avoid vertical scroll bar for wide expressions w…
dpvc
committed

Commits on Nov 24, 2024

Fixes requested by prettier
dpvc
committed