Preserve selection across device rotation.

Also, update Selection model to use a discrete provisional selection,
   rather than a superset "total" selection

Bug: 27075323
Change-Id: I855e6b66010b3cdd599cc0a9f0046a7efadca5fe
4 files changed
tree: 3a01f480d3f5c40d11996968b4ed781ce1c6fcd7
  1. res/
  2. src/
  3. tests/
  4. Android.mk
  5. AndroidManifest.xml
  6. lint.xml
  7. wrap_alpha.py