lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489
Branch merges
- Jiri Srba: Approve
-
Diff: 61 lines (+12/-12)2 files modifiedsrc/dk/aau/cs/gui/undo/RenameTimedTransitionCommand.java (+5/-5)
src/pipe/gui/widgets/TAPNTransitionEditor.java (+7/-7)
Related bugs
Bug #1767489: Renaming a transition to an invalid name show no error | Critical | Fix Released |
Related blueprints
Branch information
Recent revisions
- 959. By Peter Taankvist <email address hidden>
-
Error message shown to user when renaming transition to something invalid
- 957. By Jiri Srba <email address hidden>
-
merged in branch lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling
mixing feel and look for Mac os X with Java 9 (About menu is not working yet) - 956. By Jiri Srba <email address hidden>
-
merged in branch lp:~tapaal-contributor/tapaal/select-all-1763193 enabeling ctrl/cmd-A on all components in focus
- 955. By Jiri Srba <email address hidden>
-
merged in branch lp:~tapaal-contributor/tapaal/png-margins-fix-1762562 fixing PNG export and updated list of contributors
- 954. By Jiri Srba <email address hidden>
-
merged in branch lp:~ptaank/tapaal/run-multiple-queries- that allows to select and verify multiple queries
- 953. By Jiri Srba <email address hidden>
-
merged in branch bzr merge lp:~yrke/tapaal/tapaal-fix-1756865 fixing broken Mac integration with Java 9 (by catching and ignoring the exception)
- 952. By Jiri Srba
-
merged in bzr merge lp:~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844 fixing a problem with conversion of Reachability to CTL queries
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal