Closed juliusHuelsmann closed 5 years ago
Backward / forward search when pressing key, ranging over the entire terminal history and jumping to the last position.
Could -- at first glance -- also be made using external pipe, but integration with terminal will suck (goto position).
Backward / forward search when pressing key, ranging over the entire terminal history and jumping to the last position.
Could -- at first glance -- also be made using external pipe, but integration with terminal will suck (goto position).