> I've removed it from the toolbar altogether in my new.ui. Rationale -
> it's no more likely to be used than decrement environment depth, the
> icon is entirely unclear, there are good shortcuts for this.
It could also become cyclic.
> An alternative would be to make good icons, and include decrement env
> depth too, but this would really require BIGGER icons. I'd really like
> to get some interested artists to do us a set of lo-colour and hi-colour
> icons at a reasonable size.
We could try to setup some kind of contest.
Regards,
Alfredo
