Oh thank you. I had the false impression it was a property of the editor preferences.

Andrew


On 7/04/2023 10:03 pm, Jun Tamura wrote:
I think that’s “Line Numbers” under “View” menu

Reply via email to