lp:~tapaal-developers/tapaal/fix-915296-disableRename

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 680

Jiri Srba: Approve on 2012-03-08

Diff: 46 lines (+22/-0)

1 file modified

src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+22/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #915296: Rename and Remove for shared places/transitions are not disable when list is empty

Critical

Fix Released

Link a bug report

Related blueprints

679. By Kenneth Yrke Jørgensen on 2012-03-08

Now also fixed bug #915296 for shared transitions and when moving between
shared transitions and shared places.

678. By Kenneth Yrke Jørgensen on 2012-03-08

Fix for bug #915296, rename and delete not disabled when no components in list

Made a fix, however the enable/disable actions in the panel needs to
be refactored.

677. By Jakob Taankvist on 2012-03-06

Transitions can now only be turned only when they are selected. It ss now possible to add tokens by scrolling on a selected place. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

676. By Jiri Srba on 2012-03-03

Fixes bug #944740. by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba

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