106107108109110111112113
{ this.pressedMaskTexture = null; if (source != null) { this.pressedMaskTexture = new BasicWWTexture(source, false); } }