onion/xterm.dart @ 3e3685b87806ac976d755f024db5c39d5f76f2aa

devmil 3e3685b878 Introduces TerminalSearchOptions		vor 4 Jahren
..
buffer	e3fdb95206 Generalizes dirty handling on a BufferLine	vor 4 Jahren
frontend	872ab62411 isUserSearchActive now is explicit	vor 4 Jahren
input	2e21d0783b add trailing comma to trigger line breaks	vor 4 Jahren
mouse	5167977ba8 first double-tap select functionality	vor 4 Jahren
terminal	3e3685b878 Introduces TerminalSearchOptions	vor 4 Jahren
theme	293556bc17 Search Hit style can now be configured via Theme	vor 4 Jahren
util	3e3685b878 Introduces TerminalSearchOptions	vor 4 Jahren
flutter.dart	0b35d96aec ➕ add import	vor 5 Jahren
isolate.dart	1925e774e4 move terminal_isolate to keep web support	vor 4 Jahren
xterm.dart	051ee53d52 export terminal_style.dart	vor 4 Jahren