lp:~tapaal-contributor/tapaal/move-open-composed-net-1879128
Created by
Thomas Pedersen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/move-open-composed-net-1879128
Members of
TAPAAL Contributors
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
- Kenneth Yrke Jørgensen: Approve
- Thomas Pedersen (community): Needs Resubmitting
-
Diff: 487 lines (+123/-55)9 files modifiedsrc/dk/aau/cs/gui/TabContent.java (+51/-4)
src/dk/aau/cs/gui/TabContentActions.java (+2/-0)
src/dk/aau/cs/io/PNMLWriter.java (+1/-1)
src/dk/aau/cs/io/TraceImportExport.java (+2/-2)
src/dk/aau/cs/verification/TAPNComposer.java (+31/-24)
src/pipe/gui/GuiFrame.java (+12/-1)
src/pipe/gui/GuiFrameController.java (+2/-1)
src/pipe/gui/widgets/CTLQueryDialog.java (+11/-11)
src/pipe/gui/widgets/QueryDialog.java (+11/-11)
Related bugs
Bug #1879128: Move "open composed net" to Tools | Wishlist | Fix Released |
Related blueprints
Branch information
Recent revisions
- 1051. By Jiri Srba
-
merged in lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip removing deadcode (updateToolTip)
- 1050. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904 fixing redo/undo in batch processing in the file add/remove dialog
- 1049. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-1875174 fixing undo/redo for objects that are placed outside of the drawing aread
- 1048. By Jiri Srba
-
merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes
- 1046. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/fix-shared-places-exception-1871091 fixing shared places exception when copying components
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal