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