protected void UpdateFromReal() { if (PositionCount == 0) sliderPosition = 0; else sliderPosition = (Position*(Height - sliderSize))/PositionCount; }