1. 08 Dec, 2019 4 commits
  2. 09 Oct, 2019 2 commits
  3. 08 Oct, 2019 6 commits
  4. 05 Aug, 2019 2 commits
  5. 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
  6. 11 Jan, 2019 12 commits
  7. 10 Jan, 2019 13 commits