Skip to content

Simplify API of data-managing widgets a bit, and document #26

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Mar 15, 2023

Conversation

gnprice
Copy link
Member

@gnprice gnprice commented Mar 14, 2023

Another step toward #21 and #13.

gnprice added 4 commits March 13, 2023 18:05
On copy-paste (or cut-and-paste), Android Studio tries to
automatically adjust indentation, and sometimes it makes a mess of it.
That happened when this code was moved from widgets/app.dart.
Rather than having the rest of the app refer to PerAccountRoot for
one aspect of this API and PerAccountStoreWidget for another.
Just like we did for per-account data in the previous commit.
@chrisbobbe
Copy link
Collaborator

LGTM, thanks! Merging.

@chrisbobbe chrisbobbe merged commit c2e21b1 into zulip:main Mar 15, 2023
@gnprice gnprice deleted the pr-data-widgets branch March 15, 2023 16:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants