>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Mon, May 21, 2007 at 10:41:14PM +0200, Jean-Marc Lasgouttes John> 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? John> Do you mean as text or icons? Ideally text... You means add dozens of menu entries? Yuck. JMarc
