| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446 |
- import 'dart:async';
- import 'dart:math' show max, min;
- import 'package:async/async.dart';
- import 'package:xterm/buffer/buffer.dart';
- import 'package:xterm/buffer/buffer_line.dart';
- import 'package:xterm/buffer/cell_attr.dart';
- import 'package:xterm/mouse/selection.dart';
- import 'package:xterm/input/keys.dart';
- import 'package:xterm/input/keytab/keytab.dart';
- import 'package:xterm/input/keytab/keytab_escape.dart';
- import 'package:xterm/input/keytab/keytab_record.dart';
- import 'package:xterm/mouse/mouse_mode.dart';
- import 'package:xterm/terminal/ansi.dart';
- import 'package:xterm/terminal/platform.dart';
- import 'package:xterm/terminal/sbc.dart';
- import 'package:xterm/terminal/tabs.dart';
- import 'package:xterm/theme/terminal_theme.dart';
- import 'package:xterm/theme/terminal_themes.dart';
- import 'package:xterm/utli/debug_handler.dart';
- import 'package:xterm/utli/observable.dart';
- typedef TerminalInputHandler = void Function(String);
- typedef BellHandler = void Function();
- typedef TitleChangeHandler = void Function(String);
- typedef IconChangeHandler = void Function(String);
- class Terminal with Observable {
- Terminal({
- this.onInput,
- this.onBell,
- this.onTitleChange,
- this.onIconChange,
- this.platform = PlatformBehavior.unix,
- this.theme = TerminalThemes.defaultTheme,
- int maxLines,
- }) {
- _maxLines = maxLines;
- _mainBuffer = Buffer(this);
- _altBuffer = Buffer(this);
- _buffer = _mainBuffer;
- _input = StreamController<int>();
- _queue = StreamQueue<int>(_input.stream);
- tabs.reset();
- _processInput();
- // _buffer.write('this is magic!');
- }
- bool _dirty = false;
- bool get dirty {
- if (_dirty) {
- _dirty = false;
- return true;
- } else {
- return false;
- }
- }
- int _maxLines;
- int get maxLines {
- if (_maxLines == null) return null;
- return max(viewHeight, _maxLines);
- }
- int _viewWidth = 80;
- int _viewHeight = 25;
- int get viewWidth => _viewWidth;
- int get viewHeight => _viewHeight;
- int get visibleHeight => min(_viewHeight, buffer.height);
- int get invisibleHeight => buffer.height - visibleHeight;
- bool _originMode = false;
- bool _replaceMode = false;
- bool _lineFeed = true;
- bool _screenMode = false; // DECSCNM (black on white background)
- bool _autoWrapMode = true;
- bool _bracketedPasteMode = false;
- bool get originMode => _originMode;
- bool get lineFeed => _lineFeed;
- bool get newLineMode => !_lineFeed;
- bool get bracketedPasteMode => _bracketedPasteMode;
- bool _showCursor = true;
- bool _applicationCursorKeys = false;
- bool _blinkingCursor = true;
- bool get showCursor => _showCursor;
- bool get applicationCursorKeys => _applicationCursorKeys;
- bool get blinkingCursor => _blinkingCursor;
- Buffer _buffer;
- Buffer _mainBuffer;
- Buffer _altBuffer;
- StreamController<int> _input;
- StreamQueue<int> _queue;
- bool _slowMotion = false;
- bool get slowMotion => _slowMotion;
- MouseMode _mouseMode = MouseMode.none;
- MouseMode get mouseMode => _mouseMode;
- final TerminalTheme theme;
- final cellAttr = CellAttrTemplate();
- final keytab = Keytab.defaultKeytab();
- final selection = Selection();
- final tabs = Tabs();
- final debug = DebugHandler();
- final TerminalInputHandler onInput;
- final BellHandler onBell;
- final TitleChangeHandler onTitleChange;
- final IconChangeHandler onIconChange;
- final PlatformBehavior platform;
- void close() {
- _input.close();
- _queue.cancel();
- }
- Buffer get buffer {
- return _buffer;
- }
- int get cursorX => buffer.cursorX;
- int get cursorY => buffer.cursorY;
- int get scrollOffset => buffer.scrollOffsetFromBottom;
- void write(String text) async {
- for (var char in text.runes) {
- writeChar(char);
- }
- }
- void writeChar(int codePoint) {
- _input.add(codePoint);
- }
- List<BufferLine> getVisibleLines() {
- return _buffer.getVisibleLines();
- }
- void _processInput() async {
- while (true) {
- if (_slowMotion) {
- await Future.delayed(Duration(milliseconds: 100));
- }
- const esc = 0x1b;
- final char = await _queue.next;
- if (char == esc) {
- await ansiHandler(_queue, this);
- refresh();
- continue;
- }
- _processChar(char);
- }
- }
- void _processChar(int codePoint) {
- final sbcHandler = sbcHandlers[codePoint];
- if (sbcHandler != null) {
- debug.onSbc(codePoint);
- sbcHandler(codePoint, this);
- } else {
- debug.onChar(codePoint);
- _buffer.writeChar(codePoint);
- }
- refresh();
- }
- void refresh() {
- _dirty = true;
- notifyListeners();
- }
- void setSlowMotion(bool enabled) {
- _slowMotion = enabled ?? _slowMotion;
- }
- void setOriginMode(bool enabled) {
- _originMode = enabled ?? _originMode;
- buffer.setPosition(0, 0);
- }
- void setScreenMode(bool enabled) {
- _screenMode = true;
- }
- void setApplicationCursorKeys(bool enabled) {
- _applicationCursorKeys = enabled ?? _applicationCursorKeys;
- }
- void setShowCursor(bool showCursor) {
- _showCursor = showCursor ?? _showCursor;
- }
- void setBlinkingCursor(bool enabled) {
- _blinkingCursor = enabled ?? _blinkingCursor;
- }
- void setAutoWrapMode(bool enabled) {
- _autoWrapMode = enabled;
- }
- void setBracketedPasteMode(bool enabled) {
- _bracketedPasteMode = enabled;
- }
- void setInsertMode() {
- _replaceMode = false;
- }
- void setReplaceMode() {
- _replaceMode = true;
- }
- void setNewLineMode() {
- _lineFeed = false;
- }
- void setLineFeedMode() {
- _lineFeed = true;
- }
- void setMouseMode(MouseMode mode) {
- _mouseMode = mode ?? _mouseMode;
- }
- void useMainBuffer() {
- _buffer = _mainBuffer;
- }
- void useAltBuffer() {
- _buffer = _altBuffer;
- }
- bool isUsingMainBuffer() {
- return _buffer == _mainBuffer;
- }
- bool isUsingAltBuffer() {
- return _buffer == _altBuffer;
- }
- void resize(int width, int heigth) {
- buffer.resetVerticalMargins();
- final cursorY = buffer.convertViewLineToRawLine(buffer.cursorY);
- _viewWidth = max(width, 1);
- _viewHeight = max(heigth, 1);
- buffer.setCursorY(buffer.convertRawLineToViewLine(cursorY));
- if (buffer == _altBuffer) {
- buffer.clearScrollback();
- }
- }
- void keyInput(
- TerminalKey key, {
- bool ctrl = false,
- bool alt = false,
- bool shift = false,
- // bool meta,
- }) {
- debug.onMsg(key);
- if (onInput == null) {
- return;
- }
- for (var record in keytab.records) {
- if (record.key != key) {
- continue;
- }
- if (record.ctrl != null && record.ctrl != ctrl) {
- continue;
- }
- if (record.shift != null && record.shift != shift) {
- continue;
- }
- if (record.alt != null && record.alt != alt) {
- continue;
- }
- if (record.anyModifier == true &&
- (ctrl != true && alt != true && shift != true)) {
- continue;
- }
- if (record.anyModifier == false &&
- !(ctrl != true && alt != true && shift != true)) {
- continue;
- }
- if (record.appScreen != null && record.appScreen != isUsingAltBuffer()) {
- continue;
- }
- if (record.newLine != null && record.newLine != newLineMode) {
- continue;
- }
- if (record.appCursorKeys != null &&
- record.appCursorKeys != applicationCursorKeys) {
- continue;
- }
- // TODO: support VT52
- if (record.ansi == false) {
- continue;
- }
- if (record.action.type == KeytabActionType.input) {
- debug.onMsg('input: ${record.action.value}');
- final input = keytabUnescape(record.action.value);
- onInput(input);
- return;
- }
- }
- if (ctrl) {
- if (key.index >= TerminalKey.keyA.index &&
- key.index <= TerminalKey.keyZ.index) {
- final input = key.index - TerminalKey.keyA.index + 1;
- onInput(String.fromCharCode(input));
- return;
- }
- }
- if (alt) {
- if (key.index >= TerminalKey.keyA.index &&
- key.index <= TerminalKey.keyZ.index) {
- final input = [0x1b, key.index - TerminalKey.keyA.index + 65];
- onInput(String.fromCharCodes(input));
- return;
- }
- }
- }
- String getSelectedText() {
- if (selection.isEmpty) {
- return '';
- }
- final builder = StringBuffer();
- for (var row = selection.start.y; row <= selection.end.y; row++) {
- if (row >= buffer.height) {
- break;
- }
- final line = buffer.lines[row];
- var xStart = 0;
- var xEnd = viewWidth - 1;
- if (row == selection.start.y) {
- xStart = selection.start.x;
- } else if (!line.isWrapped) {
- builder.write("\n");
- }
- if (row == selection.end.y) {
- xEnd = selection.end.x;
- }
- for (var col = xStart; col <= xEnd; col++) {
- if (col >= line.length) {
- break;
- }
- final cell = line.getCell(col);
- if (cell.width == 0) {
- continue;
- }
- var char = line.getCell(col).codePoint;
- if (char == null || char == 0x00) {
- const blank = 32;
- char = blank;
- }
- builder.writeCharCode(char);
- }
- }
- return builder.toString();
- }
- void paste(String data) {
- if (bracketedPasteMode) {
- data = '\x1b[200~$data\x1b[201~';
- }
- onInput(data);
- }
- int get _tabIndexFromCursor {
- var index = buffer.cursorX;
- if (buffer.cursorX == viewWidth) {
- index = 0;
- }
- return index;
- }
- void tabSetAtCursor() {
- tabs.setAt(_tabIndexFromCursor);
- }
- void tabClearAtCursor() {
- tabs.clearAt(_tabIndexFromCursor);
- }
- void tab() {
- while (buffer.cursorX < viewWidth) {
- buffer.write(' ');
- if (tabs.isSetAt(buffer.cursorX)) {
- break;
- }
- }
- }
- }
|