Package org.eclipse.php.internal.ui.preferences.util

Examples of org.eclipse.php.internal.ui.preferences.util.Key


    return getKey(PHPCorePlugin.ID, key);
  }

  protected boolean checkChanges(IScopeContext currContext) {
    if (fProject != null) {
      final Key versionKey = getPHPCoreKey(Keys.PHP_VERSION);
      // synch the php facets version if needed
      String newVersion = versionKey
          .getStoredValue(currContext, fManager);
      if (newVersion == null) {
        newVersion = getValue(versionKey);
      }
      final IStatus status = PHPFacets.setFacetedVersion(fProject,
View Full Code Here


   *
   * @deprecated
   * @param preferences
   */
  public void updatePDTPreferences(CodeFormatterPreferences preferences) {
    Key indentKey = PHPFormatterConfigurationBlock.PREF_FORMATTER_INDENTATION_SIZE;
    Key tabSizeKey = PHPFormatterConfigurationBlock.PREF_FORMATTER_TAB_SIZE;
    Key useTabKey = PHPFormatterConfigurationBlock.PREF_FORMATTER_USE_TABS;

    setValue(indentKey, Integer.valueOf(preferences.indentationSize)
        .toString());
    setValue(tabSizeKey, Integer.valueOf(preferences.tabSize).toString());

View Full Code Here

TOP

Related Classes of org.eclipse.php.internal.ui.preferences.util.Key

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.