(cm)
| 587 | // Re-align line numbers and gutter marks to compensate for |
| 588 | // horizontal scrolling. |
| 589 | function alignHorizontally(cm) { |
| 590 | var display = cm.display, view = display.view; |
| 591 | if (!display.alignWidgets && (!display.gutters.firstChild || !cm.options.fixedGutter)) return; |
| 592 | var comp = compensateForHScroll(display) - display.scroller.scrollLeft + cm.doc.scrollLeft; |
| 593 | var gutterW = display.gutters.offsetWidth, left = comp + "px"; |
| 594 | for (var i = 0; i < view.length; i++) if (!view[i].hidden) { |
| 595 | if (cm.options.fixedGutter && view[i].gutter) |
| 596 | view[i].gutter.style.left = left; |
| 597 | var align = view[i].alignable; |
| 598 | if (align) for (var j = 0; j < align.length; j++) |
| 599 | align[j].style.left = left; |
| 600 | } |
| 601 | if (cm.options.fixedGutter) |
| 602 | display.gutters.style.left = (comp + gutterW) + "px"; |
| 603 | } |
| 604 | |
| 605 | // Used to ensure that the line number gutter is still the right |
| 606 | // size for the current document size. Returns true when an update |
no test coverage detected