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

[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