devtools
Some renamings in preferences.
#4198
Merged

Some renamings in preferences. #4198

polina-c merged 3 commits into flutter:master from polina-c:rename
polina-c
polina-c -
28b4fbf7
polina-c -
ffeec321
polina-c Update preferences.dart
77b27f0d
polina-c polina-c changed the title Rename field preferences.inspectorPreferences to preferences.inspector for better conciseness. Some renamings in preferences. 3 years ago
polina-c polina-c requested a review from CoderDake CoderDake 3 years ago
polina-c polina-c marked this pull request as ready for review 3 years ago
kenzieschmoll
kenzieschmoll commented on 2022-06-17
kenzieschmoll
kenzieschmoll approved these changes on 2022-06-17
CoderDake
CoderDake approved these changes on 2022-06-20
polina-c polina-c merged 5e5ee763 into master 3 years ago
polina-c polina-c deleted the rename branch 3 years ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone