/**
* Sets the current theme.
*
* @param theme the new theme
*/
public static void setTheme(Themes theme) {
currentTheme = theme;
System.out.println(theme.getName());
// activate current theme
GUI.resetLookAndFeel(); // wipes the slate clean
theme.doColoring();
GUI.setNimbusLookAndFeel(); // puts nimbus back on
}
