Skip to content

Fix issue corresponding to moving on graph

Compare
Choose a tag to compare
@Borjianamin98 Borjianamin98 released this 03 Dec 16:20
· 15 commits to master since this release

The list of tokens has a higher priority than the list of sub-graphs and
when moving on a graph, even if there is a token in the sub-graphs, the
token on the edge is still selected to move. Also our priority is to
move on the edge or sub-graph instead of going back to the top graph.