Skip to content

fix/sourceDateHandler: fix text editor ruler offsetting when source dates in gutter option on#3280

Merged
sebjulliand merged 1 commit into
codefori:masterfrom
borkro:fix/ruler-alignment
Jun 13, 2026
Merged

fix/sourceDateHandler: fix text editor ruler offsetting when source dates in gutter option on#3280
sebjulliand merged 1 commit into
codefori:masterfrom
borkro:fix/ruler-alignment

fix/sourceDateHandler: change margin from using em units to ch units …

afefe03
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 4 warnings
pull-request-build / Validation
succeeded Jun 13, 2026 in 47s