TAPAAL

lp:~tapaal-contributor/tapaal/batch-remove-button-active-1780125

Created by Peter Haahr Taankvist and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/batch-remove-button-active-1780125
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

979. By Peter Taankvist <email address hidden>

Remove button in batch dialog remains active after processing

978. By Kenneth Yrke Jørgensen

Updated bzrignore with .r and .bzr-repo

977. By Jiri Srba <email address hidden>

Merged in branch lp:~yrke/tapaal/tapaal-DatalayerClenup doing cleanup in Datalayer
and PNML loading

976. By Jiri Srba <email address hidden>

merged in branch lp:~yrke/tapaal/cleanup-selectionmanager doing
some code cleanup in SelectionManager.java

975. By Jiri Srba

merged in branch lp:~tapaal-contributor/tapaal/highlight-names-on-select-1786755
that highlights names of selected places and transitions

974. By Jiri Srba <email address hidden>

merged in branch lp:~yrke/tapaal/tapaal-removeObservableDataLayer
removing some code

973. By Jiri Srba <email address hidden>

merged in branch lp:~yrke/tapaal/tapaal-fixes-1
cleaning up in GUI

972. By Jiri Srba <email address hidden>

merged in branch lp:~tapaal-contributor/tapaal/tapn-ending-for-files-686545 changing standard ending of TAPAAL file to .tapn

971. By Jiri Srba <email address hidden>

merge in branch lp:~tapaal-contributor/tapaal/paint-arc-labels-on-select-1786459that highlights labels when an arc is selected

970. By Jiri Srba <email address hidden>

merged in brnch lp:~tapaal-contributor/tapaal/interval-lables-on-arcs-1242848
allowing to move labels of arcs around in the net

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.