public void ScreenTop( float top ) { this.top = top; pixelTop = top / pixelScaleY; isDerivedOutOfDate = true; PositionsOutOfDate(); }