xterm.dart
xterm.dart copied to clipboard
Search feature
It would be very interesting to be able to search for a term inside the terminal. In the search, each result would be selected in the terminal. And with the functions of searching next and previous.
Like this plugin for xterm.js: https://github.com/xtermjs/xterm-addon-search
https://github.com/TerminalStudio/xterm.dart/pull/60 should solve this
Are there plans to implement this feature in v3?