/** Stores the current L&F, and calls updateLookAndFeel, below */
 public void setLookAndFeel(String laf) {
   if (currentLookAndFeel != laf) {
     currentLookAndFeel = laf;
     themesMenu.setEnabled(laf == metal);
     updateLookAndFeel();
   }
 }
 /**
  * Set pluggable look and feel capable
  *
  * @param plaf true if all components of frame will support pluggable look and feel
  */
 public void setPlaf(boolean plaf) {
   lafMenu.setEnabled(plaf);
 }