I am somewhat confused about the function pdf.getfontname()
It seems to me that this function gets one argument which is the font number and then returns exactly this number. This is because a font with font number 36 gets the pdf resource name /F36. And pdf.getfontname() returns just the number of /F36. Is my understanding correct? Is it at all possible that the argument and the return value of pdf.getfontname() are not the same? Cheers Andreas