Show the available shortcuts

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

Show the available shortcuts #35

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

Add a menu item 'help' with the subitem 'keyboard shortcuts' which shows a pop up with all the available shortcuts of the web interface.

mgieseking commented 4 years ago

Let's collect which kind of shortcuts are available:

ctrl + selected node -> snap node to grid
shift + left mouse click -> move drawing panel
scrolling -> zoom in and zoom out
del -> delete selected nodes

annyanich commented 4 years ago

I put this in the help modal in ddf0cdbc33dc17023154448494ec6c9b430fbce1