| 1685 | |
| 1686 | |
| 1687 | static protected PFont createFont(String name, int weight, |
| 1688 | float size, boolean smooth) { |
| 1689 | //System.out.println("Try to create a font of " + name + " family, " + weight); |
| 1690 | java.awt.Font baseFont = new java.awt.Font(name, weight, (int) size); |
| 1691 | |
| 1692 | //System.out.println("Resulting family : " + baseFont.getFamily() + " " + baseFont.getStyle()); |
| 1693 | return new PFont(baseFont.deriveFont(size), smooth, null); |
| 1694 | } |
| 1695 | |
| 1696 | |
| 1697 | // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |