On Thu, Dec 13, 2001 at 11:28:35AM +0100, Jean-Marc Lasgouttes wrote: > Andre> Although I'd rather have the "most common symbols" diretly in > Andre> the menu... > > I doubt that the menu will remain as useful if we begin to add random > things in it. Why blackboard symbols and not your favourite greek > letters?
I was thinking about putting them into differnt submenus later. Sort of "menuized math panel"... As I said, I find the panel too clumsy to use - both as programmer and as user. Andre' -- André Pönitz .............................................. [EMAIL PROTECTED]