Skip to content
Snippets Groups Projects
  1. Aug 31, 2012
    • Marijn Haverbeke's avatar
      Change the way highlighting information is updated · 846d043e
      Marijn Haverbeke authored
       - Background parsing now never goes past the visible part of the
         document.
      
       - We only store style information for lines that are actually visible
         (and then keep it cached).
      
       - When the document changes, background highlighting always
         re-highlights from the change to the end of the visible part.
      
       - Gets rid of compareState mode methods and the hairy heuristic that
         tried to simulate it when absent.
      
       - The onHighlightComplete callback was removed, since it no longer
         really applies -- the document is only fully parsed when scrolled
         to its end.
      
      This should help preserve memory (a huge document will no longer
      immediately have parser state and highlighting information built up
      for all lines, but only for the parts that you look at), and removes
      the pathological case when you, for example, are typing at the top of
      a huge XML document, and opening or closing a tag causes a whole
      re-highlight to cascade all the way to the bottom because the
      compareState will detect a change.
      
      Issue #688
      846d043e
    • Marijn Haverbeke's avatar
      Modify the vertical sizing model once more · 288504cd
      Marijn Haverbeke authored
      Fixes a problem where the editor would always be 30 pixels smaller
      than its set height.
      
      The height is now set on the outer wrapper DIV again, and some
      height: 100% tricks are used to make height information flow
      both ways (inside-out in demo/resize.html mode, outside-in in
      normal, fixed-height mode).
      
      Closes #775
      288504cd
  2. Aug 28, 2012
  3. Aug 23, 2012
  4. Aug 21, 2012
  5. Aug 17, 2012
  6. Aug 15, 2012
  7. Aug 10, 2012
  8. Aug 07, 2012
  9. Aug 03, 2012
  10. Jul 30, 2012
  11. Jul 23, 2012
  12. Jul 20, 2012
  13. Jul 19, 2012
  14. Jul 18, 2012
  15. Jul 12, 2012
  16. Jul 06, 2012
  17. Jul 04, 2012
  18. Jul 03, 2012
  19. Jun 28, 2012
  20. Jun 27, 2012
  21. Jun 22, 2012
  22. Jun 21, 2012
  23. Jun 18, 2012
Loading