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.
Sidekick + PhpParser Plugin and Folding
Submitted by
Baldurien on
Friday, 20 January, 2006 - 20:33
Hi,
Since CustomFoldHandler does not work on jedit4.3pre3 [http://community.jedit.org/?q=node/view/2580], I am forced to use SideKick folding mode for my php files.
The problem is that I have a lot of docblocks, and comment, and that I don't like the default jedit folding syntax ({{{ .. }}}). I would like to know how I could add my own folding handler, for the PHP mode?
Here is what I'd like :
Multiline comments on several lines :
/*...
*/ -> /* [xx lines]
My own folding:
__start__
__end__
->
__start__ [xx lines]
What can I do for that?
HTML Tree plugin
Submitted by
premek_zak on
Friday, 20 January, 2006 - 20:43
Hello,
I'm searching for a plugin(?), that makes something like tree in HTML file (it links <div>s, so it's impossible to forget to close it. I'm sure that it exist (i've seen it on some screenshot), but I don't know name of the plugin (or maybe it isn't plugin at all) ...
Does anybody know?
thanks
HTML Tree plugin
Submitted by
premek_zak on
Friday, 20 January, 2006 - 20:51
Hello,
I'm searching for a plugin(?), that makes something like tree in HTML file (it links <div>s, so it's impossible to forget to close it. I'm sure that it exist (i've seen it on some screenshot), but I don't know name of the plugin (or maybe it isn't plugin at all) ...
Does anybody know?
thanks
HTML editing help?
Submitted by
Axel on
Saturday, 21 January, 2006 - 09:52
Hello,
I'm looking for add-ons for jedit, which help creating/editing HTML-Files with jEdit; for example: "Abbreviations"-File, Macros or Plugins.
I know of the plugins from http://plugins.jedit.org/list.php?category=4 , but what I'm looking for are more "fundamental"/simple things.
Does anybody know something like this?
Axel
(Email: forum.jedit2.a99@dfgh.net)
More complex text-processing launched like "Abbreviations"?
Submitted by
Axel on
Saturday, 21 January, 2006 - 09:54
Hello,
is there a way to start Macros like "Abbreviations", I mean by typing a keyword and when pressing the Spacebar, the Macro will be executed?
What I would like to do is to type a keyword, pressing Spacebar, and something more complex textprocessing than what actually can be done with the Abbreviations is executed.
Maybe, the "templates"-plugin could do it, but when typing a normal word, which does _not_ represent a keyword, always a "warning"-message is launched.
Or, will something like this be available in the next jEdit Version? (I'm using 4.2final now.)
Axel
(Email: forum.jedit3.a99@dfgh.net)
JavaDebugger
Whenever I try to load JavaDebugger (v1.4) it keeps on coming up with an error saying that I need to install JDK 1.3 or later but I have JDK 1.5 on my computer and I thought I had set the JavaDebugger up correctly so does anyone have any idea what might be going wrong? I have tried deleting and reinstalling both the Javacore and JavaDebugger plugins with no success.
Thanks
Steve
Duplicate Line/Selection
Submitted by
Dario_Insane on
Monday, 23 January, 2006 - 12:35
i'm new to jedit. and it looks promising. but also a bit overwhelming..
how do i implement a 'duplicate line/selection' feature? i assume i have to do this with a macro?
i tried using a copy/paste approach to get at least a 'duplicate line' feature working. but it doesnt do what i want.. :/
i found some text macros for moving lines up/down.. maybe they will help me..
anyway.. any help really appreciated!
regards,
dario
Can't start Antelope plugin
Submitted by
ccapeng on
Monday, 23 January, 2006 - 15:24
I just instealled the latest antelope plug in from http://antelope.tigris.org/.
I got warning like
"Error starting Antelope:
org.apache.tools.ant.helper.AntXMLContext.setCurrectTargets(Ljava/util/Map;)V
Usually this can be fixed by reatring jedit."
However, when I restarted my jedit, this warning was coming up again.
Any idea?
Problem with a new mode
Submitted by
witchi on
Monday, 23 January, 2006 - 16:39
Hi,
I try to create a new mode and I have problems with to lines, which I have to distinguish. Maybe someone here has an idea...
FETCH :$$.$$.DEATH.DEATH(autopsy)
and
(test.tmpItem(::$$.$$.DEATH.DEATH.$$.AUTOPSY))
In the first line, DEATH(autopsy) is not a function, but test.tmpItem( in the second line. With the line
<MARK_PREVIOUS TYPE="FUNCTION" EXCLUDE_MATCH="TRUE">(</MARK_PREVIOUS>
I get the type FUNCTION for both strings. How can I avoid that?
Thank you
Andre
Setting buffer properties -- two questions
Submitted by
clif2 on
Tuesday, 24 January, 2006 - 00:03
In a macro how do I set the following properties?
1. buffer title
2. character encoding
Thanks,
Clif2
Jedit can't use the network (but everything else can)
Hey folks. I just installed the latest jedit via the java installer on Red Hat Enterprise Linux 4 with j2re-1.4.2. Jedit starts fine, but when I try to install a plugin it complains about having no route to host even though the system definitely has net access. Does this sound familiar to anyone?
Problem typing '>' character
Submitted by
hall_simon on
Wednesday, 25 January, 2006 - 01:35
I'm using 4.3pre 3 on xp with jre 1.5.0_06-b05.
Everytime I type the '>' character (which in XML is quite a bit!!) a BeanShell error dialog pops up with the following error. Anybody know whats going on here?
java.lang.NoSuchMethodError: org.gjt.sp.jedit.textarea.JEditTextArea.getBuffer()Lorg/gjt/sp/jedit/Buffer;
at xml.XmlPlugin.isDelegated(Unknown Source)
at xml.XmlActions.insertClosingTagKeyTyped(Unknown Source)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:39)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:25)
at java.lang.reflect.Method.invoke(Method.java:585)
at bsh.Reflect.invokeOnMethod(Reflect.java:149)
at bsh.Reflect.invokeStaticMethod(Reflect.java:100)
at bsh.Name.invokeMethod(Name.java:872)
at bsh.BSHMethodInvocation.eval(BSHMethodInvocation.java:72)
at bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102)
at bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47)
at bsh.BSHBlock.evalBlock(BSHBlock.java:130)
at bsh.BSHBlock.eval(BSHBlock.java:80)
at bsh.BshMethod.invokeImpl(BshMethod.java:349)
at bsh.BshMethod.invoke(BshMethod.java:246)
at bsh.BshMethod.invoke(BshMethod.java:171)
at org.gjt.sp.jedit.BeanShell.runCachedBlock(BeanShell.java:507)
at org.gjt.sp.jedit.BeanShellAction.invoke(BeanShellAction.java:76)
at org.gjt.sp.jedit.gui.InputHandler.invokeAction(InputHandler.java:229)
at org.gjt.sp.jedit.gui.InputHandler.invokeAction(InputHandler.java:195)
at org.gjt.sp.jedit.gui.DefaultInputHandler.handleKey(DefaultInputHandler.java:362)
at org.gjt.sp.jedit.View.processKeyEvent(View.java:616)
at org.gjt.sp.jedit.textarea.JEditTextArea.processKeyEvent(JEditTextArea.java:4579)
at java.awt.Component.processEvent(Component.java:5265)
at java.awt.Container.processEvent(Container.java:1966)
at java.awt.Component.dispatchEventImpl(Component.java:3955)
at java.awt.Container.dispatchEventImpl(Container.java:2024)
at java.awt.Component.dispatchEvent(Component.java:3803)
at java.awt.KeyboardFocusManager.redispatchEvent(KeyboardFocusManager.java:1810)
at java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(DefaultKeyboardFocusManager.java:672)
at java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(DefaultKeyboardFocusManager.java:920)
at java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(DefaultKeyboardFocusManager.java:798)
at java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:636)
at java.awt.Component.dispatchEventImpl(Component.java:3841)
at java.awt.Container.dispatchEventImpl(Container.java:2024)
at java.awt.Window.dispatchEventImpl(Window.java:1774)
at java.awt.Component.dispatchEvent(Component.java:3803)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:463)
at java.awt.EventDispatchThread.pumpOneEventForHierarchy(EventDispatchThread.java:242)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:163)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:157)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:149)
at java.awt.EventDispatchThread.run(EventDispatchThread.java:110)
Inhibit the save function
Submitted by
adicam69 on
Wednesday, 25 January, 2006 - 09:26
Hi, I need to inhibit the save function if the buffer is "read-only".
How can I do this ?
Alex.
Compiling and running a program.
Alright, I've searched the forums and this question has been asked before, but the answerd givin did not help me.
I can compile a Java program with ANT Farm, but I can not run the program. This is just one single java file that I am trying to run. I've tried hitting the running man icon, but it gave me an error even though I had no bugs when I compiled the file.
Please help
PS I would really enjoy if someone put all the steps needed to run a program starting right after writing a program.
PHP Docblocks handle HTML and code poorly
Submitted by
headzoo on
Wednesday, 25 January, 2006 - 17:20
Howdy,
I'm not sure if this is a bug or if it's something that can be fixed in the php.xml file. I use Docblock comments in my code, and because I use PhpDocumentor to create the documentation for the scripts, I use bits of HTML and example PHP code in the docblock. JEdit seems to choke on those. An example:
/**
* Just some function
*
* Usage:
*
* $a = justSomeFunction();
*
*/
JEdit tries to treat the HTML and code like regular HTML and code instead of treating it like plain text, which it should since it's inside a comment block.
Is there a file somewhere I can hack to fix this?
- Sean
How do I make jEdit respect system defaults for scrollwheel? Or just change the behaviour?
Submitted by
Denyer on
Wednesday, 25 January, 2006 - 18:25
Holding down shift to scroll a page isn't intuitive when no other app does it. Is there any way to either force jEdit to scroll a page by default, or reverse the modifier -- i.e. to hold down shift for a three-line scroll, whilst making jEdit respect the default.
Scrolling works fine in all other windows in jEdit, it's just the editor one that's causing a problem.
Thanks in advance for any suggestions, even if it's only "look in the source code and switch these lines around". It's equally likely I've missed something really obvious in an options window or not found a config file.
Regards,
Stu.
How to change plugins properties during the installation?
Submitted by
Siver on
Thursday, 26 January, 2006 - 15:27
Hi,
I'm working on installation CD with jedit and I would like to install all the plugins with jedit properly. This requires to set some plugins configuration.
Is there a regular way how to do it?
As I understand it's not easy to change plugin *.prop property in *.jar archive during the installation (for exampe, a path for ctags for Code Browser plugin) (perhaps to patch java sources of the plugin looks better...).
Thanks in advance,
Andrey
Increase/decrease quote level
Submitted by
amwt on
Thursday, 26 January, 2006 - 19:20
Increase/decrease qutoe level, as per bbedit. Effectively allows one to strip ">" from the leftmost column of, say, email messages.
Docker Plugin 0.3 - Options Not Available
Submitted by
andrewl on
Thursday, 26 January, 2006 - 22:06
Options for the Docker plugin (version 0.3) are not showing up in the Plugin Options window. The plugin itself is getting loaded, as it is showing up in the Shortcuts Options window (you can set a shortcut for Bottom Dock Popup, Left Dock Popup, Right Dock Popup, Toggle Docks, Top Dock Popup). But the option to over-ride autohiding for certain plugins, for instance, is nowhere to be found. The Plugin Options window shows ...Column Ruler, Console, Editor Scheme, etc. No Docker.
This is jEdit 4.2 Final on Windows XP. Unfortunately, I don't know what changes might have caused this, as I haven't looked for the Docker plugin's options for about six months, during which time I have certainly installed, and uninstalled, other plugins. The latest change is the addition of the Ruby plugin. Removing it and the jruby.jar and restarting does not fix the problem.