terminal_theme.dart 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. import 'package:meta/meta.dart';
  2. import 'package:xterm/theme/terminal_color.dart';
  3. class TerminalTheme {
  4. const TerminalTheme({
  5. @required this.cursor,
  6. @required this.selection,
  7. @required this.foreground,
  8. @required this.background,
  9. @required this.black,
  10. @required this.white,
  11. @required this.red,
  12. @required this.green,
  13. @required this.yellow,
  14. @required this.blue,
  15. @required this.magenta,
  16. @required this.cyan,
  17. @required this.brightBlack,
  18. @required this.brightRed,
  19. @required this.brightGreen,
  20. @required this.brightYellow,
  21. @required this.brightBlue,
  22. @required this.brightMagenta,
  23. @required this.brightCyan,
  24. });
  25. final TerminalColor cursor;
  26. final TerminalColor selection;
  27. final TerminalColor foreground;
  28. final TerminalColor background;
  29. final TerminalColor black;
  30. final TerminalColor red;
  31. final TerminalColor green;
  32. final TerminalColor yellow;
  33. final TerminalColor blue;
  34. final TerminalColor magenta;
  35. final TerminalColor cyan;
  36. final TerminalColor brightBlack;
  37. final TerminalColor brightRed;
  38. final TerminalColor brightGreen;
  39. final TerminalColor brightYellow;
  40. final TerminalColor brightBlue;
  41. final TerminalColor brightMagenta;
  42. final TerminalColor brightCyan;
  43. final TerminalColor white;
  44. }