commit | 1ae1f3baeaf8cdb3570b9c23665176335cce0014 | [log] [tgz] |
---|---|---|
author | Andrey Loskutov <loskutov@gmx.de> | Thu May 02 16:06:01 2019 +0200 |
committer | Andrey Loskutov <loskutov@gmx.de> | Thu May 02 16:06:01 2019 +0200 |
tree | 7607754eab707974c02348acfae1d77ac6088429 | |
parent | ead7de4749a856cec4c830d7bd331961cc5dad27 [diff] |
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>