| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657 |
- import 'package:flutter/widgets.dart';
- class TerminalTheme {
- const TerminalTheme({
- required this.cursor,
- required this.selection,
- required this.foreground,
- required this.background,
- required this.black,
- required this.white,
- required this.red,
- required this.green,
- required this.yellow,
- required this.blue,
- required this.magenta,
- required this.cyan,
- required this.brightBlack,
- required this.brightRed,
- required this.brightGreen,
- required this.brightYellow,
- required this.brightBlue,
- required this.brightMagenta,
- required this.brightCyan,
- required this.brightWhite,
- required this.searchHitBackground,
- required this.searchHitBackgroundCurrent,
- required this.searchHitForeground,
- });
- final Color cursor;
- final Color selection;
- final Color foreground;
- final Color background;
- final Color black;
- final Color red;
- final Color green;
- final Color yellow;
- final Color blue;
- final Color magenta;
- final Color cyan;
- final Color white;
- final Color brightBlack;
- final Color brightRed;
- final Color brightGreen;
- final Color brightYellow;
- final Color brightBlue;
- final Color brightMagenta;
- final Color brightCyan;
- final Color brightWhite;
- final Color searchHitBackground;
- final Color searchHitBackgroundCurrent;
- final Color searchHitForeground;
- }
|