jEdit Community - Resources for users of the jEdit Text Editor
jEdit 4.3pre3 + ConfigurableFoldHandler (and ColumnRuler)
Submitted by Baldurien on Friday, 20 January, 2006 - 20:26
Hello,

I think there is some missing method in those plugin, since I do have this Exception :

[error] ExtensionManager: at org.gjt.sp.jedit.textarea.TextAreaPainter.paint(TextAreaPainter.java:705)
[error] ExtensionManager: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] ExtensionManager: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] ExtensionManager: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] ExtensionManager: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] ExtensionManager: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.run(Unknown Source)
[error] ExtensionManager: java.lang.NoSuchMethodError: org.gjt.sp.jedit.textarea.JEditTextArea.getBuffer()Lorg/gjt/sp/jedit/Buffer;
[error] ExtensionManager: at whitespace.BlockHighlight.getModel(BlockHighlight.java:109)
[error] ExtensionManager: at whitespace.BlockHighlight.paintValidLine(BlockHighlight.java:67)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.TextAreaExtension.paintScreenLineRange(TextAreaExtension.java:70)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:146)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:106)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.TextAreaPainter.paint(TextAreaPainter.java:705)
[error] ExtensionManager: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] ExtensionManager: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] ExtensionManager: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] ExtensionManager: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] ExtensionManager: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.run(Unknown Source)
[error] ExtensionManager: java.lang.NoSuchMethodError: org.gjt.sp.jedit.textarea.JEditTextArea.getBuffer()Lorg/gjt/sp/jedit/Buffer;
[error] ExtensionManager: at whitespace.WhiteSpaceHighlight.getModel(WhiteSpaceHighlight.java:280)
[error] ExtensionManager: at whitespace.WhiteSpaceHighlight.paintValidLine(WhiteSpaceHighlight.java:96)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.TextAreaExtension.paintScreenLineRange(TextAreaExtension.java:70)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:146)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:106)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.TextAreaPainter.paint(TextAreaPainter.java:705)
[error] ExtensionManager: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] ExtensionManager: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] ExtensionManager: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] ExtensionManager: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] ExtensionManager: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.run(Unknown Source)
[error] ExtensionManager: java.lang.NoSuchMethodError: org.gjt.sp.jedit.textarea.JEditTextArea.getBuffer()Lorg/gjt/sp/jedit/Buffer;
[error] ExtensionManager: at whitespace.FoldHighlight.getModel(FoldHighlight.java:211)
[error] ExtensionManager: at whitespace.FoldHighlight.paintValidLine(FoldHighlight.java:68)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.TextAreaExtension.paintScreenLineRange(TextAreaExtension.java:70)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:146)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:106)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.TextAreaPainter.paint(TextAreaPainter.java:705)
[error] ExtensionManager: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] ExtensionManager: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] ExtensionManager: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] ExtensionManager: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] ExtensionManager: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.run(Unknown Source)
[error] ExtensionManager: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] ExtensionManager: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] ExtensionManager: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.TextAreaPainter$PaintText.paintValidLine(TextAreaPainter.java:1074)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.TextAreaExtension.paintScreenLineRange(TextAreaExtension.java:70)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:146)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:106)
[error] ExtensionManager: at org.gjt.sp.jedit.textarea.TextAreaPainter.paint(TextAreaPainter.java:705)
[error] ExtensionManager: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] ExtensionManager: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] ExtensionManager: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] ExtensionManager: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] ExtensionManager: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] ExtensionManager: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] ExtensionManager: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.gui.DockableWindowManager.paintChildren(DockableWindowManager.java:638)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JLayeredPane.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.gui.DockableWindowManager.paintChildren(DockableWindowManager.java:638)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JLayeredPane.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.gui.DockableWindowManager.paintChildren(DockableWindowManager.java:638)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JLayeredPane.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.gui.DockableWindowManager.paintChildren(DockableWindowManager.java:638)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JLayeredPane.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.gui.DockableWindowManager.paintChildren(DockableWindowManager.java:638)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JLayeredPane.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.gui.DockableWindowManager.paintChildren(DockableWindowManager.java:638)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JLayeredPane.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.gui.DockableWindowManager.paintChildren(DockableWindowManager.java:638)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JLayeredPane.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.gui.DockableWindowManager.paintChildren(DockableWindowManager.java:638)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JLayeredPane.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[debug] EditBus: DockableWindowUpdate[what=ACTIVATED,dockable=log-viewer,source=org.gjt.sp.jedit.gui.DockableWindowManager[,0,0,1280x934,layout=org.gjt.sp.jedit.gui.DockableLayout,alignmentX=0.0,alignmentY=0.0,border=,flags=9,maximumSize=,minimumSize=,preferredSize=]]
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.gui.DockableWindowManager.paintChildren(DockableWindowManager.java:638)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JLayeredPane.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintChildren(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)
[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0"
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0: at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paint(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintWithOffscreenBuffer(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintDoubleBuffered(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent._paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.JComponent.paintImmediately(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.RepaintManager.paintDirtyRegions(Unknown Source)
[error] AWT-EventQueue-0: at javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventQueue.dispatchEvent(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] AWT-EventQueue-0: at java.awt.EventDispatchThread.run(Unknown Source)

I run jdk1.5_06 here.
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
ConfigurableFoldHandler broken under 4.3pre3 ?
by keithbcg on Tue, 07/03/2006 - 20:19
It looks like the ConfigurableFoldHandler plugin is broken under jEdit 4.3pre3.
I'm seeing similiar behavior running jEdit on
Mac OSX 10.4.5 with Java 1.4.2 or 5.0, and on
Redhat Linux with Java 1.5.0_02
(If I turn on custom folding, the entire text display area goes white when it
tries to redraw, the gutter area goes blank, and the error message below
appears...)

Anyone have and idea when/if the ConfigurableFoldHandler plugin might be fixed?

[error] AWT-EventQueue-0: Exception in thread "AWT-EventQueue-0" 
[error] AWT-EventQueue-0: java.lang.AbstractMethodError: org.gjt.sp.jedit.buffer.FoldHandler.getFoldLevel(Lorg/gjt/sp/jedit/buffer/JEditBuffer;ILjavax/swing/text/Segment;)I
[error] AWT-EventQueue-0:  at org.gjt.sp.jedit.buffer.JEditBuffer.getFoldLevel(JEditBuffer.java:1685)
[error] AWT-EventQueue-0:  at org.gjt.sp.jedit.buffer.JEditBuffer.isFoldStart(JEditBuffer.java:1630)
[error] AWT-EventQueue-0:  at org.gjt.sp.jedit.textarea.Gutter.paintLine(Gutter.java:555)
[error] AWT-EventQueue-0:  at org.gjt.sp.jedit.textarea.Gutter.paintComponent(Gutter.java:141)
...
 
Bug tracker added
by Todd on Mon, 20/11/2006 - 19:40
Here's the bug tracker for this.
User login
Browse archives
« March 2024  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   82338
Context Free Art (*.cfdg)   0.31   46042
JBuilder scheme   .001   18486
BBEdit scheme   1.0   18107
ColdFusion scheme   1.0   18015
R Edit Mode - extensive version   0.1   17461
Advanced HTML edit mode   1.0   16194
Matlab Edit Mode   1.0   16056
jEdit XP icons   1.0   15220
XP icons for jEdit   1.1   14281