TAPAAL

lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535

Created by Peter Haahr Taankvist and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/pnml-disable-buttons-1868535
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

1042. By Peter Haahr Taankvist

Buttons correctly disabled if PNML import fails and there are no other nets open. Also do not show SmartDrawDialog if PNML import fails

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

1035. By Jiri Srba <email address hidden>

merged in lp:~yrke/tapaal/updatedVersionCheckURL with new URL for version check

1034. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/open-arg-file-1855267 allowing to call tapaal with an argument (.tapn file)

1033. By Jiri Srba <email address hidden>

merged in lp:~yrke/tapaal/updated-launch4j-config fixing launch4j script

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.