mirror of
https://github.com/lollipopkit/flutter_server_box.git
synced 2025-12-17 07:14:28 +01:00
55 lines
2.1 KiB
Dart
55 lines
2.1 KiB
Dart
import 'package:flutter/material.dart';
|
|
import 'package:xterm/ui.dart';
|
|
|
|
const termDarkTheme = TerminalTheme(
|
|
cursor: Color.fromARGB(137, 174, 175, 173),
|
|
selection: Color.fromARGB(147, 174, 175, 173),
|
|
foreground: Color(0XFFCCCCCC),
|
|
background: Colors.black,
|
|
searchHitBackground: Color(0XFFFFFF2B),
|
|
searchHitBackgroundCurrent: Color(0XFF31FF26),
|
|
searchHitForeground: Color(0XFF000000),
|
|
red: Color.fromARGB(255, 194, 54, 33),
|
|
green: Color.fromARGB(255, 37, 188, 36),
|
|
yellow: Color.fromARGB(255, 173, 173, 39),
|
|
blue: Color.fromARGB(255, 73, 46, 225),
|
|
magenta: Color.fromARGB(255, 211, 56, 211),
|
|
cyan: Color.fromARGB(255, 51, 187, 200),
|
|
white: Color.fromARGB(255, 203, 204, 205),
|
|
brightBlack: Color.fromARGB(255, 129, 131, 131),
|
|
brightRed: Color.fromARGB(255, 252, 57, 31),
|
|
brightGreen: Color.fromARGB(255, 49, 231, 34),
|
|
brightYellow: Color.fromARGB(255, 234, 236, 35),
|
|
brightBlue: Color.fromARGB(255, 88, 51, 255),
|
|
brightMagenta: Color.fromARGB(255, 249, 53, 248),
|
|
brightCyan: Color.fromARGB(255, 20, 240, 240),
|
|
brightWhite: Color.fromARGB(255, 233, 235, 235),
|
|
black: Colors.black,
|
|
);
|
|
|
|
const termLightTheme = TerminalTheme(
|
|
cursor: Color.fromARGB(153, 174, 175, 173),
|
|
selection: Color.fromARGB(102, 174, 175, 173),
|
|
foreground: Color(0XFF000000),
|
|
background: Color(0XFFFFFFFF),
|
|
searchHitBackground: Color(0XFFFFFF2B),
|
|
searchHitBackgroundCurrent: Color(0XFF31FF26),
|
|
searchHitForeground: Color(0XFF000000),
|
|
red: Color.fromARGB(255, 194, 54, 33),
|
|
green: Color.fromARGB(255, 37, 188, 36),
|
|
yellow: Color.fromARGB(255, 173, 173, 39),
|
|
blue: Color.fromARGB(255, 73, 46, 225),
|
|
magenta: Color.fromARGB(255, 211, 56, 211),
|
|
cyan: Color.fromARGB(255, 51, 187, 200),
|
|
white: Color.fromARGB(255, 203, 204, 205),
|
|
brightBlack: Color.fromARGB(255, 129, 131, 131),
|
|
brightRed: Color.fromARGB(255, 252, 57, 31),
|
|
brightGreen: Color.fromARGB(255, 49, 231, 34),
|
|
brightYellow: Color.fromARGB(255, 234, 236, 35),
|
|
brightBlue: Color.fromARGB(255, 88, 51, 255),
|
|
brightMagenta: Color.fromARGB(255, 249, 53, 248),
|
|
brightCyan: Color.fromARGB(255, 20, 240, 240),
|
|
brightWhite: Color.fromARGB(255, 233, 235, 235),
|
|
black: Colors.black,
|
|
);
|