lp:~cpn-gui/tapaal/placeEditorPanel

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

997. By Mark Glavind on 2018-11-21

WIP on colored transition panel. Added graphical elements for allmost all the functionality

996. By Mark Glavind on 2018-11-20

added colored transition panel and started work. Added toString override to all guard expressions such that they can be printed in a readable way

995. By Mark Glavind on 2018-11-15

Place editor panel functionality finished. Need help fixing a last bug, where all tokens in the list are changed when adding a new token.

994. By Mark Glavind on 2018-11-14

WIP on colored place editor panel. Changed printing of tokens to use tostring method from colored tokens to make the code more clean

993. By Mark Glavind on 2018-11-08

WIP commit for colored place panel in order to change workspace

992. By Mark Glavind on 2018-11-02

WIP on edit place panel.

991. By Mark Glavind on 2018-10-31

merge from GraphicalElements branch

990. By Mark Glavind on 2018-10-26

merged work in progress from graphicalElements in order to show supervisor our progression

989. By Niels Christensen on 2018-10-26

"Fixing"

988. By Niels Christensen on 2018-10-25

Getting up to date