J-P Nurmi e0417d4782 Fix key modifier checks hace 3 años
..
buffer c645559f29 Run flutter format hace 4 años
frontend f3af857931 Allow scroll shortcuts hace 3 años
input 2e21d0783b add trailing comma to trigger line breaks hace 4 años
mouse 5167977ba8 first double-tap select functionality hace 4 años
terminal e0417d4782 Fix key modifier checks hace 3 años
theme ebd07b1c60 adds special color for currently selected search hit hace 4 años
util 3e3685b878 Introduces TerminalSearchOptions hace 4 años
flutter.dart 0b35d96aec ➕ add import hace 5 años
isolate.dart 1925e774e4 move terminal_isolate to keep web support hace 4 años
xterm.dart 051ee53d52 export terminal_style.dart hace 4 años