10:53:52 [AWT-EventQueue-0] [error] AWT-EventQueue-0: at xml.hyperlinks.HTMLHyperlinkSource.getHyperlink(HTMLHyperlinkSource.java:94)
10:53:52 [AWT-EventQueue-0] [error] AWT-EventQueue-0: at gatchan.jedit.hyperlinks.FallbackHyperlinkSource.getHyperlink(FallbackHyperlinkSource.java:49)
10:53:52 [AWT-EventQueue-0] [error] AWT-EventQueue-0: at gatchan.jedit.hyperlinks.HyperlinkManager$MyMouseMotionAdapter.mouseMoved(HyperlinkManager.java:142)
10:53:52 [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.AWTEventMulticaster.mouseMoved(AWTEventMulticaster.java:330)
10:53:52 [AWT-EventQueue-0] [error] AWT-EventQueue-0: at java.awt.AWTEventMulticaster.mouseMoved(AWTEventMulticaster.java:329)
Matthieu, can you provide a bit more context here ?
I'm sorry I cannot, it was a NPE but I don't remember what xml file was opened at this time. If you don't find an obvious bug, you can close this ticket, I will recreate one if it happens again.
XML 2.8.7 is out and improved the code for hyperlinks.