Open fedarko opened 2 years ago
i.e. edges between a node and its duplicate, for bubble boundaries. These seem to be weirdly small -- I suspect something's going wrong.
quick surface-level patch: just modify the js style for edge.is_dup as follows:
edge.is_dup
{ selector: "edge.is_dup", style: { "line-style": "dashed", width: 15 }, },
i.e. edges between a node and its duplicate, for bubble boundaries. These seem to be weirdly small -- I suspect something's going wrong.