| Another Preferences question [message #225291] |
Fri, 09 April 2004 11:47  |
Eclipse User |
|
|
|
I may be missunderstanding the manner in which
org.eclipse.core.runtime.Preferences actually work.
I was under the impression that:
Plugin p = Platform.getPluginRegistry().
getPluginDescriptor(pluginID).getPlugin();
Preferences prefStore = ((Plugin)p).getPluginPreferences();
prefStore.setValue(USER_GROUPS, value);
would write 'value' to a key USER_GROUPS and that this would be persisted
in the users workspace and be able to be retrieved. This information is
not being saved however and when I restart eclipse and try to retrieve
this information it is not there.
Is there something more I need to do? Does this prefStore need to be
saved? And if so how would I know where to save it to, I want the values
saved in it to be specific to the users workspace, so each user could have
different values in it.
Any details about using the Preferences class would be greatly
appreciated. Thank you.
Greg
|
|
|
|
Powered by
FUDForum. Page generated in 0.03334 seconds
Home