Can you try it now? I know I fixed at least one bug, but I don't know if it's the one you were having. Your PluginSets now work on my machine, though, so hopefully it solved the problem.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I am sorry, this totally fell off my stack. I just tried to apply it and now 1 of the hunks fails against jedit trunk.
If you revisit and resubmit, I will make a point of testing it faster this time. sorry about that!
[and there is still a chance of getting it into 4.4 if it works]
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
This patch should be applied to jEdit.java.
I can't seem to get it to work for me.
[ezust@cerberus] /home/ezust/.jedit> jedit -pluginset=pluginset.xml
6:14:26 PM [main] [error] PluginJAR: Cannot load plugin /home/ezust/workspace/jedit/trunk/build/jars/JCalculator.jar
6:14:26 PM [main] [error] PluginJAR: java.util.zip.ZipException: error in opening zip file
6:14:26 PM [main] [error] PluginJAR: at java.util.zip.ZipFile.open(Native Method)
6:14:26 PM [main] [error] PluginJAR: at java.util.zip.ZipFile.<init>(ZipFile.java:114)
6:14:26 PM [main] [error] PluginJAR: at java.util.zip.ZipFile.<init>(ZipFile.java:75)
6:14:26 PM [main] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.getZipFile(PluginJAR.java:369)
6:14:26 PM [main] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.generateCache(PluginJAR.java:1227)
6:14:26 PM [main] [error] PluginJAR: at org.gjt.sp.jedit.PluginJAR.init(PluginJAR.java:1035)
6:14:26 PM [main] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.addPluginJAR(jEdit.java:1148)
6:14:26 PM [main] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.addPluginJARsFromDirectory(jEdit.java:1199)
6:14:26 PM [main] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.initPlugins(jEdit.java:3545)
6:14:26 PM [main] [error] PluginJAR: at org.gjt.sp.jedit.jEdit.main(jEdit.java:456)
6:14:26 PM [main] [error] ErrorListDialog$ErrorEntry: /home/ezust/workspace/jedit/trunk/build/jars/JCalculator.jar:
6:14:26 PM [main] [error] ErrorListDialog$ErrorEntry: Cannot load: java.util.zip.ZipException: error in opening zip file
6:14:26 PM [main] [error] ErrorListDialog$ErrorEntry: The most likely reason is that the JAR file is corrupt; try
6:14:26 PM [main] [error] ErrorListDialog$ErrorEntry: reinstalling it. See Utilities->Troubleshooting->Activity Log
6:14:26 PM [main] [error] ErrorListDialog$ErrorEntry: for a full stack trace.
6:14:26 PM [main] [error] jEdit: Failed to generate cache while loading plugin JCalculator.jar
6:14:26 PM [main] [error] main: Exception in thread "main"
6:14:26 PM [main] [error] main: java.lang.NullPointerException
6:14:26 PM [main] [error] main: at org.gjt.sp.jedit.jEdit.addPluginJARsFromDirectory(jEdit.java:1212)
6:14:26 PM [main] [error] main: at org.gjt.sp.jedit.jEdit.initPlugins(jEdit.java:3545)
6:14:26 PM [main] [error] main: at org.gjt.sp.jedit.jEdit.main(jEdit.java:456)
PluginSet test file.
PluginSet test file.
What PluginSets are you using? It seems to work fine with mine (I uploaded the two that I tested with).
alan's minimal pluginset.xml
alan's full pluginset.xml
Fixed a bug that caused errors when a plugin defined in a PluginSet could not be found.
Can you try it now? I know I fixed at least one bug, but I don't know if it's the one you were having. Your PluginSets now work on my machine, though, so hopefully it solved the problem.
I am sorry, this totally fell off my stack. I just tried to apply it and now 1 of the hunks fails against jedit trunk.
If you revisit and resubmit, I will make a point of testing it faster this time. sorry about that!
[and there is still a chance of getting it into 4.4 if it works]