Currently we can only select individual vertices by clicking on them, and this highlights the "network" of vertices and edges that are directly connected to the selected vertex. It would be significantly more versatile if we could select multiple vertices to, say, highlight a particular "region" of the graph. This would also allow for customising the appearance of a specific region.
This would also let us move a particular "region" of the graph as it is (by keeping the relative position of the elements with each other).
In order for this to be implemented cleanly, we need the selection to include edges.
Proposed Solution
[ ] Select an Edge by clicking on it, which will highlight the edge and its endpoint vertices. The Preview window should display the edge encoding. It doesn't really need to display anything else, but we could make it display the concept details of each endpoint vertex too.
[ ] Allow multiple vertices and edges to be concurrently selected. When # of selected objects >= 2, highlight the selected vertices (but NOT their connections).
Problem to Solve
Currently we can only select individual vertices by clicking on them, and this highlights the "network" of vertices and edges that are directly connected to the selected vertex. It would be significantly more versatile if we could select multiple vertices to, say, highlight a particular "region" of the graph. This would also allow for customising the appearance of a specific region.
This would also let us move a particular "region" of the graph as it is (by keeping the relative position of the elements with each other).
In order for this to be implemented cleanly, we need the selection to include edges.
Proposed Solution