1. 18 Jun, 2020 1 commit
  2. 13 Apr, 2020 3 commits
  3. 12 Apr, 2020 5 commits
  4. 08 Dec, 2019 4 commits
  5. 09 Oct, 2019 2 commits
  6. 08 Oct, 2019 6 commits
  7. 05 Aug, 2019 2 commits
  8. 23 Jul, 2019 1 commit
    • Andreas Gohr's avatar
      hide content by diverting the document · 2fe43ad9
      Andreas Gohr authored
      This changes the way how content is hidden from the user by diverting
      the renderer doc to a sacrificial space. This way all rendering outputs
      to this space and is simply thrown away after the fact.
      
      This has two advantages:
      
      1) no separate renderer processes need to be instantiated (less resource
      hungry)
      2) section edit byte positions stay correct
      2fe43ad9
  9. 11 Jan, 2019 12 commits
  10. 10 Jan, 2019 4 commits