3 Aug
2006
3 Aug
'06
11:30 p.m.
Hans Hagen wrote:
what is the label font then? probably defaultfont so you need to set that as well also, label does not use tex, use
label(\textext("very"),z46)
That's it, indeed (though without the back-slash for textext): label(textext("very"),z46)
and friends
Hans
Many thanks! David