3 ms·
We are working on it and the functionality is already usable - try it out! https://github.com/fonsp/Pluto.jl/pull/985 https://github.com/fonsp/Pluto.jl/pull/985
by lungben 5y ago
We are working on it and the functionality is already usable - try it out! https://github.com/fonsp/Pluto.jl/pull/985 https://github.com/fonsp/Pluto.jl/pull/985
(Note that the UI for activating / deactivating the barrier will likely be changed before merging this PR)