I've updated PV and it seems to have stopped working correctly. I'm now getting the attached exception when starting jEdit.
I'm using 5.1pre1 server mode and Java 1.7.0_07
Let me know what else is needed.
PV Exception when opening jEdit
You seem to have CSS turned off.
Please don't fill out this field.
Thanks. It looks like having "Show compact tree" in the PV General options is enough to reproduce this.
thanks for the workaround :-)
Looks like it might be caused by my recent changes. now a project node returns true for isDirectory() when before it didn't.
fixed in 8e7e147be4c1b7f217073c657b0330c80d5858d4