mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-22 06:02:11 +02:00
Bug 574239 - Adding path mapping through CSourceNotFoundEditor makes
launch configuration's Source tab dirty Change-Id: I32396e274e4e803344d5e4a56324fb84ca40fd93
This commit is contained in:
parent
b831c73cfd
commit
481f08beb4
3 changed files with 11 additions and 2 deletions
|
@ -3,7 +3,7 @@ Bundle-ManifestVersion: 2
|
||||||
Bundle-Name: %pluginName
|
Bundle-Name: %pluginName
|
||||||
Bundle-Vendor: %providerName
|
Bundle-Vendor: %providerName
|
||||||
Bundle-SymbolicName: org.eclipse.cdt.dsf.gdb;singleton:=true
|
Bundle-SymbolicName: org.eclipse.cdt.dsf.gdb;singleton:=true
|
||||||
Bundle-Version: 6.4.0.qualifier
|
Bundle-Version: 6.4.100.qualifier
|
||||||
Bundle-Activator: org.eclipse.cdt.dsf.gdb.internal.GdbPlugin
|
Bundle-Activator: org.eclipse.cdt.dsf.gdb.internal.GdbPlugin
|
||||||
Bundle-Localization: plugin
|
Bundle-Localization: plugin
|
||||||
Require-Bundle: org.eclipse.core.runtime,
|
Require-Bundle: org.eclipse.core.runtime,
|
||||||
|
|
|
@ -59,7 +59,11 @@ public class CoreBuildLocalDebugLaunchDelegate extends CoreBuildLaunchConfigDele
|
||||||
} else {
|
} else {
|
||||||
locator.initializeFromMemento(memento, configuration);
|
locator.initializeFromMemento(memento, configuration);
|
||||||
}
|
}
|
||||||
|
String type = configuration.getAttribute(ILaunchConfiguration.ATTR_SOURCE_LOCATOR_ID, (String) null);
|
||||||
|
if (type == null) {
|
||||||
|
type = configuration.getType().getSourceLocatorId();
|
||||||
|
}
|
||||||
|
locator.setId(type);
|
||||||
launch.setSourceLocator(locator);
|
launch.setSourceLocator(locator);
|
||||||
return launch;
|
return launch;
|
||||||
}
|
}
|
||||||
|
|
|
@ -455,6 +455,11 @@ public class GdbLaunchDelegate extends AbstractCLaunchDelegate2 {
|
||||||
} else {
|
} else {
|
||||||
locator.initializeFromMemento(memento, configuration);
|
locator.initializeFromMemento(memento, configuration);
|
||||||
}
|
}
|
||||||
|
String type = configuration.getAttribute(ILaunchConfiguration.ATTR_SOURCE_LOCATOR_ID, (String) null);
|
||||||
|
if (type == null) {
|
||||||
|
type = configuration.getType().getSourceLocatorId();
|
||||||
|
}
|
||||||
|
locator.setId(type);
|
||||||
return locator;
|
return locator;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Reference in a new issue