lp:~tapaal-contributor/tapaal/add-undo-batch-export-1938790
Created by
Lena Ernstsen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/add-undo-batch-export-1938790
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 (code)
-
Diff: 241 lines (+126/-32)3 files modifiedsrc/dk/aau/cs/gui/undo/AddFileExportBatchCommand.java (+36/-0)
src/dk/aau/cs/gui/undo/RemoveFileExportBatchCommand.java (+36/-0)
src/pipe/gui/ExportBatchDialog.java (+54/-32)
Related bugs
Bug #1938790: Undo removal of models in batch export | Undecided | Fix Committed |
Related blueprints
Branch information
Recent revisions
- 1130. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/hide-show-names-1921393 allowing to show/hide place/transition names
- 1129. By Jiri Srba <email address hidden>
-
merged in lp:~tapaal-contributor/tapaal/fix-double-undo fixing double registration of undo
- 1128. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/cut-names-1923011 fixing a problem with box heights on linux
- 1126. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913 allows to show more tokens and when limit exceeded, it shows >99999999
- 1123. By Jiri Srba
-
merged in lp:~tapaal-contributor/tapaal/dialog-always-on-top-1918912 fixing a problem with the layout dialog being on top of all other windows when working
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal