protected void textLineImpl(char buffer[], int start, int stop, float x, float y) { Font font = textFont.getFont(); if (font == null) { throw new RuntimeException( "Use createFont() instead of loadFont() " + "when drawing text using the PDF library."); } else if (textFont.isStream() && textMode != SHAPE) { throw new RuntimeException( "Use textMode(SHAPE) with when loading " + ".ttf and .otf files with createFont()."); } else if (!checkFont(textFont.getName())) { System.err.println( "Use PGraphicsPDF.listFonts() to get a list of " + "fonts that can be used with PDF."); throw new RuntimeException( "The font “" + textFont.getName() + "” " + "cannot be used with PDF Export."); } super.textLineImpl(buffer, start, stop, x, y); }