Re: [patch] fix bug 2078: add all kinds of spaces to the formatting menu

2007-09-30 Thread Jean-Marc Lasgouttes
Uwe Stöhr <[EMAIL PROTECTED]> writes: > Is the attached patch OK to go into trunk? It would be better to have a dialog, or to implement space toggling like in mathed. JMarc

Re: [patch] fix bug 2078: add all kinds of spaces to the formatting menu

2007-09-30 Thread Jürgen Spitzmüller
Uwe Stöhr wrote: > Is the attached patch OK to go into trunk? I rather don't like to put all these in the menus. A dialog (or a context menu) would be much better ui. Jürgen