Re: [ jEdit-devel ] LineGuides Plugin

[mike d. <md...@je...>]

begin Jamie LaScolea quotation:
> there's a "bug" in LineGuides where the line is only drawn to the end
> of the actual text in a buffer. so if i have a java file that folds at
> level 2 and the code only extends half way down the textarea, the line
> is also only drawn halfway down the textarea. some may like it this
> way, but i find it looks weird. in order to change this behavior (mike
> dillon is the author i believe), change lines 55/56 in
> GuideHighlighter.java:
> 
> int vEnd = (line != textArea.getLineCount() - 1)
>     ? vOffset + fm.getHeight() : textArea.getHeight();
> 
> to:
> int vEnd = textArea.getHeight();

i don't like this fix, but this is a bug. LineGuides needs to be updated
for the physical/virtual line API necessitated by the introduction of
folding. would you mind filing this bug in the SourceForge tracker?

-md