public void refresh(){
        buttonCreator.removeAll();
        for(Themes theme : Themes.getAllThemes()){
            if(theme != Themes.RANDOM && theme != Themes.RANDOM_COLORS && theme != Themes.SEASONS){
                //these themes dealt with separately
                if(theme.isUnlocked()){
                    buttonCreator.add(theme);
                }
                else{
                    buttonCreator.addLocked(theme);
                }
            }
        }
   
        buttonCreator.addSeparator();
        if(Themes.RANDOM_COLORS.isUnlocked())
            buttonCreator.add(Themes.RANDOM_COLORS);
        if(Themes.SEASONS.isUnlocked())
            buttonCreator.add(Themes.SEASONS);        
        if(Themes.RANDOM.isUnlocked())
            buttonCreator.add(Themes.RANDOM,"Random Theme"); //override the default displayed text, which would be "Random"
    }