System.out.println("factor = " + fontScalingFactor);
    public void resetFontSize() {		System.out.println("factor = " + fontScalingFactor);        RenderingContext rc = getRenderingContext();        rc.getTextRenderer().setFontScale(1.0F);		System.out.println("reset to " + rc.getTextRenderer().getFontScale());        relayout();        repaint();    }