Skip to content
  • Andreas Gohr's avatar
    2fe43ad9
    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
    hide content by diverting the document
    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
Loading