Add ‘name’s to widget location Json. (#14993)

a3f520e4 · Phil Quitslund · GitHub · 9a9aed19 · a3f520e4
Unverified Commit a3f520e4 authored Feb 28, 2018 by Phil Quitslund Committed by GitHub Feb 28, 2018
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

widget_inspector.dart packages/flutter/lib/src/widgets/widget_inspector.dart +3 -0

No files found.
--- a/packages/flutter/lib/src/widgets/widget_inspector.dart
+++ b/packages/flutter/lib/src/widgets/widget_inspector.dart
@@ -1101,6 +1101,9 @@ class _Location {
      'line': line,
      'column': column,
    };
+    if (name != null) {
+      json['name'] = name;
+    }
    if (parameterLocations != null) {
      json['parameterLocations'] = parameterLocations.map<Map<String, Object>>(
          (_Location location) => location.toJsonMap()).toList();