mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-09-10 12:03:16 +02:00
Code Issues Wiki Activity

Final work for PR 61596 - changing the storage of a enumerated option choice from its value to its ID

Browse source
This commit is contained in:
Sean Evoy 2004-05-12 14:33:12 +00:00
parent 9de996037c
commit 7ba7c61143
2 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
build/org.eclipse.cdt.managedbuilder.ui/src/org/eclipse/cdt/managedbuilder/ui/properties/BuildOptionSettingsPage.java
View file

@ -139,8 +139,9 @@ public class BuildOptionSettingsPage extends BuildSettingsPage {
case IOption.ENUMERATED :
String enumVal = getPreferenceStore().getString(
option.getId());
ManagedBuildManager.setOption(configuration, option,
enumVal);
String enumId = option.getEnumeratedId(enumVal);
ManagedBuildManager.setOption(configuration, option,
(enumId.length() > 0) ? enumId : enumVal);
break;
case IOption.STRING :
String strVal = getPreferenceStore().getString(

4
build/org.eclipse.cdt.managedbuilder.ui/src/org/eclipse/cdt/managedbuilder/ui/properties/BuildToolSettingsPage.java
View file

@ -431,7 +431,9 @@ public class BuildToolSettingsPage extends BuildSettingsPage {
break;
case IOption.ENUMERATED :
String enumVal = getPreferenceStore().getString(option.getId());
ManagedBuildManager.setOption(configuration, option, enumVal);
String enumId = option.getEnumeratedId(enumVal);
ManagedBuildManager.setOption(configuration, option,
(enumId.length() > 0) ? enumId : enumVal);
break;
case IOption.STRING :
String strVal = getPreferenceStore().getString(option.getId());