(cm)
| 659 | }; |
| 660 | |
| 661 | function maybeClipScrollbars(cm) { |
| 662 | var display = cm.display; |
| 663 | if (!display.scrollbarsClipped && display.scroller.offsetWidth) { |
| 664 | display.nativeBarWidth = display.scroller.offsetWidth - display.scroller.clientWidth; |
| 665 | display.heightForcer.style.height = scrollGap(cm) + "px"; |
| 666 | display.sizer.style.marginBottom = -display.nativeBarWidth + "px"; |
| 667 | display.sizer.style.borderRightWidth = scrollGap(cm) + "px"; |
| 668 | display.scrollbarsClipped = true; |
| 669 | } |
| 670 | } |
| 671 | |
| 672 | // Does the actual updating of the line display. Bails out |
| 673 | // (returning false) when there is nothing to be done and forced is |
no test coverage detected