[yocto] [RFC 14/17] plugins/sdk.ide: Add method to rename a profile and its preference store
Timo Mueller
mail at timomueller.eu
Thu Jan 24 07:12:38 PST 2013
From: Timo Mueller <timo.mueller at bmw-carit.de>
When renaming a profile the current values are stored in the profile's
new preference store.
Signed-off-by: Timo Mueller <timo.mueller at bmw-carit.de>
---
.../org.yocto.sdk.ide/src/org/yocto/sdk/ide/YoctoProfileSetting.java | 4 ++++
.../src/org/yocto/sdk/ide/preferences/YoctoSDKPreferencePage.java | 5 +++++
2 files changed, 9 insertions(+)
diff --git a/plugins/org.yocto.sdk.ide/src/org/yocto/sdk/ide/YoctoProfileSetting.java b/plugins/org.yocto.sdk.ide/src/org/yocto/sdk/ide/YoctoProfileSetting.java
index a28dce9..47916c7 100644
--- a/plugins/org.yocto.sdk.ide/src/org/yocto/sdk/ide/YoctoProfileSetting.java
+++ b/plugins/org.yocto.sdk.ide/src/org/yocto/sdk/ide/YoctoProfileSetting.java
@@ -203,6 +203,10 @@ public class YoctoProfileSetting {
String newProfileName = profileNameDialog.getValue();
profileElement.rename(selectedItem, profileNameDialog.getValue());
+ if (preferencePage instanceof YoctoSDKPreferencePage) {
+ ((YoctoSDKPreferencePage) preferencePage).renameProfile(selectedItem, newProfileName);
+ }
+
sdkConfigsCombo.setItem(selectedIndex, newProfileName);
sdkConfigsCombo.select(selectedIndex);
}
diff --git a/plugins/org.yocto.sdk.ide/src/org/yocto/sdk/ide/preferences/YoctoSDKPreferencePage.java b/plugins/org.yocto.sdk.ide/src/org/yocto/sdk/ide/preferences/YoctoSDKPreferencePage.java
index cb4a993..0c5928e 100644
--- a/plugins/org.yocto.sdk.ide/src/org/yocto/sdk/ide/preferences/YoctoSDKPreferencePage.java
+++ b/plugins/org.yocto.sdk.ide/src/org/yocto/sdk/ide/preferences/YoctoSDKPreferencePage.java
@@ -90,4 +90,9 @@ public class YoctoSDKPreferencePage extends PreferencePage implements IWorkbench
YoctoUIElement profileElement = YoctoSDKUtils.getElemFromStore(getPreferenceStore());
yoctoUISetting.setCurrentInput(profileElement);
}
+
+ public void renameProfile(String oldProfileName, String newProfileName) {
+ YoctoUIElement oldProfileElement = YoctoSDKUtils.getElemFromStore(YoctoSDKPlugin.getProfilePreferenceStore(oldProfileName));
+ YoctoSDKUtils.saveElemToStore(oldProfileElement, YoctoSDKPlugin.getProfilePreferenceStore(newProfileName));
+ }
}
--
1.7.11.7
More information about the yocto
mailing list