J-P Nurmi 66bd1b0fef Add TerminalBackend.isReady and connect to Terminal.isReady пре 3 година
..
buffer c645559f29 Run flutter format пре 4 година
frontend 557d3d6fb6 fix lint warnings пре 4 година
input 2e21d0783b add trailing comma to trigger line breaks пре 4 година
mouse 5167977ba8 first double-tap select functionality пре 4 година
terminal 66bd1b0fef Add TerminalBackend.isReady and connect to Terminal.isReady пре 3 година
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 година