package jetbrains.mps.lang.editor.tooltips.runtime;

/*Generated by MPS */

import com.intellij.openapi.util.registry.Registry;

public interface TooltipTimingProperties {
  int getShortDelayBeforeShow();

  default int getLongDelayBeforeShow() {
    return getShortDelayBeforeShow() + 1000;
  }

  int getShowImmediatelyPeriod();

  TooltipTimingProperties DEFAULT = new TooltipTimingProperties() {
    @Override
    public int getShortDelayBeforeShow() {
      return Registry.intValue("ide.tooltip.initialDelay");
    }

    @Override
    public int getShowImmediatelyPeriod() {
      return Registry.intValue("ide.tooltip.reshowDelay");
    }
  };
}
