#8516
derekcohen
Participant

Can we have a button to toggle line numbers on and off?