Hi Michael, # Refactoring of EditOptionsPanel + add "single editable layer" option thanks for this option. I found it really useful. Peppe
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot
_______________________________________________ Jump-pilot-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
