TAPAAL

lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899

Created by Peter Haahr Taankvist and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/fix-positionalInfo-detection-1870899
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

1045. By Peter Haahr Taankvist

Added hashmap for positionalInfo as is done for zoom and guimodels

1044. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091 fixing problem with renaming of shared places when a component is copied

1043. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535 fixing enabled buttons when pnml file open fails

1042. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/open-on-windows-1868525 fixing .xml file open on windows

1041. By <email address hidden>

changed year from 2019 to 2020

1040. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/select-all-disable-1835873 fixing focus issues when changing templates

1039. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/constants-blink-1853902 allowing constants to blink when selected in editor mode

1038. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/show-smart-draw-dialog-PNML-1856544 calling automatic layout tool if position information is missing

1037. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/seperate-save-paths-1855266 fixing load/save paths

1036. By Jiri Srba <email address hidden>

merged in lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL fixing the loading of the newest verifyta engines

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.