Community
Participate
Working Groups
See https://github.com/eclipse/xtext-eclipse/issues/264. As long as a build is running users cannot open any Xtext based editors. The only reason for this XText ticket is *unconditional* attempt of org.eclipse.ui.editors.text.FileDocumentProvider.createElementInfo(Object) to call org.eclipse.ui.editors.text.FileDocumentProvider.refreshFile(IFile) which will open a "user task is waiting" progress dialog if any other workspace task (like build) is already running. If users aren't aware that the can safely cancel this task, they will wait and wait and wait... In our case they could wait hours... We should simply do what the workaround in XText does and check IF we need to do a refresh before we start a blocking task. I will provide a patch in a moment.
New Gerrit change created: https://git.eclipse.org/r/141516
Gerrit change https://git.eclipse.org/r/141516 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=1ae1f3baeaf8cdb3570b9c23665176335cce0014
Verified with I20190502-1800.