mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
coverage: do not clone coverage data - it should be reread from xml (IDEA-65045)
This commit is contained in:
@@ -60,6 +60,14 @@ public abstract class RunConfigurationExtension {
|
||||
public abstract void patchConfiguration(RunConfigurationBase runJavaConfiguration);
|
||||
public abstract void checkConfiguration(RunConfigurationBase runJavaConfiguration) throws RuntimeConfigurationException;
|
||||
|
||||
public void cleanUserData(RunConfigurationBase runConfigurationBase) {}
|
||||
|
||||
public static void cleanExtensionsUserData(RunConfigurationBase runConfigurationBase) {
|
||||
for (RunConfigurationExtension extension : Extensions.getExtensions(EP_NAME)) {
|
||||
extension.cleanUserData(runConfigurationBase);
|
||||
}
|
||||
}
|
||||
|
||||
public RefactoringElementListener wrapElementListener(PsiElement element,
|
||||
RunConfigurationBase runJavaConfiguration,
|
||||
RefactoringElementListener listener) {
|
||||
|
||||
Reference in New Issue
Block a user