(cm, measure)
| 5236 | // Re-synchronize the fake scrollbars with the actual size of the |
| 5237 | // content. |
| 5238 | function updateScrollbarsInner(cm, measure) { |
| 5239 | var d = cm.display |
| 5240 | var sizes = d.scrollbars.update(measure) |
| 5241 | |
| 5242 | d.sizer.style.paddingRight = (d.barWidth = sizes.right) + "px" |
| 5243 | d.sizer.style.paddingBottom = (d.barHeight = sizes.bottom) + "px" |
| 5244 | d.heightForcer.style.borderBottom = sizes.bottom + "px solid transparent" |
| 5245 | |
| 5246 | if (sizes.right && sizes.bottom) { |
| 5247 | d.scrollbarFiller.style.display = "block" |
| 5248 | d.scrollbarFiller.style.height = sizes.bottom + "px" |
| 5249 | d.scrollbarFiller.style.width = sizes.right + "px" |
| 5250 | } else { |
| 5251 | d.scrollbarFiller.style.display = "" |
| 5252 | } |
| 5253 | if (sizes.bottom && cm.options.coverGutterNextToScrollbar && cm.options.fixedGutter) { |
| 5254 | d.gutterFiller.style.display = "block" |
| 5255 | d.gutterFiller.style.height = sizes.bottom + "px" |
| 5256 | d.gutterFiller.style.width = measure.gutterWidth + "px" |
| 5257 | } else { |
| 5258 | d.gutterFiller.style.display = "" |
| 5259 | } |
| 5260 | } |
| 5261 | |
| 5262 | var scrollbarModel = { native: NativeScrollbars, null: NullScrollbars } |
| 5263 |
no test coverage detected