(cm, measure)
| 3716 | // Re-synchronize the fake scrollbars with the actual size of the |
| 3717 | // content. |
| 3718 | function updateScrollbarsInner(cm, measure) { |
| 3719 | var d = cm.display; |
| 3720 | var sizes = d.scrollbars.update(measure); |
| 3721 | |
| 3722 | d.sizer.style.paddingRight = (d.barWidth = sizes.right) + "px"; |
| 3723 | d.sizer.style.paddingBottom = (d.barHeight = sizes.bottom) + "px"; |
| 3724 | d.heightForcer.style.borderBottom = sizes.bottom + "px solid transparent"; |
| 3725 | |
| 3726 | if (sizes.right && sizes.bottom) { |
| 3727 | d.scrollbarFiller.style.display = "block"; |
| 3728 | d.scrollbarFiller.style.height = sizes.bottom + "px"; |
| 3729 | d.scrollbarFiller.style.width = sizes.right + "px"; |
| 3730 | } else { d.scrollbarFiller.style.display = ""; } |
| 3731 | if (sizes.bottom && cm.options.coverGutterNextToScrollbar && cm.options.fixedGutter) { |
| 3732 | d.gutterFiller.style.display = "block"; |
| 3733 | d.gutterFiller.style.height = sizes.bottom + "px"; |
| 3734 | d.gutterFiller.style.width = measure.gutterWidth + "px"; |
| 3735 | } else { d.gutterFiller.style.display = ""; } |
| 3736 | } |
| 3737 | |
| 3738 | var scrollbarModel = {"native": NativeScrollbars, "null": NullScrollbars}; |
| 3739 |
no test coverage detected