@<?> ArrowThumbUIElement(@NotNull type: ArrowThumbUIElement.THUMB_ALIGNMENT, @<?> paddingThumpRes: int)