Definitely - 2008-07-02

Logged In: YES
user_id=1846699
Originator: NO

I think the system is actually counting beyond 9999, but you can't see the fourth zero because the line number area is limited to 4 digits. The root cause seems to be that the line number area does not properly resize itself.

It should probably be resized based on the width of the last line number in the source. Failing that, it should probably be manually resizable.

I'll look into the code, and see what can be done.