José Matos wrote: > OK. Go on, but please wait for Juergen's patch on extending the inset > space. I would like to have the changes to inset space placed together.
I took this as an OK and will put it in in a minute. Sorry, Edwin, for the extra work. Jürgen
