Knotter
Knotter copied to clipboard
Synch Selected Edges dock to edge type
Make sure that if the user changes the edge type of the currently (only) selected edge, the widget will update