This is jEdit trunk version 24012. In the Plugin manager, the list selection of "Manage"
crashes after flipping the status of a plugin. Exception trace is like this:
Exception in thread "AWT-EventQueue-0"
java.lang.NullPointerException
at javax.swing.plaf.basic.BasicTableUI$Handler.setValueIsAdjusting(BasicTableUI.java:953)
at javax.swing.plaf.basic.BasicTableUI$Handler.mouseReleased(BasicTableUI.java:1166)
at java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:290)
at java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:289)
...
A crude web search on the Handler.setValueIsAdjusting line reveals this Stackoverflow
entry, which might be helpful: http://stackoverflow.com/questions/340286/why-do-i-keep-getting-a-nullpointerexception-in-the-java-basictableuihandler-se
Submitted | makarius - 2015-08-12 22:25:42.355000 | Assigned | daleanson |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | minor bug |
Resolution | None |
2015-08-31 23:06:07.307000 daleanson |
I don't see this error. Which look and feel are you using? |
---|---|
2015-09-01 13:19:01.821000 makarius |
The test platform is Linux with Metal L&F. I've tried again with current trunk 24041,
using a fresh build invoked on a blank settings directory like this:
|
2015-09-01 17:50:47.238000 daleanson |
- **assigned_to**: Dale Anson |
2015-09-01 17:50:47.620000 daleanson |
Thanks, I do see the problem when using Metal. |