equal
deleted
inserted
replaced
168 // position and size thumb element (add 1 to the middle section height for rounding errors) |
168 // position and size thumb element (add 1 to the middle section height for rounding errors) |
169 this.thumbTopElement.style.top = Math.round(thumbTop) + "px"; |
169 this.thumbTopElement.style.top = Math.round(thumbTop) + "px"; |
170 this.thumbMiddleElement.style.top = Math.round(thumbTop + thumbTopHeight) + "px"; |
170 this.thumbMiddleElement.style.top = Math.round(thumbTop + thumbTopHeight) + "px"; |
171 this.thumbMiddleElement.style.height = Math.round(thumbHeight - thumbTopHeight - thumbBottomHeight + 1) + "px"; |
171 this.thumbMiddleElement.style.height = Math.round(thumbHeight - thumbTopHeight - thumbBottomHeight + 1) + "px"; |
172 this.thumbBottomElement.style.top = Math.round(thumbBottom - thumbBottomHeight) + "px"; |
172 this.thumbBottomElement.style.top = Math.round(thumbBottom - thumbBottomHeight) + "px"; |
173 } |
173 }; |