| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566 |
- import 'dart:ui' as ui;
- import 'package:flutter/material.dart';
- class TerminalStyle {
- static const defaultFontFamily = [
- 'Monaco',
- 'Droid Sans Mono',
- 'Noto Sans Mono',
- 'Roboto Mono',
- 'Consolas',
- 'Noto Sans Mono CJK SC',
- 'Noto Sans Mono CJK TC',
- 'Noto Sans Mono CJK KR',
- 'Noto Sans Mono CJK JP',
- 'Noto Sans Mono CJK HK',
- 'monospace',
- 'Noto Color Emoji',
- 'Noto Sans Symbols',
- 'Roboto',
- 'Ubuntu',
- 'Cantarell',
- 'DejaVu Sans',
- 'Liberation Sans',
- 'Arial',
- 'Droid Sans Fallback',
- 'sans-serif',
- 'Cascadia Mono',
- 'Arial Unicode MS',
- ];
- const TerminalStyle({
- this.fontFamily = defaultFontFamily,
- this.fontSize = 14,
- this.fontWidthScaleFactor = 1.0,
- this.fontHeightScaleFactor = 1.1,
- this.textStyleProvider,
- });
- final List<String> fontFamily;
- final double fontSize;
- final double fontWidthScaleFactor;
- final double fontHeightScaleFactor;
- final TextStyleProvider? textStyleProvider;
- }
- typedef TextStyleProvider = Function({
- TextStyle textStyle,
- Color color,
- Color backgroundColor,
- double fontSize,
- FontWeight fontWeight,
- FontStyle fontStyle,
- double letterSpacing,
- double wordSpacing,
- TextBaseline textBaseline,
- double height,
- Locale locale,
- Paint foreground,
- Paint background,
- List<ui.Shadow> shadows,
- List<ui.FontFeature> fontFeatures,
- TextDecoration decoration,
- Color decorationColor,
- TextDecorationStyle decorationStyle,
- double decorationThickness,
- });
|