diff options
Diffstat (limited to 'plugins/views/modelexplorer/org.eclipse.papyrus.views.modelexplorer/src/org/eclipse/papyrus/views/modelexplorer/preferences/NavigatorPreferencePage.java')
| -rw-r--r-- | plugins/views/modelexplorer/org.eclipse.papyrus.views.modelexplorer/src/org/eclipse/papyrus/views/modelexplorer/preferences/NavigatorPreferencePage.java | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/plugins/views/modelexplorer/org.eclipse.papyrus.views.modelexplorer/src/org/eclipse/papyrus/views/modelexplorer/preferences/NavigatorPreferencePage.java b/plugins/views/modelexplorer/org.eclipse.papyrus.views.modelexplorer/src/org/eclipse/papyrus/views/modelexplorer/preferences/NavigatorPreferencePage.java index 08e9c308621..5d9d306c0ef 100644 --- a/plugins/views/modelexplorer/org.eclipse.papyrus.views.modelexplorer/src/org/eclipse/papyrus/views/modelexplorer/preferences/NavigatorPreferencePage.java +++ b/plugins/views/modelexplorer/org.eclipse.papyrus.views.modelexplorer/src/org/eclipse/papyrus/views/modelexplorer/preferences/NavigatorPreferencePage.java @@ -35,22 +35,22 @@ public class NavigatorPreferencePage extends AbstractPapyrusNodePreferencePage { // String elementName = "Model Explorer";
// PreferenceConverter.setDefault(store,
- // PreferenceConstantHelper.getElementConstant(elementName,
- // PreferenceConstantHelper.COLOR_FILL), new
+ // PreferencesConstantsHelper.getElementConstant(elementName,
+ // PreferencesConstantsHelper.COLOR_FILL), new
// org.eclipse.swt.graphics.RGB(255, 255, 255));
// PreferenceConverter.setDefault(store,
- // PreferenceConstantHelper.getElementConstant(elementName,
- // PreferenceConstantHelper.COLOR_LINE), new
+ // PreferencesConstantsHelper.getElementConstant(elementName,
+ // PreferencesConstantsHelper.COLOR_LINE), new
// org.eclipse.swt.graphics.RGB(0, 0, 0));
//
// // Set the default for the gradient
- // store.setDefault(PreferenceConstantHelper.getElementConstant(elementName,
- // PreferenceConstantHelper.GRADIENT_POLICY), false);
+ // store.setDefault(PreferencesConstantsHelper.getElementConstant(elementName,
+ // PreferencesConstantsHelper.GRADIENT_POLICY), false);
// GradientPreferenceConverter gradientPreferenceConverter = new
// GradientPreferenceConverter(new org.eclipse.swt.graphics.RGB(255,
// 255, 255), new org.eclipse.swt.graphics.RGB(0, 0, 0), 0, 0);
- // store.setDefault(PreferenceConstantHelper.getElementConstant(elementName,
- // PreferenceConstantHelper.COLOR_GRADIENT),
+ // store.setDefault(PreferencesConstantsHelper.getElementConstant(elementName,
+ // PreferencesConstantsHelper.COLOR_GRADIENT),
// gradientPreferenceConverter.getPreferenceValue());
}
|