devtools
[Property Editor] Can filter properties in the Property Editor
#9022

Merged

[Property Editor] Can filter properties in the Property Editor #9022

elliette merged 14 commits into flutter:master from elliette:issue-8955

Add search bar (does not filter yet

3cc7607e

Searching works

9b3590af

Add test cases

9e537364

elliette requested a review 1 year ago

elliette removed review request 1 year ago

elliette requested a review from

kenzieschmoll 1 year ago

kenzieschmoll commented on 2025-03-11

Merge branch 'master' into issue-8955

3974a833

Has a few quirks

e56bf7e6

Better

322a4937

Re-order methods

cdf5b398

Fix tests

6700aa30

kenzieschmoll commented on 2025-03-18

Respond to PR comments

34a2c732

Delete stranded comment

a92d1d73

elliette added release-notes-not-required

Update test cases

d46c813c

elliette changed the title ~~[Property Editor] Can search for properties in the Property Editor~~ [Property Editor] Can filter properties in the Property Editor 1 year ago

kenzieschmoll commented on 2025-03-19

Merge branch 'master' into issue-8955

fd603570

Respond to PR comments

72a2bb28

kenzieschmoll approved these changes on 2025-03-20

Remove unused import

c0285754

elliette merged 55fafd20 into master 1 year ago

Reviewers

kenzieschmoll

Assignees

No one assigned

Labels

release-notes-not-required

Milestone

No milestone

devtools [Property Editor] Can filter properties in the Property Editor #9022 Merged

[Property Editor] Can filter properties in the Property Editor #9022

devtools
[Property Editor] Can filter properties in the Property Editor
#9022

Merged