[jEdit-Syntax-devel] jedit syntax questions

[Brian W. Y. <by...@de...>]

Hi, first let me say I think it is great that Tom has taken over the 
syntax package.  I recently discovered it and found it fit great into 
our product along side beanshell which we've been using for years.

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.

Thanks for any input!