| OLD | NEW |
| 1 // Copyright 2015 The Chromium Authors. All rights reserved. | 1 // Copyright 2015 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 import '../fn2.dart'; | 5 import '../fn2.dart'; |
| 6 import '../theme2/colors.dart'; | 6 import '../theme2/colors.dart'; |
| 7 import '../theme2/view_configuration.dart'; | 7 import '../theme2/view_configuration.dart'; |
| 8 | 8 |
| 9 class DrawerHeader extends Component { | 9 class DrawerHeader extends Component { |
| 10 | 10 |
| 11 DrawerHeader({ Object key, this.children }) : super(key: key); | 11 DrawerHeader({ Object key, this.children }) : super(key: key); |
| 12 | 12 |
| 13 List<UINode> children; | 13 final List<UINode> children; |
| 14 | 14 |
| 15 UINode build() { | 15 UINode build() { |
| 16 return new Container( | 16 return new Container( |
| 17 key: 'drawer-header-outside', | 17 key: 'drawer-header-outside', |
| 18 height: kStatusBarHeight + kMaterialDrawerHeight, | 18 height: kStatusBarHeight + kMaterialDrawerHeight, |
| 19 decoration: new BoxDecoration( | 19 decoration: new BoxDecoration( |
| 20 backgroundColor: BlueGrey[50], | 20 backgroundColor: BlueGrey[50], |
| 21 border: const Border( | 21 border: const Border( |
| 22 bottom: const BorderSide( | 22 bottom: const BorderSide( |
| 23 color: const Color(0xFFD1D9E1), | 23 color: const Color(0xFFD1D9E1), |
| (...skipping 15 matching lines...) Expand all Loading... |
| 39 direction: FlexDirection.horizontal, | 39 direction: FlexDirection.horizontal, |
| 40 children: children | 40 children: children |
| 41 ) | 41 ) |
| 42 ) | 42 ) |
| 43 ] | 43 ] |
| 44 ) | 44 ) |
| 45 ); | 45 ); |
| 46 } | 46 } |
| 47 | 47 |
| 48 } | 48 } |
| OLD | NEW |