| commit | 994652991b5e3b5f85540af6aeb04609401509ed | [log] [tgz] |
|---|---|---|
| author | Jun Mukai <mukai@google.com> | Thu Oct 01 18:42:33 2015 +0900 |
| committer | Jun Mukai <mukai@google.com> | Thu Oct 01 18:44:24 2015 +0900 |
| tree | d15b493a8e5ea9654be14cfc52a3f62655769bbd | |
| parent | f8f9c10247b32c0075f0e0e30c1f38d7a61a030d [diff] |
Fix the condition of hovering at the edge. Similar to Ic2ad1a472a422682617dbe25f9d81a5e5d2c020a, some touch pads don't use TOOL_TYPE_MOUSE but TOOL_TYPE_FINGER, therefore this hovering does not work. InputDevice.getSources() are better. Bug: 20093789 Change-Id: I283f2b802b77083f7bcded29766b2c9a77eda23b