+line:
Submitted by Thursday, 24 June, 2004 - 13:33
on
Hello, I am using jEdit 4.2pre14 and seems the +line: option does not work correctly. If I use a line number, say 2000 then the caret is positioned at line 2000 but the screen is not scrolled down to bring up the line in the visible area. You have to scroll down to see the caret/hightlighted line. Any input?
Thanks
Rass Saee
Thanks
Rass Saee