[NTG-context] unwanted extra interline space in typing environment

Pablo Rodríguez oinos at web.de
Thu Aug 8 19:52:03 CEST 2013

On 08/08/2013 07:24 PM, Hans Hagen wrote:
> On 8/8/2013 4:50 PM, Pablo Rodríguez wrote:
>> Isn’t it a bug?
> yes, but in fact a side effect of trying to fix another page-crossing 
> issue ... i'll try a different trick

Many thanks for the fix, Hans.


More information about the ntg-context mailing list