本文整理了Java中org.eclipse.core.runtime.Preferences.setDefault()
方法的一些代码示例,展示了Preferences.setDefault()
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。Preferences.setDefault()
方法的具体详情如下:
包路径:org.eclipse.core.runtime.Preferences
类名称:Preferences
方法名:setDefault
Preferences.setDefault介绍
[英]Sets the default value for the double-valued property with the given name. The given name must not be null
.
Note that the current value of the property is affected if the property's current value was its old default value, in which case it changes to the new default value. If the property's current is different from its old default value, its current value is unaffected. No property change events are reported by changing default values.
[中]设置具有给定名称的双值属性的默认值。给定的名称不能是[$0$]。
请注意,如果属性的当前值是其旧默认值,则该属性的当前值将受到影响,在这种情况下,它将更改为新的默认值。如果属性的当前值与其旧默认值不同,则其当前值不受影响。更改默认值不会报告任何属性更改事件。
代码示例
代码示例来源:origin: org.eclipse/org.eclipse.jdt.ui
/**
* {@inheritDoc}
*/
public void setDefault(String name, double value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse/org.eclipse.jdt.ui
/**
* {@inheritDoc}
*/
public void setDefault(String name, String defaultObject) {
fPreferences.setDefault(name, defaultObject);
}
代码示例来源:origin: org.eclipse/org.eclipse.jdt.ui
/**
* {@inheritDoc}
*/
public void setDefault(String name, boolean value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse/org.eclipse.jdt.ui
/**
* {@inheritDoc}
*/
public void setDefault(String name, float value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse.jdt/org.eclipse.jdt.ui
@Override
public void setDefault(String name, int value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse.jdt/org.eclipse.jdt.ui
@Override
public void setDefault(String name, long value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.jdt.ui
@Override
public void setDefault(String name, long value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.jdt.ui
@Override
public void setDefault(String name, String defaultObject) {
fPreferences.setDefault(name, defaultObject);
}
代码示例来源:origin: org.eclipse.jdt/org.eclipse.jdt.ui
@Override
public void setDefault(String name, double value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.jdt.ui
@Override
public void setDefault(String name, int value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse/org.eclipse.jdt.ui
/**
* {@inheritDoc}
*/
public void setDefault(String name, int value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse/org.eclipse.jdt.ui
/**
* {@inheritDoc}
*/
public void setDefault(String name, long value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse.jdt/org.eclipse.jdt.ui
@Override
public void setDefault(String name, float value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse.jdt/org.eclipse.jdt.ui
@Override
public void setDefault(String name, String defaultObject) {
fPreferences.setDefault(name, defaultObject);
}
代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.jdt.ui
@Override
public void setDefault(String name, double value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse.jdt/org.eclipse.jdt.ui
@Override
public void setDefault(String name, boolean value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse.scout.sdk.deps/org.eclipse.jdt.ui
@Override
public void setDefault(String name, float value) {
fPreferences.setDefault(name, value);
}
代码示例来源:origin: org.eclipse/org.eclipse.jst.j2ee.ejb.annotation.model
public static void initializeDefaultPreferences(Preferences store) {
String prefix = ModelPlugin.PLUGINID + ".";
store.setDefault(prefix + ANNOTATIONPROVIDER + ".value", "XDoclet");
}
代码示例来源:origin: org.eclipse/org.eclipse.wst.server.ui
public void setDefaults() {
preferences.setDefault(PREF_PROMPT_IRREVERSIBLE, getDefaultPromptBeforeIrreversibleChange());
preferences.setDefault(PREF_LAUNCH_MODE, getDefaultLaunchMode());
preferences.setDefault(PREF_LAUNCH_MODE2, getDefaultLaunchMode2());
preferences.setDefault(PREF_ENABLE_BREAKPOINTS, getDefaultEnableBreakpoints());
preferences.setDefault(PREF_RESTART, getDefaultRestart());
preferences.setDefault(PREF_SAVE_EDITORS, getDefaultSaveEditors());
preferences.setDefault(PREF_HOST_NAMES, "localhost");
preferences.setDefault(PREF_SHOW_ON_ACTIVITY, true);
preferences.setDefault(PREF_CREATE_SERVER_WITH_RUNTIME, false);
}
代码示例来源:origin: org.eclipse/org.eclipse.wst.web.ui
protected void initializeDefaultPreferences() {
getPreferences().setDefault(Keys.STATIC_WEB_CONTENT, Defaults.STATIC_WEB_CONTENT);
}