MPS Linux icon?

Avatar
Permanently deleted user
Created

Hi Guys,

Is there an MPS icon available for Linux (I don't see one in the tar file)?

Cheers, Rob

Votes

0

Share

2 comments
Avatar
Julia Beliaeva
Created

Hello, Rob!

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

Regards,

Julia

0
Avatar
Permanently deleted user
Created

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.