terminal_theme.dart 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  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. @required this.brightWhite,
  25. });
  26. final TerminalColor cursor;
  27. final TerminalColor selection;
  28. final TerminalColor foreground;
  29. final TerminalColor background;
  30. final TerminalColor black;
  31. final TerminalColor red;
  32. final TerminalColor green;
  33. final TerminalColor yellow;
  34. final TerminalColor blue;
  35. final TerminalColor magenta;
  36. final TerminalColor cyan;
  37. final TerminalColor white;
  38. final TerminalColor brightBlack;
  39. final TerminalColor brightRed;
  40. final TerminalColor brightGreen;
  41. final TerminalColor brightYellow;
  42. final TerminalColor brightBlue;
  43. final TerminalColor brightMagenta;
  44. final TerminalColor brightCyan;
  45. final TerminalColor brightWhite;
  46. }