devmil 66b08316c5 Removes `Terminal` from public Buffer API преди 4 години
..
buffer 66b08316c5 Removes `Terminal` from public Buffer API преди 4 години
frontend 289187fe05 Fixes search hit painting bug (hit partially out of the view) преди 4 години
input 2e21d0783b add trailing comma to trigger line breaks преди 4 години
mouse 5167977ba8 first double-tap select functionality преди 4 години
terminal f03b6724c5 Adds some tests for the search functionality преди 4 години
theme ebd07b1c60 adds special color for currently selected search hit преди 4 години
util 3e3685b878 Introduces TerminalSearchOptions преди 4 години
flutter.dart 0b35d96aec ➕ add import преди 5 години
isolate.dart 1925e774e4 move terminal_isolate to keep web support преди 4 години
xterm.dart 051ee53d52 export terminal_style.dart преди 4 години