From: SourceForge.net <no...@so...> - 2009-07-08 05:24:21
|
Plugin Bugs item #2818260, was opened at 2009-07-08 01:43 Message generated for change (Comment added) made by shlomy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2818260&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Alan Ezust (ezust) Assigned to: Shlomy Reinstein (shlomy) Summary: markersets: fails to save on macosx Initial Comment: using markersets svn rev # 15333 Exiting jEdit always results in an exception thrown, causing jedit not to even fully quit. ---------------------------------------------------------------------- >Comment By: Shlomy Reinstein (shlomy) Date: 2009-07-08 08:24 Message: Sorry, my mistake - I misread the exception. The problem might not be with the directory that couldn't be created, but an issue with the xml transformer in java 5. Hopefully fixed in trunk. Can you check and close the item if fixed? ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2009-07-08 08:15 Message: The plugin failed to create its plugin home directory, which is were it saves the markers on exit: java.io.FileNotFoundException: /Users/ezust/Library/jEdit/plugins/marker.MarkerSetsPlugin/markerSets.xml (No such file or directory) This might have to do with insufficient file system permissions, but I don't really know. The plugin home directory is created when the plugin is started (activated?). Should it display a message box on failure, and not try to save on exit? What do you suggest to do? There is very little use for the plugin if the markers cannot be saved. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=565475&aid=2818260&group_id=588 |