scrollpastend.js 978 B

12345678910111213141516171819202122232425262728293031323334
  1. (function() {
  2. "use strict";
  3. CodeMirror.defineOption("scrollPastEnd", false, function(cm, val, old) {
  4. if (old && old != CodeMirror.Init) {
  5. cm.off("change", onChange);
  6. cm.display.lineSpace.parentNode.style.paddingBottom = "";
  7. cm.state.scrollPastEndPadding = null;
  8. }
  9. if (val) {
  10. cm.on("change", onChange);
  11. updateBottomMargin(cm);
  12. }
  13. });
  14. function onChange(cm, change) {
  15. if (CodeMirror.changeEnd(change).line == cm.lastLine())
  16. updateBottomMargin(cm);
  17. }
  18. function updateBottomMargin(cm) {
  19. var padding = "";
  20. if (cm.lineCount() > 1) {
  21. var totalH = cm.display.scroller.clientHeight - 30,
  22. lastLineH = cm.getLineHandle(cm.lastLine()).height;
  23. padding = (totalH - lastLineH) + "px";
  24. }
  25. if (cm.state.scrollPastEndPadding != padding) {
  26. cm.state.scrollPastEndPadding = padding;
  27. cm.display.lineSpace.parentNode.style.paddingBottom = padding;
  28. cm.setSize();
  29. }
  30. }
  31. })();