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
I'm wondering if this already exists somewhere, but I didn't find it. It would be great if we have this API then the integration with LiveServer.jl would gain much better refresh speed comparing to the current state.
The text was updated successfully, but these errors were encountered:
Would be useful for Convex.jl too! I recently put our examples in our docs (jump-dev/Convex.jl#339), but if someone wants to work on one of the examples, they need to generate all the docs (and hence run all the other examples too) to see the rendered output, which takes a couple minutes.
I'm wondering if this already exists somewhere, but I didn't find it. It would be great if we have this API then the integration with LiveServer.jl would gain much better refresh speed comparing to the current state.
The text was updated successfully, but these errors were encountered: