-
Notifications
You must be signed in to change notification settings - Fork 3k
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
[shared_preferences] Add shared preferences devtool #8322
base: main
Are you sure you want to change the base?
[shared_preferences] Add shared preferences devtool #8322
Conversation
@kenzieschmoll and @stuartmorgan reopening the PR for the reverted changes. @kenzieschmoll now I'm getting an error on Also, I don't know why the changes are different, checked every file, but this PR seems to have |
Never mind the additions issue! I actually found the offending file. I'll remove mockito for this file, 3k+ changes just for the mocks is not reasonable. |
@kenzieschmoll about the SDK constraint required by the EDIT: |
I think if you upgrade the |
That is the issue, it is already on
The @stuartmorgan do you know if the |
Agreed this should be our target solution. If this is not possible, I can downgrade the min version to 3.27.0 and do a patch release of |
This PR adds the shared_preferences_tool package. This package uses the devtools_extension tooling to create a tool for shared preferences. The idea of this PR came from @kenzieschmoll on this issue. Initially I've published this tool as a separate package, but this PR aims to bring the functionality to the main shared_preferences package. Once this PR gets merged I'll archive the
shared_preferences_tools
package.shared_preferences_tools.mp4
Pre-launch Checklist
dart format
.)[shared_preferences]
pubspec.yaml
with an appropriate new version according to the pub versioning philosophy, or this PR is exempt from version changes.CHANGELOG.md
to add a description of the change, following repository CHANGELOG style.///
).If you need help, consider asking for advice on the #hackers-new channel on Discord.