~tapaal-contributor/tapaal/hide-show-names-1921393

Viewing all changes in revision 1139.

  • Committer: lsaid
  • Date: 2021-07-23 21:13:07 UTC
  • Revision ID: lena.said@hotmail.com-20210723211307-ppwxl9me4jcckwvb
Undo/redo takes previous visibility factor into consideration

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: