mikivanousek / parity-games Goto Github PK

selecting an edge without selecting both ends, will break copy deleting.

When you create multiple edges at once and undo. It is done one by one.

yes

Layout on drag only works well with the force-directed layout, so ideally we would hide or disable the button when a different layout is selected

Parsing oink files with no labels is broken.

The program should automatically rearrange the relative positions of a group of vertices (potentially all the vertices), to create a visually pleasing diagram.

The program should include an autosave feature to prevent data loss.

The program must have a manual, which allows a student or a researcher to start using the program without help within 5 minutes.

• make layout changes undoable
• make 'q' action undoable

If you refresh and create a node without moving the mouse it creates the node at (0,0) (top left of screen)

• change priority set to a keybind instead of rightclick on vertex
• change adding edges to rightclick instead of Alt+click
• change keybind for adding odd vertex; 'o' is too far for your left hand

now when clicking the save button, the parity game is automatically downloaded to the Downloads folder with the standard name. This should be changed such that the user can choose the name and the folder themselves.

The program could have the ability to clone a group of vertices, such that:
– Each original vertex receives a clone with identical priority.
– The clones are interconnected as the originals.
– For each parent of an original vertex, an arc is added from it and the original vertex’s clone.
– For each child of an original vertex, an arc is added from the clone vertex to the child.

The program must export a diagram to a parity game file format, supported by Oink and other
parity game programs.

The program must import a parity game file supported by Oink and create a diagram.

To recreate:

1. import a trace
2. close the trace menu
3. import a trace again

This results in the trace menu not showing up even though it should

currently, labels are only shown (if the imported file contains them)

when 2 nodes are connected with 2 edges, they are both straight.

The label and priority can now both be shown, but it would be better if the label is displayed above the vertex. Might not be worth the effort though.

• find a good place to store the name (in window.pg_name)
• Display the name in the UI
• Let the user edit the name
• Use the name as the name of the file when saving, loading, exporting and importing.

if you zoom out a lot you lose your diagram, and you can now only find it again by running an automatic layout. But this also changes the layout of the graph, so we want to have a button to just reset the zoom and position