On 08/07/2013 11:04 PM, Hans Hagen wrote:
On 8/7/2013 10:52 PM, Pablo Rodríguez wrote:
On 08/07/2013 08:00 PM, Wolfgang Schuster wrote:
Am 07.08.2013 um 19:47 schrieb Pablo Rodríguez oi...@web.de:
[...]
How can avoid the unwanted extra interline space in the typing environment?
[...]
you
On 8/8/2013 4:50 PM, Pablo Rodríguez wrote:
On 08/07/2013 11:04 PM, Hans Hagen wrote:
On 8/7/2013 10:52 PM, Pablo Rodríguez wrote:
On 08/07/2013 08:00 PM, Wolfgang Schuster wrote:
Am 07.08.2013 um 19:47 schrieb Pablo Rodríguez oi...@web.de:
[...]
How can avoid the unwanted extra interline
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
Dear list,
I have a document
(http://ediciones-criticas.tk/pdf/criticas-context.pdf), which is shows
a weird issue: some typing lines have an extra interline space added.
It can be found on the first code samples on pages 11 and 12 from the
above-mentioned document (sorry, but I have no other
Am 07.08.2013 um 19:47 schrieb Pablo Rodríguez oi...@web.de:
Dear list,
I have a document
(http://ediciones-criticas.tk/pdf/criticas-context.pdf), which is shows
a weird issue: some typing lines have an extra interline space added.
It can be found on the first code samples on pages 11
On 08/07/2013 08:00 PM, Wolfgang Schuster wrote:
Am 07.08.2013 um 19:47 schrieb Pablo Rodríguez oi...@web.de:
[...]
How can avoid the unwanted extra interline space in the typing environment?
Can you make a minimal example which shows the wrong spacing?
I can see it in your document but
On 8/7/2013 10:52 PM, Pablo Rodríguez wrote:
On 08/07/2013 08:00 PM, Wolfgang Schuster wrote:
Am 07.08.2013 um 19:47 schrieb Pablo Rodríguez oi...@web.de:
[...]
How can avoid the unwanted extra interline space in the typing environment?
Can you make a minimal example which shows the wrong