You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix broken HTML output. FlowDocument can't use save()/restore() when …
…changing styles, because a page-break will need a </g>, closing any style save()/restore(). Solution: not using that renderer state stack for FlowDocument apart from the onBeginPage callback. One rare case of the fix being now cleaner, more correct and faster at the same time :)