![](https://secure.gravatar.com/avatar/565476157eb3895a9c928ffce26d988d.jpg?s=120&d=mm&r=g)
24 Nov
2005
24 Nov
'05
1:07 p.m.
Giuseppe Bilotta wrote:
Wednesday, November 23, 2005 Hans Hagen wrote:
Charles Doherty wrote:
On 23 Nov 2005, at 08:55, Giuseppe Bilotta wrote:
How do I get a double-spaced document? \setupinterlinespace[big] seems to do nothing ...
default is 2.8ex (.72/.28 ratio), so gb may try 5.6ex
But why doesn't \setupinterlinespace work? Or am I using the wrong syntax?
This works: \setupinterlinespace[big] \starttext \dorecurse{10}{\input knuth} \stoptext This doesn't: \setupinterlinespace[big] \switchtobodyfont[10pt] \starttext \dorecurse{10}{\input knuth} \stoptext But I don't know whether that's a bug or a feature or a side-effect. Cheers, Taco