Graph Duplication Bug (delete graph also stops working)

[shishir03]

Attempting to change the type of graph (for instance, from a PDA to an NFA) while the add edge dialog box is still open results in the dialog box still showing up in the "new" graph, as shown below.

While the box goes away if you move any of the edges on the new graph, deleting the graph does not clear the screen if there was a previous graph, and instead reverts to this previous graph. Pressing the delete button on any other graph type also duplicates this graph as shown below.

Meanwhile, pressing "delete" on the dialog box results in the graph from the previous machine type getting duplicated, overwriting the old graph. Pressing the delete key on this old graph does not work either.

This probably has to do with some weird stuff with the history stack.

[Lexseal]

What did you mean by deleting the graph? I just tried it out and it seemed after you move the new graph around to make the dialog go away, all the functionalities preceded as normal.

[Lexseal]

When you say the "delete key," did you mean dd? I think that might be a separate bug where keybinding was removed for some reason.

[shishir03]

What did you mean by deleting the graph? I just tried it out and it seemed after you move the new graph around to make the dialog go away, all the functionalities preceded as normal.

Yeah moving the graph around makes things go back to normal. Stuff breaks if you hit the dd key though (which otherwise works normally).

[Lexseal]

Issue most likely caused by setting graph=consts.EMPTY_GRAPH instead of {}. Note when we modify the graph, we also modify consts.EMPTY_GRAPH.

It is tentatively fixed now.