[ jEdit-devel ] [ jedit-Bugs-788865 ] Jedit stops redrawing on paste + save

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

Bugs item #788865, was opened at 2003-08-14 11:16
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=788865&group_id=588

Category: editor core
Group: severe bug
Status: Open
Resolution: None
Priority: 5
Submitted By: Brian Schlining (phytoplankton)
Assigned to: Nobody/Anonymous (nobody)
Summary: Jedit stops redrawing on paste + save

Initial Comment:
I'm running jEdit4.2pre4 with XML plugin on Linux with
jdk1.4.2.

When I paste text into an XML file and then save, the
entire application (tool bars, text area, everything)
stops redrawing. I get the following stack-trace:

[error] SideKick #1: Cannot find CatalogManager.properties
[error] SideKick #1: Cannot find CatalogManager.properties
[error] SideKick #1: Cannot find CatalogManager.properties
[error] AWT-EventQueue-0:
java.lang.ArrayIndexOutOfBoundsException: Array index
out of range: -1376
[error] AWT-EventQueue-0:  at
org.gjt.sp.jedit.Buffer.getLineOfOffset(Unknown Source)
[error] AWT-EventQueue-0:  at
errorlist.DefaultErrorSource$DefaultError.getLineNumber(Unknown
Source)
[error] AWT-EventQueue-0:  at
errorlist.DefaultErrorSource.findError(Unknown Source)
[error] AWT-EventQueue-0:  at
errorlist.DefaultErrorSource.getLineErrors(Unknown Source)
[error] AWT-EventQueue-0:  at
errorlist.ErrorOverview.paintComponent(Unknown Source)
[error] AWT-EventQueue-0:  at
javax.swing.JComponent.paint(JComponent.java:808)
[error] AWT-EventQueue-0:  at
javax.swing.JComponent.paintChildren(JComponent.java:647)
[error] AWT-EventQueue-0:  at
javax.swing.JComponent.paint(JComponent.java:817)
[error] AWT-EventQueue-0:  at
javax.swing.JComponent.paintChildren(JComponent.java:647)
 
<snip many many lines>

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

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