| .. |
|
buffer
|
6e12265401
Fixes unicode width handling for search
|
4 anos atrás |
|
frontend
|
c309865cc6
add configuration options for keyboard
|
4 anos atrás |
|
input
|
2e21d0783b
add trailing comma to trigger line breaks
|
4 anos atrás |
|
mouse
|
5167977ba8
first double-tap select functionality
|
4 anos atrás |
|
terminal
|
a119bac058
Fixes typo
|
4 anos atrás |
|
theme
|
ebd07b1c60
adds special color for currently selected search hit
|
4 anos atrás |
|
util
|
3e3685b878
Introduces TerminalSearchOptions
|
4 anos atrás |
|
flutter.dart
|
0b35d96aec
➕ add import
|
5 anos atrás |
|
isolate.dart
|
1925e774e4
move terminal_isolate to keep web support
|
4 anos atrás |
|
xterm.dart
|
051ee53d52
export terminal_style.dart
|
4 anos atrás |
devmil
a119bac058
Fixes typo