terminal.dart 9.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446
  1. import 'dart:async';
  2. import 'dart:math' show max, min;
  3. import 'package:async/async.dart';
  4. import 'package:xterm/buffer/buffer.dart';
  5. import 'package:xterm/buffer/buffer_line.dart';
  6. import 'package:xterm/buffer/cell_attr.dart';
  7. import 'package:xterm/mouse/selection.dart';
  8. import 'package:xterm/input/keys.dart';
  9. import 'package:xterm/input/keytab/keytab.dart';
  10. import 'package:xterm/input/keytab/keytab_escape.dart';
  11. import 'package:xterm/input/keytab/keytab_record.dart';
  12. import 'package:xterm/mouse/mouse_mode.dart';
  13. import 'package:xterm/terminal/ansi.dart';
  14. import 'package:xterm/terminal/platform.dart';
  15. import 'package:xterm/terminal/sbc.dart';
  16. import 'package:xterm/terminal/tabs.dart';
  17. import 'package:xterm/theme/terminal_theme.dart';
  18. import 'package:xterm/theme/terminal_themes.dart';
  19. import 'package:xterm/utli/debug_handler.dart';
  20. import 'package:xterm/utli/observable.dart';
  21. typedef TerminalInputHandler = void Function(String);
  22. typedef BellHandler = void Function();
  23. typedef TitleChangeHandler = void Function(String);
  24. typedef IconChangeHandler = void Function(String);
  25. class Terminal with Observable {
  26. Terminal({
  27. this.onInput,
  28. this.onBell,
  29. this.onTitleChange,
  30. this.onIconChange,
  31. this.platform = PlatformBehavior.unix,
  32. this.theme = TerminalThemes.defaultTheme,
  33. int maxLines,
  34. }) {
  35. _maxLines = maxLines;
  36. _mainBuffer = Buffer(this);
  37. _altBuffer = Buffer(this);
  38. _buffer = _mainBuffer;
  39. _input = StreamController<int>();
  40. _queue = StreamQueue<int>(_input.stream);
  41. tabs.reset();
  42. _processInput();
  43. // _buffer.write('this is magic!');
  44. }
  45. bool _dirty = false;
  46. bool get dirty {
  47. if (_dirty) {
  48. _dirty = false;
  49. return true;
  50. } else {
  51. return false;
  52. }
  53. }
  54. int _maxLines;
  55. int get maxLines {
  56. if (_maxLines == null) return null;
  57. return max(viewHeight, _maxLines);
  58. }
  59. int _viewWidth = 80;
  60. int _viewHeight = 25;
  61. int get viewWidth => _viewWidth;
  62. int get viewHeight => _viewHeight;
  63. int get visibleHeight => min(_viewHeight, buffer.height);
  64. int get invisibleHeight => buffer.height - visibleHeight;
  65. bool _originMode = false;
  66. bool _replaceMode = false;
  67. bool _lineFeed = true;
  68. bool _screenMode = false; // DECSCNM (black on white background)
  69. bool _autoWrapMode = true;
  70. bool _bracketedPasteMode = false;
  71. bool get originMode => _originMode;
  72. bool get lineFeed => _lineFeed;
  73. bool get newLineMode => !_lineFeed;
  74. bool get bracketedPasteMode => _bracketedPasteMode;
  75. bool _showCursor = true;
  76. bool _applicationCursorKeys = false;
  77. bool _blinkingCursor = true;
  78. bool get showCursor => _showCursor;
  79. bool get applicationCursorKeys => _applicationCursorKeys;
  80. bool get blinkingCursor => _blinkingCursor;
  81. Buffer _buffer;
  82. Buffer _mainBuffer;
  83. Buffer _altBuffer;
  84. StreamController<int> _input;
  85. StreamQueue<int> _queue;
  86. bool _slowMotion = false;
  87. bool get slowMotion => _slowMotion;
  88. MouseMode _mouseMode = MouseMode.none;
  89. MouseMode get mouseMode => _mouseMode;
  90. final TerminalTheme theme;
  91. final cellAttr = CellAttrTemplate();
  92. final keytab = Keytab.defaultKeytab();
  93. final selection = Selection();
  94. final tabs = Tabs();
  95. final debug = DebugHandler();
  96. final TerminalInputHandler onInput;
  97. final BellHandler onBell;
  98. final TitleChangeHandler onTitleChange;
  99. final IconChangeHandler onIconChange;
  100. final PlatformBehavior platform;
  101. void close() {
  102. _input.close();
  103. _queue.cancel();
  104. }
  105. Buffer get buffer {
  106. return _buffer;
  107. }
  108. int get cursorX => buffer.cursorX;
  109. int get cursorY => buffer.cursorY;
  110. int get scrollOffset => buffer.scrollOffsetFromBottom;
  111. void write(String text) async {
  112. for (var char in text.runes) {
  113. writeChar(char);
  114. }
  115. }
  116. void writeChar(int codePoint) {
  117. _input.add(codePoint);
  118. }
  119. List<BufferLine> getVisibleLines() {
  120. return _buffer.getVisibleLines();
  121. }
  122. void _processInput() async {
  123. while (true) {
  124. if (_slowMotion) {
  125. await Future.delayed(Duration(milliseconds: 100));
  126. }
  127. const esc = 0x1b;
  128. final char = await _queue.next;
  129. if (char == esc) {
  130. await ansiHandler(_queue, this);
  131. refresh();
  132. continue;
  133. }
  134. _processChar(char);
  135. }
  136. }
  137. void _processChar(int codePoint) {
  138. final sbcHandler = sbcHandlers[codePoint];
  139. if (sbcHandler != null) {
  140. debug.onSbc(codePoint);
  141. sbcHandler(codePoint, this);
  142. } else {
  143. debug.onChar(codePoint);
  144. _buffer.writeChar(codePoint);
  145. }
  146. refresh();
  147. }
  148. void refresh() {
  149. _dirty = true;
  150. notifyListeners();
  151. }
  152. void setSlowMotion(bool enabled) {
  153. _slowMotion = enabled ?? _slowMotion;
  154. }
  155. void setOriginMode(bool enabled) {
  156. _originMode = enabled ?? _originMode;
  157. buffer.setPosition(0, 0);
  158. }
  159. void setScreenMode(bool enabled) {
  160. _screenMode = true;
  161. }
  162. void setApplicationCursorKeys(bool enabled) {
  163. _applicationCursorKeys = enabled ?? _applicationCursorKeys;
  164. }
  165. void setShowCursor(bool showCursor) {
  166. _showCursor = showCursor ?? _showCursor;
  167. }
  168. void setBlinkingCursor(bool enabled) {
  169. _blinkingCursor = enabled ?? _blinkingCursor;
  170. }
  171. void setAutoWrapMode(bool enabled) {
  172. _autoWrapMode = enabled;
  173. }
  174. void setBracketedPasteMode(bool enabled) {
  175. _bracketedPasteMode = enabled;
  176. }
  177. void setInsertMode() {
  178. _replaceMode = false;
  179. }
  180. void setReplaceMode() {
  181. _replaceMode = true;
  182. }
  183. void setNewLineMode() {
  184. _lineFeed = false;
  185. }
  186. void setLineFeedMode() {
  187. _lineFeed = true;
  188. }
  189. void setMouseMode(MouseMode mode) {
  190. _mouseMode = mode ?? _mouseMode;
  191. }
  192. void useMainBuffer() {
  193. _buffer = _mainBuffer;
  194. }
  195. void useAltBuffer() {
  196. _buffer = _altBuffer;
  197. }
  198. bool isUsingMainBuffer() {
  199. return _buffer == _mainBuffer;
  200. }
  201. bool isUsingAltBuffer() {
  202. return _buffer == _altBuffer;
  203. }
  204. void resize(int width, int heigth) {
  205. final cursorY = buffer.convertViewLineToRawLine(buffer.cursorY);
  206. _viewWidth = max(width, 1);
  207. _viewHeight = max(heigth, 1);
  208. buffer.setCursorY(buffer.convertRawLineToViewLine(cursorY));
  209. if (buffer == _altBuffer) {
  210. buffer.clearScrollback();
  211. }
  212. buffer.resetVerticalMargins();
  213. }
  214. void keyInput(
  215. TerminalKey key, {
  216. bool ctrl = false,
  217. bool alt = false,
  218. bool shift = false,
  219. // bool meta,
  220. }) {
  221. debug.onMsg(key);
  222. if (onInput == null) {
  223. return;
  224. }
  225. for (var record in keytab.records) {
  226. if (record.key != key) {
  227. continue;
  228. }
  229. if (record.ctrl != null && record.ctrl != ctrl) {
  230. continue;
  231. }
  232. if (record.shift != null && record.shift != shift) {
  233. continue;
  234. }
  235. if (record.alt != null && record.alt != alt) {
  236. continue;
  237. }
  238. if (record.anyModifier == true &&
  239. (ctrl != true && alt != true && shift != true)) {
  240. continue;
  241. }
  242. if (record.anyModifier == false &&
  243. !(ctrl != true && alt != true && shift != true)) {
  244. continue;
  245. }
  246. if (record.appScreen != null && record.appScreen != isUsingAltBuffer()) {
  247. continue;
  248. }
  249. if (record.newLine != null && record.newLine != newLineMode) {
  250. continue;
  251. }
  252. if (record.appCursorKeys != null &&
  253. record.appCursorKeys != applicationCursorKeys) {
  254. continue;
  255. }
  256. // TODO: support VT52
  257. if (record.ansi == false) {
  258. continue;
  259. }
  260. if (record.action.type == KeytabActionType.input) {
  261. debug.onMsg('input: ${record.action.value}');
  262. final input = keytabUnescape(record.action.value);
  263. onInput(input);
  264. return;
  265. }
  266. }
  267. if (ctrl) {
  268. if (key.index >= TerminalKey.keyA.index &&
  269. key.index <= TerminalKey.keyZ.index) {
  270. final input = key.index - TerminalKey.keyA.index + 1;
  271. onInput(String.fromCharCode(input));
  272. return;
  273. }
  274. }
  275. if (alt) {
  276. if (key.index >= TerminalKey.keyA.index &&
  277. key.index <= TerminalKey.keyZ.index) {
  278. final input = [0x1b, key.index - TerminalKey.keyA.index + 65];
  279. onInput(String.fromCharCodes(input));
  280. return;
  281. }
  282. }
  283. }
  284. String getSelectedText() {
  285. if (selection.isEmpty) {
  286. return '';
  287. }
  288. final builder = StringBuffer();
  289. for (var row = selection.start.y; row <= selection.end.y; row++) {
  290. if (row >= buffer.height) {
  291. break;
  292. }
  293. final line = buffer.lines[row];
  294. var xStart = 0;
  295. var xEnd = viewWidth - 1;
  296. if (row == selection.start.y) {
  297. xStart = selection.start.x;
  298. } else if (!line.isWrapped) {
  299. builder.write("\n");
  300. }
  301. if (row == selection.end.y) {
  302. xEnd = selection.end.x;
  303. }
  304. for (var col = xStart; col <= xEnd; col++) {
  305. if (col >= line.length) {
  306. break;
  307. }
  308. final cell = line.getCell(col);
  309. if (cell.width == 0) {
  310. continue;
  311. }
  312. var char = line.getCell(col).codePoint;
  313. if (char == null || char == 0x00) {
  314. const blank = 32;
  315. char = blank;
  316. }
  317. builder.writeCharCode(char);
  318. }
  319. }
  320. return builder.toString();
  321. }
  322. void paste(String data) {
  323. if (bracketedPasteMode) {
  324. data = '\x1b[200~$data\x1b[201~';
  325. }
  326. onInput(data);
  327. }
  328. int get _tabIndexFromCursor {
  329. var index = buffer.cursorX;
  330. if (buffer.cursorX == viewWidth) {
  331. index = 0;
  332. }
  333. return index;
  334. }
  335. void tabSetAtCursor() {
  336. tabs.setAt(_tabIndexFromCursor);
  337. }
  338. void tabClearAtCursor() {
  339. tabs.clearAt(_tabIndexFromCursor);
  340. }
  341. void tab() {
  342. while (buffer.cursorX < viewWidth) {
  343. buffer.write(' ');
  344. if (tabs.isSetAt(buffer.cursorX)) {
  345. break;
  346. }
  347. }
  348. }
  349. }