From 1ad9f012557af80b8d8cd9ae77249982b4772fed Mon Sep 17 00:00:00 2001 From: MH Johnson Date: Thu, 27 Sep 2018 15:20:03 -0400 Subject: [PATCH] Remove extra space in widget_inspector dart doc (#22359) --- packages/flutter/lib/src/widgets/widget_inspector.dart | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/flutter/lib/src/widgets/widget_inspector.dart b/packages/flutter/lib/src/widgets/widget_inspector.dart index c9a06d96aa..0544c087e9 100644 --- a/packages/flutter/lib/src/widgets/widget_inspector.dart +++ b/packages/flutter/lib/src/widgets/widget_inspector.dart @@ -517,7 +517,7 @@ class _ScreenshotPaintingContext extends PaintingContext { /// size of the output image. It is independent of the /// [window.devicePixelRatio] for the device, so specifying 1.0 (the default) /// will give you a 1:1 mapping between logical pixels and the output pixels - // / in the image. + /// in the image. /// /// The [debugPaint] argument specifies whether the image should include the /// output of [RenderObject.debugPaint] for [renderObject] with