On 24.01.2012 20:59, [email protected] wrote: > On 24.01.2012 20:44, Michaël Michaud wrote: >> If you can check the message about missing workbench-properties.xml is >> normal (hereafter) >> >> Michaël >> >> Running -> >> '/System/Library/Frameworks/JavaVM.framework/Versions/Current/Commands/java' >> ; java version "1.6.0_22"; Java(TM) SE Runtime Environment (build >> 1.6.0_22-b04-307-9M3263); Java HotSpot(TM) 64-Bit Server VM (build >> 17.1-b03-307, mixed mode); >> JUMP: Warning: Properties file does not exist: >> /Applications/OpenJUMP-1.5.1-IGN/bin/../workbench-properties.xml > > that's just a warning. i intend to get to this but it for sure doesn't break > anything. what ist the workbench-properties.xml actually for we deliver a > skeleton xml file for this in bin/ . >
ahh i recall, we or the user can add extensions and plugins here... is this parameter actually mandatory? who except developers uses this? ..ede ------------------------------------------------------------------------------ Keep Your Developer Skills Current with LearnDevNow! The most comprehensive online learning library for Microsoft developers is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3, Metro Style Apps, more. Free future releases when you subscribe now! http://p.sf.net/sfu/learndevnow-d2d _______________________________________________ Jump-pilot-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
