Actually fix undo resetting tools

ClFeSc commented 3 years ago

Closes #49 Closes #7 This PR fixes an error made in #52

kpostnov commented 3 years ago

This PR should close #7 as well.

ClFeSc commented 3 years ago

With the rename this now looks fine for me.

coveralls commented 3 years ago

Pull Request Test Coverage Report for Build 895484647

16 of 16 (100.0%) changed or added relevant lines in 3 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage increased (+0.3%) to 79.565%

Totals
Change from base Build 895474048:	0.3%
Covered Lines:	841
Relevant Lines:	1057

💛 - Coveralls

coveralls commented 3 weeks ago

Pull Request Test Coverage Report for Build 895484647

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

For more information on this, see Tracking coverage changes with pull request builds.
To avoid this issue with future PRs, see these Recommended CI Configurations.
For a quick fix, rebase this PR at GitHub. Your next report should be accurate.

Details

16 of 16 (100.0%) changed or added relevant lines in 3 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage increased (+0.5%) to 79.775%

Totals
Change from base Build 895474048:	0.5%
Covered Lines:	852
Relevant Lines:	1068

hpi-swa-teaching / SketchMorph2