}
@SuppressWarnings({"UnusedDeclaration"})
protected void doDrawPressedMask(DrawContext dc, int width, int height, double opacity, Position pickPosition)
{
WWTexture texture = this.getPressedMaskTexture();
if (texture == null)
return;
// Push state for blend enable, blending function, and current color. We set these OGL states in
// applyBackgroundTextureState(), which is invoked by doDrawBackgroundTexture().