From f375b5acee2c5cb7be14b00f9d36145d4b1e0792 Mon Sep 17 00:00:00 2001 From: Mary Date: Fri, 26 May 2017 09:44:46 -0700 Subject: [PATCH] Remove duplicated word "space" from docstrings (#10328) --- packages/flutter/lib/src/rendering/flex.dart | 4 ++-- packages/flutter/lib/src/widgets/basic.dart | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/packages/flutter/lib/src/rendering/flex.dart b/packages/flutter/lib/src/rendering/flex.dart index e12d19cb4e9..6a1c7f78679 100644 --- a/packages/flutter/lib/src/rendering/flex.dart +++ b/packages/flutter/lib/src/rendering/flex.dart @@ -40,7 +40,7 @@ class FlexParentData extends ContainerBoxParentDataMixin { String toString() => '${super.toString()}; flex=$flex'; } -/// How much space space should be occupied in the main axis. +/// How much space should be occupied in the main axis. /// /// During a flex layout, available space along the main axis is allocated to /// children. After allocating space, there might be some remaining free space. @@ -192,7 +192,7 @@ class RenderFlex extends RenderBox with ContainerRenderObjectMixin