lp:~tapaal-contributor/tapaal/autodetect-lens-check

Branch merges

Propose for merging

No branches dependent on this one.

Rejected for merging into lp:tapaal

Kenneth Yrke Jørgensen: Pending requested 2020-08-20

TAPAAL Reviewers: Pending requested 2020-08-18

Diff: 226 lines (+66/-16)

5 files modified

src/dk/aau/cs/gui/TabContent.java (+4/-2)
src/dk/aau/cs/io/LoadedModel.java (+20/-4)
src/dk/aau/cs/io/ModelLoader.java (+30/-7)
src/dk/aau/cs/io/TapnXmlLoader.java (+5/-1)
src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java (+7/-2)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1102. By Lena Ernstsen on 2020-08-19

Merge with trunk

1101. By Lena Ernstsen on 2020-08-18

Merged with untimed-timed-gui

1100. By Lena Ernstsen on 2020-08-17

Added check for whether the lens is correct according to the net

1099. By Kenneth Yrke Jørgensen on 2020-08-14

Merged trunk

1098. By Kenneth Yrke Jørgensen on 2020-08-13

Fixed issue with wrong lense when converting a transport arc to untimed

1097. By Kenneth Yrke Jørgensen on 2020-08-11

Fixed changing lense when creating new net types

1096. By Peter Taankvist <email address hidden> on 2020-08-11

Update lens when creating tabcontent

1095. By Kenneth Yrke Jørgensen on 2020-08-11

Merged with upstream

1094. By Kenneth Yrke Jørgensen on 2020-08-11

Fixed error where draw menu was never enabled and made same logic for animation

1093. By Kenneth Yrke Jørgensen on 2020-08-11

Added lens to construtor

For now Place/Transition and input arc.