#420 Some buffers refuse to display.

[Benjamin Stiglitz]

I've found that buffers often do not display at all
when opened in jEdit 3.1pre6. Most of the files I edit
are PHP files, although I don't believe this is
related. Attached is the file that most often causes
jEdit to lock up. (Need more info? contact
kescom@sourceforge.net)

Console dump:
[error] Exception occurred during event dispatching:
[error] java.lang.NoSuchMethodError
[error] at TagHighlight.updateTextArea
(TagHighlight.java:162)
[error] at TagHighlight.updateCaretPosition
(TagHighlight.java:223)
[error] at TagHighlight.paintHighlight
(TagHighlight.java:99)
[error] at
org.gjt.sp.jedit.textarea.TextAreaPainter.paintHighligh
t(Text
AreaPainter.java:584)
[error] at
org.gjt.sp.jedit.textarea.TextAreaPainter.paintLine
(TextAreaP
ainter.java:516)
[error] at
org.gjt.sp.jedit.textarea.TextAreaPainter.paintComponen
t(Text
AreaPainter.java:404)
[error] at javax.swing.JComponent.paint
(Unknown Source)
[error] at
javax.swing.JComponent.paintWithBuffer(Unknown Source)
[error] at
javax.swing.JComponent._paintImmediately(Unknown
Source)
[error] at
javax.swing.JComponent.paintImmediately(Unknown Source)
[error] at
javax.swing.RepaintManager.paintDirtyRegions(Unknown
Source)
[error] at
javax.swing.SystemEventQueueUtilities$ComponentWorkRequ
est.ru
n(Unknown Source)
[error] at
java.awt.event.InvocationEvent.dispatch(Unknown Source)
[error] at java.awt.EventQueue.dispatchEvent
(Unknown Source)
[error] at
java.awt.EventDispatchThread.pumpOneEvent(Unknown
Source)
[error] at
java.awt.EventDispatchThread.pumpEvents(Unknown Source)
[error] at java.awt.EventDispatchThread.run
(Unknown Source)

[Benjamin Stiglitz]

PHP script which kills jEdit

[Andre Kaplan]

Logged In: YES
user_id=1792

This bug is a duplicate of:
[ #413479 ] Cannot open JSP files
[ #414102 ] TagHighlight not up-to-date (3.1pre4)

jEdit 3.1 updated plugins are available at

http://www.jedit.org/devel/people/akaplan

Install them manually.