src/javajs/api/FontManager.java

   1 package javajs.api;
   2
   3 import javajs.awt.Font;
   4
   5 /**
   6  * A generic interface for font queries.
   7  * In JSmol it is handled by org.jmol.api.ApiPlatform
   8  */
   9
  10 public interface FontManager {
  11
  12   int fontStringWidth(Font font, String text);
  13
  14   int getFontAscent(Object fontMetrics);
  15
  16   int getFontDescent(Object fontMetrics);
  17
  18   Object getFontMetrics(Font font, Object graphics);
  19
  20   Object newFont(String fontFace, boolean isBold, boolean isItalic, float fontSize);
  21
  22
  23 }