[web2py] Built-in editor quirk

[dederocks]

Hello,
There's been a weird bug in the built-in editor for some time now:
when you highlight a line, the highlight actually shows up two lines
above the selection. Any way to fix this?

Python 2.7, Windows 7, trunk version.

Thanks & BR, Andre