public void toggleMusic() { var mus = appScript.getMusic(); appScript.setMusic(!mus); updateMusicText(); }