@@ -85,47 +85,25 @@ class PropertyEditorView extends StatelessWidget {
8585 }
8686}
8787
88- class _PropertiesList extends StatefulWidget {
88+ class _PropertiesList extends StatelessWidget {
8989 const _PropertiesList ({required this .controller});
9090
9191 final PropertyEditorController controller;
9292
9393 static const defaultItemPadding = borderPadding;
9494 static const denseItemPadding = defaultItemPadding / 2 ;
9595
96- @override
97- State <_PropertiesList > createState () => _PropertiesListState ();
98- }
99-
100- class _PropertiesListState extends State <_PropertiesList > {
101- @override
102- void initState () {
103- super .initState ();
104- // Workaround for https://github.com/flutter/devtools/issues/8929.
105- setUpTextFieldFocusFixHandler ();
106- }
107-
108- @override
109- void dispose () {
110- super .dispose ();
111- // Workaround for https://github.com/flutter/devtools/issues/8929.
112- removeTextFieldFocusFixHandler ();
113- }
114-
11596 @override
11697 Widget build (BuildContext context) {
11798 return ValueListenableBuilder (
118- valueListenable: widget. controller.filteredData,
99+ valueListenable: controller.filteredData,
119100 builder: (context, properties, _) {
120101 return Column (
121102 children: < Widget > [
122- _FilterControls (controller: widget. controller),
103+ _FilterControls (controller: controller),
123104 if (properties.isEmpty) const NoMatchingPropertiesMessage (),
124105 for (final property in properties)
125- _EditablePropertyItem (
126- property: property,
127- controller: widget.controller,
128- ),
106+ _EditablePropertyItem (property: property, controller: controller),
129107 ].joinWith (const PaddedDivider .noPadding ()),
130108 );
131109 },
0 commit comments