framerate setting in SettingsMenu now implemented. performance adjustment in LaserManager