lp:~tapaal-developers/tapaal/fix-891944-delshared
- Get this branch:
- bzr branch lp:~tapaal-developers/tapaal/fix-891944-delshared
Branch merges
- Jiri Srba: Approve
-
Diff: 99 lines (+20/-8)5 files modifiedsrc/dk/aau/cs/model/tapn/TimedArcPetriNet.java (+4/-2)
src/pipe/gui/graphicElements/PetriNetObject.java (+5/-2)
src/pipe/gui/graphicElements/tapn/TimedTransitionComponent.java (+2/-1)
src/pipe/gui/undo/DeleteTimedPlaceCommand.java (+5/-2)
src/pipe/gui/undo/DeleteTimedTransitionCommand.java (+4/-1)
Branch information
Recent revisions
- 670. By Jiri Srba
-
fixed default okButton in shared places and transitions
fixed renaming of constants from small to capital letters and back
fixed a problem where it was possible to add the same constant with different small/capital letters
fixed a focus in the shared transition/places if a wrong name is entered
fixed error when it was impossible to rename component from small to capital letters and back by Jiri Srba review by Jiri Srba approved by Jiri Srba, Kenneth Yrke Jørgensen
- 669. By Jiri Srba
-
The engine dialog has focus on close button. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Mathias Andersen, Jiri Srba
- 667. By Jiri Srba
-
Increased the offset in setBounds of the editor panel when
an element is drawn closed to the border. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba - 666. By Jiri Srba
-
Net is marked as modified also when a query is changed (by pressing save or save/verify). by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba
- 665. By Kenneth Yrke Jørgensen
-
Merged branch tapaal-
newlocateverify tapn Improved search for verifytapn by Kenneth Yrke Jørgensen review by Jiri Srba approved by Mathias Andersen, Jiri Srba
- 664. By Kenneth Yrke Jørgensen
-
Merged branch fixing bug #940234 by Kenneth Yrke Jørgensen review by Kenneth Yrke Jørgensen approved by Mathias Andersen, Jiri Srba
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal