From 11b7037bd23a4da47775ac5d56aed7c415ba3fb0 Mon Sep 17 00:00:00 2001 From: Bartek Pacia Date: Mon, 13 Nov 2023 18:07:18 +0100 Subject: [PATCH] add link to docs about debugDefaultTargetPlatformOverride --- packages/patrol/lib/src/binding.dart | 2 ++ 1 file changed, 2 insertions(+) diff --git a/packages/patrol/lib/src/binding.dart b/packages/patrol/lib/src/binding.dart index a03e25554..cca6c48ad 100644 --- a/packages/patrol/lib/src/binding.dart +++ b/packages/patrol/lib/src/binding.dart @@ -148,6 +148,8 @@ class PatrolBinding extends LiveTestWidgetsFlutterBinding { /// Temporary workaround for DevTools extension changing this value and not /// resetting it. + /// + /// See https://github.com/flutter/devtools/issues/6719 TargetPlatform? workaroundDebugDefaultTargetPlatformOverride; @override