[ jEdit-devel ] No text visible

[Dale A. <da...@gr...>]

I had the strangest thing happen this morning.  I'd been running jEdit for a
few hours, and it had been idle behind some other windows for maybe an hour,
and when I switched back to jEdit, the text area was blank.  My files were
open, and reloading didn't restore the text.  Clicking around in the text
area showed that the text was still there since things like matching
brackets still worked.  It's like all the text was set to the same color as
the background.  I saw this in the activity log:

12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:
java.lang.NullPointerException
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
org.gjt.sp.jedit.buffer.JEditBuffer.markTokens(JEditBuffer.java:1356)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
org.gjt.sp.jedit.textarea.ChunkCache.lineToChunkList(ChunkCache.java:786)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
org.gjt.sp.jedit.textarea.ChunkCache.updateChunksUpTo(ChunkCache.java:668)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
org.gjt.sp.jedit.textarea.ChunkCache.getLineInfo(ChunkCache.java:253)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
org.gjt.sp.jedit.textarea.TextAreaPainter$PaintText.paintValidLine(TextAreaPainter.java:1306)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
org.gjt.sp.jedit.textarea.TextAreaExtension.paintScreenLineRange(TextAreaExtension.java:70)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:157)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
org.gjt.sp.jedit.textarea.ExtensionManager.paintScreenLineRange(ExtensionManager.java:117)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
org.gjt.sp.jedit.textarea.TextAreaPainter.paint(TextAreaPainter.java:808)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
javax.swing.JComponent.paintToOffscreen(JComponent.java:5124)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
javax.swing.BufferStrategyPaintManager.paint(BufferStrategyPaintManager.java:278)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
javax.swing.RepaintManager.paint(RepaintManager.java:1224)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
javax.swing.JComponent._paintImmediately(JComponent.java:5072)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
javax.swing.JComponent.paintImmediately(JComponent.java:4882)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:785)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
javax.swing.RepaintManager.paintDirtyRegions(RepaintManager.java:713)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
javax.swing.RepaintManager.seqPaintDirtyRegions(RepaintManager.java:693)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
javax.swing.SystemEventQueueUtilities$ComponentWorkRequest.run(SystemEventQueueUtilities.java:125)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:209)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
java.awt.EventQueue.dispatchEvent(EventQueue.java:597)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:269)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:184)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:174)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:169)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:161)
12:02:25 PM [AWT-EventQueue-0] [error] ExtensionManager:  at
java.awt.EventDispatchThread.run(EventDispatchThread.java:122)

I'm not sure how I got into this state, and I haven't been able to reproduce
it.  Restarting jEdit fixed the problem.  I'm using jEdit from
revision 18489.

Dale