Tom Moor 37a29934ec fix: Reduce clickable area on star in document header, make entire line clickable to focus title ...

closes #2966

2022-01-22 18:25:06 -08:00

3.0 KiB

Raw Blame History

View Raw