Yop,
On Fri, Jul 27, 2012 at 11:09 PM, Jean-Philippe André wrote:
> Since I still had some time (not for long tho^^), I've tried to finish
> fixing the spinner widget.
> So, here are two patches that should do the trick.
>
> Firstly, in the EDC, enable catching double and triple clicks and
> hand
Hello,
Since I still had some time (not for long tho^^), I've tried to finish
fixing the spinner widget.
So, here are two patches that should do the trick.
Firstly, in the EDC, enable catching double and triple clicks and
handle them just like any other click events. It also adjusts the size
of t
