DESCRIPTION:

These setting influence the way mouse input is interpreted:
- doubleclick.time (double) milliseconds after which two consecutive
  mouse clicks are not considered a double click anymore.
- doubleclick.pixel (int) Moreover it is not considered a
  double click, if the mouse moves more than this distance
  between the two clicks.