#8516

derekcohen
Participant

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