public void frameRate(double frameRate) { workspace.frameRate(frameRate); }
public double frameRate() { return workspace.frameRate(); }