Thicken duplicate edges

Open fedarko opened this issue 3 years ago • 1 comments

i.e. edges between a node and its duplicate, for bubble boundaries. These seem to be weirdly small -- I suspect something's going wrong.

Apr 29 '22 02:04 fedarko

quick surface-level patch: just modify the js style for edge.is_dup as follows:

{
    selector: "edge.is_dup",
    style: {
        "line-style": "dashed",
        width: 15
    },
},

May 02 '22 14:05 fedarko