Fix values after save+undo#36

Open

prso wants to merge 2 commits intoLonnyGomes:masterfrom prso:update-fix-v5

+49-35

Commits on Nov 11, 2020

Fix a bug when doing save and then undo doesn't keep the first value
prso
committed

Commits on Nov 12, 2020

Fix the highlight (in bold) of changes, broken in the last commit
prso
committed