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 |