private FontUIResource getWrappedFont(FontUIResource systemFont) { return new FontUIResource( systemFont.getFontName(), systemFont.getStyle(), systemFont.getSize() + extra); }
private void updateFonts() { boldFont = new FontUIResource(font.deriveFont(Font.BOLD)); internalFrameTitleFont.setDefaultFont(boldFont); optionPaneButtonFont.setDefaultFont(boldFont); }