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

Add a view item to the menu #19

Closed mgieseking closed 4 years ago

mgieseking commented 4 years ago

Add the item 'view' to the global menu and move the 'jobs on server' into it and add an option to view hide the possibly existing right panel (with strategies and so on).

mgieseking commented 4 years ago

Move the log also in this item.

annyanich commented 4 years ago

I also added the ability to snap the right panel open/shut with click/drag, the same way that the left panel snaps shut.