[Android] Support double-tap selection

ui/events/gesture_detection/gesture_configuration.h

Index: ui/events/gesture_detection/gesture_configuration.h
diff --git a/ui/events/gesture_detection/gesture_configuration.h b/ui/events/gesture_detection/gesture_configuration.h
index 6d100c8eeb36f0f8abc564e342971b6890a365e9..c530d94dd6909207fb9822a088f023f5d6e7ca8e 100644
--- a/ui/events/gesture_detection/gesture_configuration.h
+++ b/ui/events/gesture_detection/gesture_configuration.h
@@ -72,6 +72,8 @@ class GESTURE_DETECTION_EXPORT GestureConfiguration {
   void set_max_distance_for_two_finger_tap_in_pixels(float val) {
     max_distance_for_two_finger_tap_in_pixels_ = val;
   }
+  int max_tap_count() const { return max_tap_count_; }
+  void set_max_tap_count(int count) { max_tap_count_ = count; }
   float max_fling_velocity() const { return max_fling_velocity_; }
   void set_max_fling_velocity(float val) { max_fling_velocity_ = val; }
   float max_gesture_bounds_length() const {
@@ -224,6 +226,10 @@ class GESTURE_DETECTION_EXPORT GestureConfiguration {
   int long_press_time_in_ms_;
   float max_distance_between_taps_for_double_tap_;
 
+  // The max length of a repeated tap sequence, e.g., to support double-click
+  // only this is 2, to support triple-click it's 3.
+  int max_tap_count_;
+
   // The maximum allowed distance between two fingers for a two finger tap. If
   // the distance between two fingers is greater than this value, we will not
   // recognize a two finger tap.