TAPAAL

lp:~tapaal-contributor/tapaal/select-all-disable-1835873

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

1037. By Peter Taankvist <email address hidden>

When clicking on the drawing surface the tab is focused such that ctrl+a works on the drawing surface

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

1032. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/export-import-PNML-1853823 fixing saving/loading of PNML files

1031. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/focus-in-automatic-layout-1853903 fixing focus in the automatic layout dialog

1030. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/loading-of-large-nets-1848945 fixing loading of large nets speed

1029. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 fixing the closing of annotation using the x

1028. By Jiri Srba

merged in lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions fixing arcs jumping when transitions are too close to each other

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.