| .. |
|
buffer
|
e3fdb95206
Generalizes dirty handling on a BufferLine
|
hace 4 años |
|
frontend
|
8ed92ea69a
improves search result drawing (by not interfering with the normal terminal content)
|
hace 4 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
|
293556bc17
Search Hit style can now be configured via Theme
|
hace 4 años |
|
theme
|
293556bc17
Search Hit style can now be configured via Theme
|
hace 4 años |
|
util
|
e21bdea4ea
implement ListBufferLine
|
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 |
devmil
8ed92ea69a
improves search result drawing (by not interfering with the normal terminal content)