![](https://secure.gravatar.com/avatar/b7e08bfc3ab0dc1483daa4997762ac1b.jpg?s=120&d=mm&r=g)
8 Aug
2013
8 Aug
'13
11:52 a.m.
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. Pablo -- http://www.ousia.tk