processing | DoubleClick

リファレンスにはダブルクリックは載ってないですが、やり方はありました。

Handling double clicks

なるほど、getClickCount()でクリック数をカウントする、という方法。
裏技的ですね。
このやり方だとトリプルクリックとか、普通じゃないオペレーションも可能ですね。