16 Dec
2011
16 Dec
'11
2:58 p.m.
Thanks Hans for fixing the other issue! I've just discovered another problem. So far I switched the font in for my headers with the following command \setupheader [style={\ss\switchtobodyfont[10pt]}] this does not work anymore. Is this on purpose or also a bug? Steffen
4755
Age (days ago)
4755
Last active (days ago)
0 comments
1 participants
participants (1)
-
Steffen Fritzsche