슬라이더의 하이라이트 보더 굴림값을 설정하는 API이다.
* 슬라이더의 highlight_radius 속성값과 동일하다.
function sethighlightradius_on_mouseup(objInst) { slider.sethighlightradius(15); }