[yocto] [RFC v2 15/18] plugins/sdk.ide: Add method to delete a profile
Timo Mueller
mail at timomueller.eu
Wed Jan 30 05:56:36 PST 2013
From: Timo Mueller <timo.mueller at bmw-carit.de>
Deletion of a profile currently has no effects on the preference
page.
Signed-off-by: Timo Mueller <timo.mueller at bmw-carit.de>
---
.../org.yocto.sdk.ide/src/org/yocto/sdk/ide/YoctoProfileSetting.java | 4 ++++
1 file changed, 4 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 2767d7a..738dba7 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
@@ -146,6 +146,10 @@ public class YoctoProfileSetting {
sdkConfigsCombo.select(0);
sdkConfigsCombo.remove(selectionIndex);
profileElement.remove(selectedItem);
+
+ if (preferencePage instanceof YoctoSDKPreferencePage) {
+ ((YoctoSDKPreferencePage) preferencePage).deleteProfile(selectedItem);
+ }
}
});
}
--
1.7.11.7
More information about the yocto
mailing list