I agree that, at least for icons, a common place is better. More uniform look after any future restyling. As for other 'resources' I can hold no opinion.
------------------------------------------------------------------------------ _______________________________________________ Jmol-developers mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/jmol-developers
