[JKT]

This would be relatively easy to solve if the double-click (which is easy to do by mistake) was replaced by a triple click (which might still happen, but would be far less common a mistake to make).