Closed laeubi closed 2 years ago
The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-126/1/
The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-126/2/
The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-126/3/
I have now added a error thrown if the preferences are not of the expected type.
The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-126/4/
The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-126/5/
The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-126/6/
The Jenkins build of this PR has now completed. See details at https://ci.eclipse.org/platform/job/eclipse.platform.resources/job/PR-126/7/
This makes the current Workspace visible to the ProjectPreferences right after we change the search order.
Beside that, the workspace is passed / fetched from known sources if possible
Fix https://github.com/eclipse-platform/eclipse.platform.resources/issues/124 Blocks https://github.com/eclipse-platform/eclipse.platform.resources/pull/71