Token count not updating on undo/redo

Bug #1995844 reported by Lena Ernstsen
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Undecided
Lena Ernstsen

Bug Description

The token count is not updated properly when undoing/redoing.

How to reproduce:
  - Open any net (fx token-ring.tapn)
  - Open place editor for a place with tokens
  - Remove one of the tokens and press "ok"
  - Undo the change
The token expression is updated, but the token count remains unchanged

It is not only a problem with remove, there is also a problem when trying to undo adding a token.

Lena Ernstsen (lsaid)
Changed in tapaal:
assignee: nobody → Lena Ernstsen (lsaid)
status: New → In Progress
Jiri Srba (srba)
Changed in tapaal:
milestone: none → cpn
Jiri Srba (srba)
Changed in tapaal:
status: In Progress → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.