Code review comment for lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties

Loading and saving of net features does not work. Make a game untimed net and add just one place. Then save the net and open it again and it will say that the game is not a game net anymore.

When creating a new net, the layout is confusing. Instead, try to make a dialog like:

Use time semantics: [ ] Yes [ ] No
Use game semantics: [ ] Yes [ ] No

The status can contain information saying: "Time: Yes, Game: No" etc.
Kenneth, I like the current placement of this information next to the buttons, as it should be always
visible, the status bar is used more as context sensitive guide.

When you make a new query, it should offer either the CTL or Reachability dialog without asking,
depending on the Timed flag (if Timed, offer Reachability, if not Timed offer CTL).