mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
AppCode:Schemes: improved synchronization + do not delete old run configurations
This commit is contained in:
@@ -77,7 +77,7 @@ public abstract class RunManagerEx extends RunManager {
|
||||
|
||||
public abstract Collection<RunnerAndConfigurationSettings> getSortedConfigurations();
|
||||
|
||||
public abstract void removeConfiguration(RunnerAndConfigurationSettings settings);
|
||||
public abstract void removeConfiguration(@Nullable RunnerAndConfigurationSettings settings);
|
||||
|
||||
public abstract void addRunManagerListener(RunManagerListener listener);
|
||||
public abstract void removeRunManagerListener(RunManagerListener listener);
|
||||
|
||||
@@ -311,7 +311,9 @@ public class RunManagerImpl extends RunManagerEx implements JDOMExternalizable,
|
||||
}
|
||||
|
||||
@Override
|
||||
public void removeConfiguration(RunnerAndConfigurationSettings settings) {
|
||||
public void removeConfiguration(@Nullable RunnerAndConfigurationSettings settings) {
|
||||
if (settings == null) return;
|
||||
|
||||
for (Iterator<RunnerAndConfigurationSettings> it = getSortedConfigurations().iterator(); it.hasNext(); ) {
|
||||
final RunnerAndConfigurationSettings configuration = it.next();
|
||||
if (configuration.equals(settings)) {
|
||||
|
||||
Reference in New Issue
Block a user