Slider.heightMM

Slider.heightMM(self) int