Fixed bug #9513: t3editor bad line numbering