David Manning

Results 5 comments of 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