Buttons not enabled/disabled when undoing
Bug #1940415 reported by
Lena Ernstsen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
Buttons in the left panel are not enabled/disabled when we undo.
Fx if the constant list contains one constant, and we undo adding the constant (making the list empty), the "edit" and "remove" buttons are still enabled.
Related branches
lp:~tapaal-contributor/tapaal/undo-disable-buttons-1940415
- Jiri Srba: Approve
-
Diff: 112 lines (+21/-30)2 files modifiedsrc/pipe/gui/undo/AddConstantEdit.java (+0/-1)
src/pipe/gui/widgets/ConstantsPane.java (+21/-29)
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.