tree 4632c972f0f30c79d679a7526733e635c3aa5dc5
parent 391280818393ed503417357ea7d0959f288e9f5f
author Federico Baron <fbaron@google.com> 1666325518 -0700
committer Federico Baron <fbaron@google.com> 1666736077 -0700

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