hi,

the icon is missing here on linux in ams misc toolbar. iirc Uwe was recently
introducing diamond and didn't see this problem, since windows has not case
sensitive filesystem, so diamond.png=Diamond.png.

the fix itself wouldn't be hard, but i'm not sure how to proceed. for example
is \Diamond something else than \lozenge in toolbar? they seems to render the
same character. should we just add another png file or kill it from ams bar?

pavel

Reply via email to