public void setTooltipsDelay(int delay) {
    int newValue = TOOLTIPS_DELAY_RANGE.fit(delay);
    int old = myOptions.TOOLTIPS_DELAY_MS;
    if (old == newValue) return;
    myOptions.TOOLTIPS_DELAY_MS = newValue;
    myPropertyChangeSupport.firePropertyChange(PropNames.PROP_TOOLTIPS_DELAY_MS, old, newValue);
  }
public void setTooltipsDelay(int delay)