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 年之前