Re: [jEdit-Syntax-devel] jedit syntax questions

[Tom B. <bra...@db...>]

"Brian W. Young" wrote:
> I've already gotten a bit of user feedback... most of it good but with a
> couple of issues.  One issue is that when you select multiple lines in
> the area by dragging the mouse, and the area has a fair number of lines
> (say 100 or so), the area is extremely sensitive and scrolls up or down
> very fast while selecting.

> Second issue is that when the text area again has 100 lines or more and
> and the area is the right size, usually a smaller size, (in my case it
> is embedded in the top of a JSplitPane so the size is always variable)
> using the cursor keys to go back of position and then forward one
> position causes the text in the area to jump up and down vertically by
> about the amount of one line of text or so.
> 
> I've looked at the code docs for the electricScroll property and really
> have no idea what it does or if it can resolve either of these issues.
	
Hi Brian,

Sorry for taking so long to get back.  We just finished a release of
dbXML 1.0 beta 1, so I've been trying to stay on top of all the activity
in that area.  I think both of these issues are related to electric
scroll.  It's a feature that's great for large surface area code
editing, but when you get below 10 lines, it starts looking strange,
even though it's doing exactly what it should be.  If you set it to 0,
you should cure the problem.

Hope that helps,
Tom

-- 
Tom Bradford --- The dbXML Project --- http://www.dbxml.org/
We store your XML data a hell of a lot better than /dev/null