David Manning
David Manning
I added it before, so I don't suppose I have any objections to adding it again.
One can patch this locally by adding this to one's local stylesheet: ``` css .graphviz-preview > webview { height: 100%; } ```
@paulmelnikow : Yes! I haven't used this module in a while, but it was a labor of love when I wrote it. I'll look over what you've done this weekend....
@ibc, @jmillan : This was actually fixed in catch a couple years ago. Just need to update the version of catch checked into the repo: https://github.com/catchorg/Catch2/commit/a25c1a24af8bffd35727a888a307ff0280cf9387