+ /* if "all" is given, translate the font names in something more
+ readable */
+ if(!strcmp(fullname, "Nimbus Roman No9 L Regular")) fontname = "Helvetica";
+ if(!strcmp(fullname, "Nimbus Roman No9 L Regular Italic")) fontname = "HelveticaItalic";
+ if(!strcmp(fullname, "Nimbus Roman No9 L Medium")) fontname = "HelveticaBold";
+ if(!strcmp(fullname, "Nimbus Roman No9 L Medium Italic")) fontname = "HelveticaBoldItalic";
+ if(!strcmp(fullname, "Nimbus Sans L Regular")) fontname = "Times";
+ if(!strcmp(fullname, "Nimbus Sans L Regular Italic")) fontname = "TimesItalic";
+ if(!strcmp(fullname, "Nimbus Sans L Bold")) fontname = "TimesBold";
+ if(!strcmp(fullname, "Nimbus Sans L Bold Italic")) fontname = "TimesBoldItalic";
+ if(!strcmp(fullname, "Nimbus Mono L Regular")) fontname = "Courier";
+ if(!strcmp(fullname, "Nimbus Mono L Regular Oblique")) fontname = "CourierItalic";
+ if(!strcmp(fullname, "Nimbus Mono L Bold")) fontname = "CourierBold";
+ if(!strcmp(fullname, "Nimbus Mono L Bold Oblique")) fontname = "CourierBoldItalic";
+ if(!strcmp(fullname, "Standard Symbols L")) fontname = "Symbol";
+
+ char ** encoding = standardEncoding;