Menu
▾
▴
Re: [ jEdit-users ] Array index out of bounds error..
|
From: Sarah C. <cra...@gm...> - 2008-02-27 17:17:26
|
Eric, are you using the Sidekick and XML plugins? I get odd behavior and
errors when editing some HTML files if those are enabled.
On Tue, Feb 26, 2008 at 12:23 AM, Alan Ezust <ala...@gm...> wrote:
> Sounds like a bug to me, and should be reported. Please include easy
> steps to reproduce.
> I guess the line count isn't updated after a search/replace.
>
> However, if you find yourself in that state and want to reset your
> textarea so that it knows the proper buffer line count, you can
> execute a macro that does this:
>
> view.splitVertically();
> view.unsplitCurrent();
>
>
> and your textarea won't be confused anymore.
>
>
> On Mon, Feb 25, 2008 at 12:34 PM, Eric Ladner <eri...@gm...>
> wrote:
> > 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
> >
> >
> -------------------------------------------------------------------------
> > This SF.net email is sponsored by: Microsoft
> > Defy all challenges. Microsoft(R) Visual Studio 2008.
> > http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> > --
> > -----------------------------------------------
> > jEdit Users' List
> > jEd...@li...
> > https://lists.sourceforge.net/lists/listinfo/jedit-users
> >
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by: Microsoft
> Defy all challenges. Microsoft(R) Visual Studio 2008.
> http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>
|
