Set a double value in the preferences editor.
@see android.content.SharedPreferences.Editor
@param editor the editor
@param key The name of the preference to modify.
@param value The new value for the preference.
@return the editor.
547813
public static SharedPreferences.Editor putDouble(SharedPreferences.Editor editor, String key, double value) {
        return editor.putString(key, String.valueOf(value));
    }
298031
private double getParamDouble(String key, double defaultValue) {
        String value = values.get(key);
        if (value==null || value.isEmpty()) {
            return defaultValue;
        }
        try {
            return Double.valueOf(value);
        } catch (NumberFormatException e) {
            throw new RuntimeException("Invalid double value: >>>"+value+"<<<", e);
        }
    }
134458
public void setParamTabEdButtonStyle(String value) {

        try {
            m_userSettings.setEditorButtonStyle(Integer.parseInt(value));
        } catch (Throwable t) {
            // should usually never happen
        }
    }
163180
public Options putDouble(String key, IModel<Double> value)
	{
		putOption(key, new DoubleOption(value));
		return this;
	}
1062270
public void setDoubleAttribute(String name, Double value) {
		ensureAttributes();
		Attribute attribute = new DoubleAttribute(value);
		attribute.setEditable(isEditable(name));
		getAllAttributes().put(name, attribute);

	}
1045605
public void setDouble(Double value) {
		this.checkNull(value);
		list.add(value);
		type.add(Double.class);
	}
1113496
@NonNull
    public static SharedPreferences.Editor putStringArray(@NonNull SharedPreferences.Editor editor,
            @NonNull String key, @Nullable String[] values) {
        return putStringArray(editor, key, values, DEFAULT_DELIMITER);
    }
1265887
public void setValue(double value) {
        this.value = lockValueInRange
                ? Op.bound(value, minimum, maximum)
                : value;
    }
529999
public String put(final String key, final Double value) {
    return this._current.put(key, value.toString());
  }
1230842
public static Double toDouble(Object value, Double defaultValue) {
		return convert(Double.class, value, defaultValue);
	}
112745
def setValue(self, key, value):
        
        if self._customFormat:
            self._customFormat.setValue(key, value)
        else:
            super(XSettings, self).setValue(key, wrapVariant(value))
858919
@NonNull
    public static SharedPreferences.Editor putJson(@NonNull SharedPreferences.Editor editor,
            @NonNull String key, @Nullable Object obj) {
        editor.putString(key, GsonHelper.toJson(obj));
        return editor;
    }
1255660
@Override
    public final Double optDouble(final String key, final Double defaultValue) {
        Double result = optDouble(key);
        return result == null ? defaultValue : result;
    }
1094198
public synchronized void setOption(String key, String value)
	{
		if (key == null || value == null) {
			return;
		}
		config.put(key, value);
	}
276193
@SuppressWarnings({"rawtypes", "unchecked"})
  public void initializeEditors(final Object editor) {
    if (editor instanceof HasValueChangeHandlers && valueChangeHandler != null) {
      ((HasValueChangeHandlers) editor).addValueChangeHandler(valueChangeHandler);
      // if widget has a value change handler, validate on change
      if (validateOnVueChangeHandler != null) {
        ((HasValueChangeHandlers) editor).addValueChangeHandler(validateOnVueChangeHandler);
      }
    }
    // if widget has a key up handler, validate on key up
    if (editor instanceof HasKeyUpHandlers && validateOnKeyUpHandler != null) {
      ((HasKeyUpHandlers) editor).addKeyUpHandler(validateOnKeyUpHandler);
    }
    // try to submit form on return
    if (editor instanceof HasKeyPressHandlers && commitOnReturnHandler != null) {
      ((HasKeyPressHandlers) editor).addKeyPressHandler(commitOnReturnHandler);
    }
  }
1374707
@Override
	public String setValue(String value) {
		String result = this.value;
		this.value = value;
		calculateCompareKey();
		return result;
	}
863317
@SuppressLint("CommitPrefEdits")
  @Override public void set(String value) {
    Editor editor = getPreferences().edit().putString(getKey(), value);
    PREF_SAVER.save(editor);
  }