[ jEdit-users ] Fwd: Array index out of bounds error..

[Eric L. <eri...@gm...>]

Doing a lot of HTML cleanup and I'm seeing a lot of this.  Can anybody
else replicate?

 Take a file with a lot of extra blank lines (1000 line file, 200 blank
 lines) and use a regular expression to remove the extra blanks.

 Search for \n\n, replace with \n

 (or use any regular expression that reduces the length of the file by
 a non-trivial amount).

 After that.. the only way to get it to refresh properly is to go to
 the top of the file, and even then, scrolling down doesn't work right
 when you get past the new end of the file.

 It's like the buffer wasn't aware that the file is now only 800 lines
 long and still tries to display the remaining 100 lines, even though
 they don't exist.

 Throws lots of these:

 2:26:58 PM [debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]
 2:26:58 PM [error] ExtensionManager: Error repainting line range {0,38}:
 2:26:58 PM [error] ExtensionManager:
 java.lang.ArrayIndexOutOfBoundsException: Array index out of range:
 133
 2:26:58 PM [error] ExtensionManager:  at
 org.gjt.sp.jedit.buffer.JEditBuffer.markTokens(JEditBuffer.java:1213)
 2:26:58 PM [error] ExtensionManager:  at
 org.gjt.sp.jedit.textarea.ChunkCache.lineToChunkList(ChunkCache.java:782)
 2:26:58 PM [error] ExtensionManager:  at
 org.gjt.sp.jedit.textarea.ChunkCache.updateChunksUpTo(ChunkCache.java:659)
 2:26:58 PM [error] ExtensionManager:  at
 org.gjt.sp.jedit.textarea.ChunkCache.getLineInfo(ChunkCache.java:256)
 2:26:58 PM [error] ExtensionManager:  at
 org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:102)
 2:26:58 PM [error] ExtensionManager:  at
 org.gjt.sp.jedit.textarea.TextAreaPainter.paint(TextAreaPainter.java:726)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paintChildren(JComponent.java:842)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paint(JComponent.java:1014)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paintChildren(JComponent.java:842)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paint(JComponent.java:1014)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paintChildren(JComponent.java:842)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paint(JComponent.java:1014)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paintChildren(JComponent.java:842)
 2:26:58 PM [error] ExtensionManager:  at
 org.gjt.sp.jedit.gui.DockableWindowManager.paintChildren(DockableWindowManager.java:745)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paint(JComponent.java:1014)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paintChildren(JComponent.java:842)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paint(JComponent.java:1014)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paintChildren(JComponent.java:842)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paint(JComponent.java:1014)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JLayeredPane.paint(JLayeredPane.java:559)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paintChildren(JComponent.java:842)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paintWithOffscreenBuffer(JComponent.java:4970)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paintDoubleBuffered(JComponent.java:4916)
 2:26:58 PM [error] ExtensionManager:  at
 javax.swing.JComponent.paint(JComponent.java:995)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.GraphicsCallback$PaintCallback.run(GraphicsCallback.java:21)
 2:26:58 PM [error] ExtensionManager:  at
 sun.awt.SunGraphicsCallback.runOneComponent(SunGraphicsCallback.java:60)
 2:26:58 PM [error] ExtensionManager:  at
 sun.awt.SunGraphicsCallback.runComponents(SunGraphicsCallback.java:97)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.Container.paint(Container.java:1709)
 2:26:58 PM [error] ExtensionManager:  at
 sun.awt.RepaintArea.paintComponent(RepaintArea.java:248)
 2:26:58 PM [error] ExtensionManager:  at
 sun.awt.RepaintArea.paint(RepaintArea.java:224)
 2:26:58 PM [error] ExtensionManager:  at
 sun.awt.windows.WComponentPeer.handleEvent(WComponentPeer.java:254)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.Component.dispatchEventImpl(Component.java:4031)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.Container.dispatchEventImpl(Container.java:2024)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.Window.dispatchEventImpl(Window.java:1774)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.Component.dispatchEvent(Component.java:3803)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.EventQueue.dispatchEvent(EventQueue.java:463)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:242)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:163)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:157)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:149)
 2:26:58 PM [error] ExtensionManager:  at
 java.awt.EventDispatchThread.run(EventDispatchThread.java:110)

 --
 Eric Ladner



-- 
Eric Ladner