search

adamtool / webinterface

The web interface for the tool Adam (AdamMC and AdamSYNT) providing an intuitive, visual definition of Petri nets with transits and Petri games, and an interactive interface to the algorithms of AdamMC and AdamSYNT. Contains the repos (as submodules): libs, framework, logics, modelchecking, examples, synthesizer, high-level, webinterface-backend.
http://adam.informatik.uni-oldenburg.de:4567/
GNU General Public License v3.0
5 stars 2 forks source link

Don't allow right clicks on places and transitions in the simulator #17

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

Either don't allow a right click on the nodes in the simulator at all, or only show the possible behavior, i.e., currently only the firing of a transition.

mgieseking commented 4 years ago

This is the same for the strategies.

annyanich commented 4 years ago

I've hidden the impossible options (everything having to do with editing the net). For Places, which have no possible actions, it currently shows just an empty context menu with the title "Place ". Would you prefer me to disable the context menu altogether if there are no applicable actions? Or I could add a placeholder on a second line, e.g. "(no applicable actions)". What do you think?

annyanich commented 4 years ago

Here are some screenshots to illustrate the current behavior:

2020-09-01-155559_674x334 2020-09-01-155610_745x249

mgieseking commented 4 years ago

I like that one can still see the name of the node by using a right mouse click even if the name is hidden by the arrow tips. I guess I would prefer the '(no applicable actions)' option a little bit more. But then it should be gray and not clickable. If this is complicated then it's fine as it is.

annyanich commented 4 years ago

Okie dokie, no problem :) I added "No actions available". If you mouseover, the mouse cursor turns into the "not allowed" icon. (my screenshot does not show it but it's there) 2020-09-01-164153_404x436

notallowed