[ jEdit-devel ] [ jedit-Bugs-450059 ] Strange syntax highlighting behavior

[<no...@so...>]

Bugs item #450059, was opened at 2001-08-11 08:50
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=450059&group_id=588

Category: text area and syntax packages
Group: minor bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Brent R. Matzelle (bmatzelle)
Assigned to: Nobody/Anonymous (nobody)
Summary: Strange syntax highlighting behavior

Initial Comment:
For some reason the syntax highlighting will turn off periodically.  I can get it back by scrolling to the top of the screen, then it reloads again.  Is there some way where I could have it reload like this automatically (I have seen such a feature on other editors), or just have it fixed.  

I have found this same behavior on both Windows 2000 and Linux running the Sun JDK 1.3_02.  

Thanks for your excellent work.

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=450059&group_id=588