Move up and down in sidepanel is not undoable
Bug #1870894 reported by
Peter Haahr Taankvist
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Wishlist
|
Peter Haahr Taankvist | ||
Bug Description
Make 2 or more components (or shared places, queries, constants) and use the arrows to arrange the ordering. Then press undo. The most recently created item will disappear. (It can ofcourse be redone)
Related branches
lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-1870894
- Jiri Srba: Approve
- Kenneth Yrke Jørgensen: Approve
- Peter Haahr Taankvist (community): Needs Resubmitting
-
Diff: 464 lines (+236/-51)7 files modifiedsrc/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+39/-23)
src/dk/aau/cs/gui/TemplateExplorer.java (+34/-13)
src/dk/aau/cs/gui/undo/MoveElementDownCommand.java (+46/-0)
src/dk/aau/cs/gui/undo/MoveElementUpCommand.java (+51/-0)
src/pipe/gui/widgets/ConstantsPane.java (+26/-5)
src/pipe/gui/widgets/QueryPane.java (+31/-10)
src/pipe/gui/widgets/SidePane.java (+9/-0)
lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-3.6-1870894
- Jiri Srba: Approve
-
Diff: 433 lines (+224/-40)7 files modifiedsrc/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+38/-20)
src/dk/aau/cs/gui/TemplateExplorer.java (+31/-10)
src/dk/aau/cs/gui/undo/MoveElementDownCommand.java (+46/-0)
src/dk/aau/cs/gui/undo/MoveElementUpCommand.java (+51/-0)
src/pipe/gui/widgets/ConstantsPane.java (+26/-6)
src/pipe/gui/widgets/QueryPane.java (+23/-4)
src/pipe/gui/widgets/SidePane.java (+9/-0)
- Jiri Srba: Pending requested
-
Diff: 1033 lines (+554/-7) (has conflicts)16 files modifiedsrc/dk/aau/cs/gui/BatchProcessingDialog.java (+67/-0)
src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java (+56/-2)
src/dk/aau/cs/gui/TabContent.java (+8/-0)
src/dk/aau/cs/gui/TemplateExplorer.java (+41/-0)
src/dk/aau/cs/gui/undo/MakePlaceNewSharedMultiCommand.java (+16/-0)
src/dk/aau/cs/gui/undo/MakePlaceSharedCommand.java (+6/-0)
src/dk/aau/cs/gui/undo/MoveElementDownCommand.java (+46/-0)
src/dk/aau/cs/gui/undo/MoveElementUpCommand.java (+51/-0)
src/dk/aau/cs/verification/batchProcessing/Undo/AddFileCommand.java (+34/-0)
src/dk/aau/cs/verification/batchProcessing/Undo/RemoveFileCommand.java (+35/-0)
src/net/tapaal/TAPAAL.java (+1/-1)
src/pipe/gui/undo/TranslatePetriNetObjectEdit.java (+24/-0)
src/pipe/gui/undo/UndoManager.java (+91/-0)
src/pipe/gui/widgets/ConstantsPane.java (+42/-1)
src/pipe/gui/widgets/QueryPane.java (+27/-3)
src/pipe/gui/widgets/SidePane.java (+9/-0)
| Changed in tapaal: | |
| importance: | Undecided → Wishlist |
| status: | New → Confirmed |
| Changed in tapaal: | |
| assignee: | nobody → Peter Haahr Taankvist (ptaank) |
| Changed in tapaal: | |
| status: | Confirmed → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
