tree a3019d2df9e2e2048212d4e44e8237e9db32dc5b
parent d7a7bfc304139a766e0879370db2340f092b117d
author Federico Baron <fbaron@google.com> 1664470024 -0700
committer Federico Baron <fbaron@google.com> 1664987503 -0700

Change delightful pagination flag and use it for workspace

Before the flag name would only fit 'delightful pagination' for folders, but now we're adding that feature to workspace also, hence the flag rename.
The flag is now also used in launcher to show the new XML file that uses PageIndicatorDots rather than WorkspacePageIndicator

Bug: 249773534
Test: manual
Change-Id: I6cf6d52e76ad1ec60ecb54c5cca204e9ac35cc39