lp:~tapaal-contributor/tapaal/bug-944740-draw-offset

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 676

Kenneth Yrke Jørgensen: Approve (code) on 2012-03-03

Jiri Srba: Approve on 2012-03-02

Diff: 51 lines (+8/-4)

3 files modified

src/pipe/gui/DrawingSurfaceImpl.java (+4/-2)
src/pipe/gui/Pipe.java (+1/-0)
src/pipe/gui/graphicElements/PetriNetObject.java (+3/-2)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #944740: Offset from 5 to 100

High

Fix Released

Link a bug report

Related blueprints

676. By Jiri Srba on 2012-03-02

Fixes bug #944740 where the increase in size of drawing surface
introduced some other problems.

675. By Jiri Srba on 2012-03-02

Made it possible for the user to select the specific verification methods in the batch processing dialog by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

674. By Mathias Andersen on 2012-03-01

Delay in the simulator can now contain only numerical values with precision of 5 decimal places. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba, Kenneth Yrke Jørgensen

673. By Kenneth Yrke Jørgensen on 2012-02-29

Merged branch with fix for bug #874217 by TAPAAL Developers review by Jiri Srba approved by Jiri Srba

672. By Kenneth Yrke Jørgensen on 2012-02-29

Merged branck with fix for bug #940280 by Kenneth Yrke Jørgensen review by Jiri Srba approved by Jiri Srba, Mathias Andersen

671. By Kenneth Yrke Jørgensen on 2012-02-29

Merged branch fixing bug #891944 by TAPAAL Developers review by Jiri Srba approved by Jiri Srba

670. By Jiri Srba on 2012-02-29

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 on 2012-02-29

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

668. By Jiri Srba on 2012-02-28

added run script for mac to tools

667. By Jiri Srba on 2012-02-27

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