Bug#443503: Mouse double clicks always

[Bernhard Sputh <bernhard.sputh@gmail.com>]

Hi Mike,

I was hit by the same problem, and got it solved by adding 
`Option "CorePointer"' to my only InputDevice section referring to the 
device "/dev/input/mice". This stopped the unwanted double clicks from 
occurring.

So try the following InputDevice section:

Section "InputDevice"
    Identifier    "Generic Mouse"
    Driver        "mouse"
    Option        "CorePointer"
    Option        "Device"        "/dev/input/mice"
    Option        "Protocol"      "ImPS/2"
    Option        "ZAxisMapping"  "4 5"
EndSection


Hope this helps you and others fighting the same problem. 

Cheers
Bernhard