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 int cursor; final int selection; final int foreground; final int background; final int black; final int red; final int green; final int yellow; final int blue; final int magenta; final int cyan; final int white; final int brightBlack; final int brightRed; final int brightGreen; final int brightYellow; final int brightBlue; final int brightMagenta; final int brightCyan; final int brightWhite; final int searchHitBackground; final int searchHitBackgroundCurrent; final int searchHitForeground; }