| commit | a184511bb45145897d041f4402341a5ba26ea0ee | [log] [tgz] |
|---|---|---|
| author | Federico Baron <fbaron@google.com> | Thu Oct 20 21:11:58 2022 -0700 |
| committer | Federico Baron <fbaron@google.com> | Tue Oct 25 15:14:37 2022 -0700 |
| tree | 4632c972f0f30c79d679a7526733e635c3aa5dc5 | |
| parent | 391280818393ed503417357ea7d0959f288e9f5f [diff] |
Add dot pagination in workspace Here we add dot pagination (the same as the one in folders) to the workspace. Bug: 254769710 Test: Turn on the flag SHOW_DOT_PAGINATION and check out the workspace Change-Id: Ia1e9ec78eae661aa5e7c37b2b2f1ded38b138ce8