tree 02bd72f113ea1941ae1958459ad8c7e5b86015bf
parent 81bd3f57cf85dc0267e752fd73555cd9a59c1ab1
author Tony Wickham <twickham@google.com> 1521672683 -0700
committer Tony Wickham <twickham@google.com> 1521672791 -0700

Support multiple Views of extra hotseat content

Also adjust workspace page indicator:
- Center vertically
- Rounded corners

Change-Id: I96c2f3da3522d70726f544126b516c33c8fb7bc8