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

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

Crap.. looks like I double posted.

Also, this is 4.3pre12, JRE 1.5.0

On Mon, Feb 25, 2008 at 2:30 PM, Eric Ladner <eri...@gm...> wrote:
> 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
>



-- 
Eric Ladner