eclipse-jdt / eclipse.jdt.ui

Eclipse Public License 2.0
36 stars 86 forks source link

Adapt to new return-type of IExecutionEnvironmentsManager.getSupportedExecutionEnvironments() #1600

Closed HannesWell closed 3 weeks ago

HannesWell commented 3 weeks ago

What it does

Adapt to new return-type of IExecutionEnvironmentsManager.getSupportedExecutionEnvironments(), changed in https://github.com/eclipse-jdt/eclipse.jdt.debug/pull/474.

~Without that change being submitted, this PR's build cannot succeed (and without this, an I-Build with the other PR applied cannot succeed too).~ Without that change this PR leads to wrong display orders of the EEs.

Author checklist