2 comments
Comment actions Permalink

Hello, Rob!

You can find an icon MPS_32.png in $MPS_HOME/lib/mps.jar.

Regards,

Julia

0
Comment actions Permalink

Thanks Julia! I would never have thought to look in there. Shame the icon doesn't feature the fox logo though :O(

Rob

0

Please sign in to leave a comment.