Skip to content
  • 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