(milliseconds)
| 193 | } |
| 194 | |
| 195 | function delayedRefresh(milliseconds) { |
| 196 | window.clearTimeout(scaleChangeTimer); |
| 197 | scaleChangeTimer = window.setTimeout(function () { |
| 198 | onScroll(); |
| 199 | }, milliseconds); |
| 200 | } |
| 201 | |
| 202 | function parseScale(value, resetAutoSettings) { |
| 203 | var scale, |
no test coverage detected