Closed uforic closed 1 year ago
Set the color to deepskyblue
and incidentally, found and fixed a bug with rendering off-the-grid blackboard clients.
Changes added in #383.
Thanks!
Also removed the reference to labels in CONTRIBUTING.md
. Did not realise those without write
access could not edit the labels. Thanks for the catch.
Description
I noticed that exclusive write arrows weren't being rendered when using the
render_dot_tree
function.In the code that adds edges, we check reads and writes, but not exclusive writes.
Adding exclusive writes fixed the issue.
Open questions