Some renamings in preferences. #4198
-
28b4fbf7
-
ffeec321
Update preferences.dart
77b27f0d
polina-c
changed the title Rename field preferences.inspectorPreferences to preferences.inspector for better conciseness. Some renamings in preferences. 3 years ago
polina-c
marked this pull request as ready for review 3 years ago
CoderDake
approved these changes
on 2022-06-20
polina-c
merged
5e5ee763
into master 3 years ago
polina-c
deleted the rename branch 3 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub