HomePhabricator

Display line numbers as generated CSS content

Description

Display line numbers as generated CSS content

This makes them unselectable in more browsers as the
user-select fix isn't supported everywhere (e.g. Safari).

Bug: T32773
Change-Id: I274632a1055e1f85679fbb29c81629104cc8b222

Details

Provenance
EsandersAuthored on Dec 30 2020, 2:43 PM
Parents
rESHG6e558b37db28: Add small gap between line numbers and code
Branches
Unknown
Tags
Unknown
ChangeId
I274632a1055e1f85679fbb29c81629104cc8b222