tree 085e508d8cffce25b069180bff807122f258e855
parent b210177d13742e0017f7ee7e6baaf9246b83a43f
author Andrey Loskutov <loskutov@gmx.de> 1620200917 +0200
committer Andrey Loskutov <loskutov@gmx.de> 1620298232 -0400

Bug 573355 - Avoid double refresh after IDE crash

This change requires resources bundle patch
https://git.eclipse.org/r/c/platform/eclipse.platform.resources/+/180203

Change-Id: Id48c7e785676fbbbdf03e271c1e3cb37722c1e06
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/180204
Tested-by: Platform Bot <platform-bot@eclipse.org>