public scrollbarThumbSize(totalLines as Long, viewHeight as Int, topInset as Int = 0, bottomInset as Int = 0) as Int
Returns the scrollbar thumb size in rows.