Wrap dev tools extension screen with SelectionArea.

rrousselGit · Mar 8, 2024 · b7d5ab7 · b7d5ab7
1 parent 9403cf6
commit b7d5ab7
Showing 1 changed file with 51 additions and 49 deletions.
diff --git a/packages/provider_devtools_extension/lib/src/provider_screen.dart b/packages/provider_devtools_extension/lib/src/provider_screen.dart
@@ -54,58 +54,60 @@ class ProviderScreenBody extends ConsumerWidget {
       if (hasError) showProviderErrorBanner();
     });
 
-    return Split(
-      axis: splitAxis,
-      initialFractions: const [0.33, 0.67],
-      children: [
-        const RoundedOutlinedBorder(
-          clip: true,
-          child: Column(
-            children: [
-              AreaPaneHeader(
-                roundedTopBorder: false,
-                includeTopBorder: false,
-                title: Text('Providers'),
-              ),
-              Expanded(
-                child: ProviderList(),
-              ),
-            ],
-          ),
-        ),
-        RoundedOutlinedBorder(
-          clip: true,
-          child: Column(
-            children: [
-              AreaPaneHeader(
-                roundedTopBorder: false,
-                includeTopBorder: false,
-                title: Text(detailsTitleText),
-                actions: [
-                  IconButton(
-                    icon: const Icon(Icons.settings),
-                    onPressed: () {
-                      unawaited(
-                        showDialog(
-                          context: context,
-                          builder: (_) => _StateInspectorSettingsDialog(),
-                        ),
-                      );
-                    },
-                  ),
-                ],
-              ),
-              if (selectedProviderId != null)
+    return SelectionArea(
+      child: Split(
+        axis: splitAxis,
+        initialFractions: const [0.33, 0.67],
+        children: [
+          const RoundedOutlinedBorder(
+            clip: true,
+            child: Column(
+              children: [
+                AreaPaneHeader(
+                  roundedTopBorder: false,
+                  includeTopBorder: false,
+                  title: Text('Providers'),
+                ),
                 Expanded(
-                  child: InstanceViewer(
-                    rootPath: InstancePath.fromProviderId(selectedProviderId),
-                    showInternalProperties: ref.watch(_showInternals),
-                  ),
+                  child: ProviderList(),
                 ),
-            ],
+              ],
+            ),
           ),
-        ),
-      ],
+          RoundedOutlinedBorder(
+            clip: true,
+            child: Column(
+              children: [
+                AreaPaneHeader(
+                  roundedTopBorder: false,
+                  includeTopBorder: false,
+                  title: Text(detailsTitleText),
+                  actions: [
+                    IconButton(
+                      icon: const Icon(Icons.settings),
+                      onPressed: () {
+                        unawaited(
+                          showDialog(
+                            context: context,
+                            builder: (_) => _StateInspectorSettingsDialog(),
+                          ),
+                        );
+                      },
+                    ),
+                  ],
+                ),
+                if (selectedProviderId != null)
+                  Expanded(
+                    child: InstanceViewer(
+                      rootPath: InstancePath.fromProviderId(selectedProviderId),
+                      showInternalProperties: ref.watch(_showInternals),
+                    ),
+                  ),
+              ],
+            ),
+          ),
+        ],
+      ),
     );
   }
 }