Closed LenaSaid closed 1 year ago
When editing a place (removing/adding a token) and undoing this change, the number of tokens is updated accordingly.
Solves https://bugs.launchpad.net/tapaal/+bug/1995844.
When editing a place (removing/adding a token) and undoing this change, the number of tokens is updated accordingly.
Solves https://bugs.launchpad.net/tapaal/+bug/1995844.