[ jEdit-devel ] Select Line Range

[Oliver R. <fru...@ru...>]

Hey Slava,

I was using 'Select Line Range' yesterday, and I was wishing I could select
line ranges relative to a start or end line, such as:

Start Line: 231
End Line: +59

or

Start Line: 123
End Line: -42

Don't know whether others would like this feature, or not - but below is a
diff against SelectLineRange.java with this added.

-Ollie
ol...@ru...


77a78
>   String endOfRange;
80a82
>    endOfRange = endField.getText();
81a84,92
>
>    if(endOfRange.charAt(0) == '+')
>     endLine = startLine + Integer.parseInt(endOfRange.substring(1));
>    else if(endOfRange.charAt(0) == '-')
>    {
>     endLine = startLine;
>     startLine -= Integer.parseInt(endOfRange.substring(1));
>    }
>    else