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);
 }