(cm)
| 476 | // Re-align line numbers and gutter marks to compensate for |
| 477 | // horizontal scrolling. |
| 478 | function alignHorizontally(cm) { |
| 479 | var display = cm.display, view = display.view; |
| 480 | if (!display.alignWidgets && (!display.gutters.firstChild || !cm.options.fixedGutter)) return; |
| 481 | var comp = compensateForHScroll(display) - display.scroller.scrollLeft + cm.doc.scrollLeft; |
| 482 | var gutterW = display.gutters.offsetWidth, left = comp + "px"; |
| 483 | for (var i = 0; i < view.length; i++) if (!view[i].hidden) { |
| 484 | if (cm.options.fixedGutter && view[i].gutter) |
| 485 | view[i].gutter.style.left = left; |
| 486 | var align = view[i].alignable; |
| 487 | if (align) for (var j = 0; j < align.length; j++) |
| 488 | align[j].style.left = left; |
| 489 | } |
| 490 | if (cm.options.fixedGutter) |
| 491 | display.gutters.style.left = (comp + gutterW) + "px"; |
| 492 | } |
| 493 | |
| 494 | // Used to ensure that the line number gutter is still the right |
| 495 | // size for the current document size. Returns true when an update |
no test coverage detected