/**
  * Gets the font used in {@link javax.swing.JOptionPane} buttons. Defaults to the text font with
  * bold style.
  *
  * @return the font used in {@link javax.swing.JOptionPane} buttons
  */
 public FontUIResource getOptionPaneButtonFont() {
   return optionPaneButtonFont.getFont();
 }
 /**
  * Gets the font used in the title of {@link javax.swing.JInternalFrame}'s. Defaults to the text
  * font with bold style.
  *
  * @return the font used in the title of {@link javax.swing.JInternalFrame}'s
  */
 public FontUIResource getInternalFrameTitleFont() {
   return internalFrameTitleFont.getFont();
 }