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