| // Copyright 2020 The Chromium Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| import 'package:flutter/material.dart'; |
| |
| import '../common_widgets.dart'; |
| import '../theme.dart'; |
| |
| /// Create a header area for a debugger component. |
| /// |
| /// Either one of [text] or [child] must be supplied. |
| Container debuggerSectionTitle(ThemeData theme, {String text, Widget child}) { |
| assert(text != null || child != null); |
| assert(text == null || child == null); |
| |
| return Container( |
| decoration: BoxDecoration( |
| border: Border( |
| bottom: BorderSide(color: theme.focusColor), |
| ), |
| color: titleSolidBackgroundColor(theme), |
| ), |
| padding: const EdgeInsets.only(left: defaultSpacing), |
| alignment: Alignment.centerLeft, |
| height: areaPaneHeaderHeight, |
| child: child != null ? child : Text(text, style: theme.textTheme.subtitle2), |
| ); |
| } |
| |
| Widget createCircleWidget(double radius, Color color) { |
| return Container( |
| width: radius, |
| height: radius, |
| decoration: BoxDecoration(color: color, shape: BoxShape.circle), |
| ); |
| } |
| |
| Widget createAnimatedCircleWidget(double radius, Color color) { |
| return AnimatedContainer( |
| width: radius, |
| height: radius, |
| curve: defaultCurve, |
| duration: defaultDuration, |
| decoration: BoxDecoration(color: color, shape: BoxShape.circle), |
| ); |
| } |