|
From: Dale A. <da...@gr...> - 2008-02-28 23:38:37
|
I agree, that's why I didn't post a patch in the first place. It looks
like there's an off-by-one error in there somewhere that I didn't get to
the bottom of. That would be the real fix.
Dale
Matthieu Casanova wrote:
> Hi, I don't think it is a good solution to catch exceptions like this
> one, this is only a workaround, the best thing to do is to really fix
> the bug, but for that we need a way to reproduce it
>
> Matthieu
>
> On Thu, Feb 28, 2008 at 11:45 PM, Dale Anson <da...@gr...> wrote:
>
>> This is part of bug 1633393, I posted a fix for this one on Feb 16. I
>> didn't post a regular patch, just some code in the comments. I'll go
>> ahead and post a patch in case someone wants to apply it.
>>
>> Dale
>>
>>
>>
>>
>> Alan Ezust 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/
>> >
>>
>> -------------------------------------------------------------------------
>> 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
>>
>>
|