On Mon, May 21, 2007 at 10:41:14PM +0200, Jean-Marc Lasgouttes wrote: > >>>>> "John" == John Levon <[EMAIL PROTECTED]> writes: > > John> This is a somewhat unpleasant workaround to the problem and I > John> don't see why it's necessary. We should just add the symbols to > John> the menus. > > In which form?
Do you mean as text or icons? Ideally text... john
