reader/android: determine the initial page automatically.

When a device joins an existing device set, it determines the initial
page to show based on what the other devices in the device set are
currently looking at. More specifically, the initial page becomes the
last page of the first consecutive set of pages + 1.

Ex1) When there is only one device looking at page 2: the initial page
of the second device is determined 3.

Ex2) Two devices are looking at pages 3 and 4: the initial page of the
third device is 5.

Ex3) Two devices are looking at pages 3 and 5: the initial page of the
third device is 4.

Closes #53.

Change-Id: Ib52bff8efb37cd7798200df1221dbd1b8c91d5a1
2 files changed
tree: 9a8a804467142e6b2304f634af12555ff6c34d9d
  1. android/
  2. common/
  3. web/
  4. .editorconfig
  5. .gitignore
  6. .jiriignore
  7. .jshintignore
  8. .jshintrc
  9. AUTHORS
  10. CONTRIBUTING.md
  11. CONTRIBUTORS
  12. LICENSE
  13. Makefile
  14. PATENTS
  15. README.md
  16. VERSION
README.md

Reader

An example multi-device PDF reader built using Vanadium on both the web and Android platforms. The web version requires use of the Vanadium Chrome extension.

All apps exchange information using Syncbase. Details of the various projects can be found in their respective directories.