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 سال پیش