Hi, just now I have commited my selection style changes. Thanks to Larry for his help! It would be nice if the language contributors can update the language files. I've only changed the german translation. The following keys must be changed: ui.plugin.OptionsPlugIn.selection-style ui.SelectionStyllingOptionsPanel.LineColor ui.SelectionStyllingOptionsPanel.PointStyle ui.SelectionStyllingOptionsPanel.PointSize ui.SelectionStyllingOptionsPanel.RestoreDefaultsSettings Please take look at the default jump.properties file.
Now OJ have a new panel in the options, from where you can change the settings. Regards Matthias ------------------------------------------------------------------------------ This SF.net Dev2Dev email is sponsored by: Show off your parallel programming skills. Enter the Intel(R) Threading Challenge 2010. http://p.sf.net/sfu/intel-thread-sfd _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
