Improve the drawing icons

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

Improve the drawing icons #55

Open mgieseking opened 4 years ago

mgieseking commented 4 years ago

The icons used in the left panel should be unique:

the draw flow icon could get a colored head (or even the whole pen)
the + symbol could be a circle (gray and white) with a plus and square with a plus

annyanich commented 4 years ago

Moving to 2-priority, I think this will take more effort than I estimated originally