public override scrollbarThumbTop(totalLines as Long, viewHeight as Int, topInset as Int = 0, bottomInset as Int = 0) as Int