aljaz/flutter_server_box
1
1
Fork 0
mirror of https://github.com/lollipopkit/flutter_server_box.git synced 2025-12-17 15:24:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

opt.: mem usage

Browse Source
This commit is contained in:
lollipopkit
2023-09-13 15:22:48 +08:00
parent 278d5984b2
commit eb158e63a2
44 changed files with 333 additions and 360 deletions
Download Patch File Download Diff File Expand all files Collapse all files

103
lib/data/res/terminal.dart
View File

@@ -1,54 +1,57 @@
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,
);
class TerminalThemes {
const TerminalThemes._();
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,
);
static const dark = 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,
);
static const light = 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,
);
}