tree dcc7ae3cc3378f02f9602add80399c486b48b10f
parent d2d33ad5bf2078fd1ef5abcc9d03500eed606cba
author Eugen Neufeld <eneufeld@eclipsesource.com> 1596139678 +0200
committer Eugen Neufeld <eneufeld@eclipsesource.com> 1596139678 +0200

Bug 551660 - Validation error after Undo still present

In order for validation icons to update correctly we must never directly
modify the list of diagnostics. By changing the list directly we cannot
identify changes of diagnostics. Thus the update of the validation icon
might not work.

Change-Id: Id4d358247fd453d0f367b799292740f4eb269115
Signed-off-by: Eugen Neufeld <eneufeld@eclipsesource.com>