Skip to content

Make line numbers readable, unselectable, and a lighter font#3973

Merged
nathan-contino merged 1 commit intomasterfrom
develop
Dec 12, 2024
Merged

Make line numbers readable, unselectable, and a lighter font#3973
nathan-contino merged 1 commit intomasterfrom
develop

Commits

Commits on Dec 12, 2024