It doesn't bother me either way, because I've already learned how to use it.

My only concern is for people who are learning it for the first time, as I was yesterday, who are likely to find it confusing.

I would have omitted the pixmap, in order to avoid confusing new users, until such time as EiffelEnvision is capable of displaying toggle items with pixmaps correctly. (By the way, I recall that toggle items with pixmaps used to crash, because the item was incapable of displaying two pixmaps. But this would have been in 5.6, so maybe this bug has been fixed already.)