tree 1371cafd6a1c0fe8d3cd4580e7878a9adb86b183
parent cfcc0df2658d0ce7dc753511bb44ab8ae7a636f7
author Romain Guy <romainguy@android.com> 1242972610 -0700
committer Romain Guy <romainguy@android.com> 1242982799 -0700

Add a new API to ListView: setGestures(int). This allows developers to enable gestures to jump inside the list or filter it. This change also introduces a new XML attribute to control this API. It also adds the ability to theme the GestureOverlayView from the gestures library. Finally, this adds a new VERSION header to the binary format used to store the letters for the recognizer.