search

symphonytool / symphony

The Symphony IDE
5 stars 4 forks source link

Large icon for stopping theorem prover #278

Closed pglvdm closed 10 years ago

pglvdm commented 10 years ago

When trying to prove POs the icon for stopping the theorem prover is not scaled appropriately. It is much larger than all other icons.

ldcouto commented 10 years ago

Icon was 126*126 pixels and Mac OS was not smart enough to resize.

I've made it 16*16, like the other ones.