| commit | 15a853dd8410b2b690c3907860b6631c2d814928 | [log] [tgz] |
|---|---|---|
| author | Hans Boehm <hboehm@google.com> | Tue Jun 23 18:32:02 2015 -0700 |
| committer | Hans Boehm <hboehm@google.com> | Wed Jun 24 05:10:40 2015 +0000 |
| tree | 31c90402e28f9fe1c4f4c10235048cc60006a466 | |
| parent | 6e8087f483c13288bd589389414d9ed35ab73c31 [diff] |
Restore original scroll position on = Bug: 22041219 Restore default scrolling position when hitting enter after scrolling an instant display result. We could instead preserve the position and fix the display logic to no longer get confused by a non-default initial position. But this feels more natural to me. Change-Id: I43bb936b5bb1b5af7a7befb90fdfc0f745fb7729