public void updateGuiSetting(String key){
  gui.revertSetting(key);
}

public void updateGuiSetting ( String key ) { gui . revertSetting ( key ) ; }
updates the value for a given key in the gui from the stored values .
