Re: Line numbering in Frescobaldi editor

Fri, 07 Apr 2023 05:06:57 -0700

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