Not possible to edit part of an interval
Bug #1940402 reported by
Lena Ernstsen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
Right part of the interval gets disabled.
How to reproduce:
- Create a new timed net
- Add a constant, fx x, that is equal to 0
- Connect a transition and place with an arc
- Double-click on the arc, and do the following
- Increase the left part of the interval
- Tick "Use constant" on the left part and then the right part
- Untick "Use constant" on the left part
Now it is not possible to edit the right part of the interval
This problem appears in all dialogs containing intervals
Related branches
lp:~tapaal-contributor/tapaal/edit-interval-1940402
- Jiri Srba: Approve
-
Diff: 71 lines (+28/-26)1 file modifiedsrc/pipe/gui/widgets/GuardDialogue.java (+28/-26)
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.