tree 7607754eab707974c02348acfae1d77ac6088429
parent ead7de4749a856cec4c830d7bd331961cc5dad27
author Andrey Loskutov <loskutov@gmx.de> 1556805961 +0200
committer Andrey Loskutov <loskutov@gmx.de> 1556805961 +0200

Bug 546920 - FileDocumentProvider.createElementInfo(Object) should not
refresh unconditionally

An attempt to call refreshFile() while workspace is locked results in a
blocking progress dialog. This is not needed if the file is not
out-of-sync, which can be tested via *non-blocking*
file.isSynchronized() API. This patch does exact that.

Change-Id: Ia1b0b7ba250f92e49bbe4343ba542a5d5c4e752b
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>