Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Feature request: Search in the scrollback output? #68
Here is a quick list of ways to support this project:
@kdziadowiec Since the last release I've spent the time improving the internal structure of the app and specifically introducing a 'command' concept. This stuff is exposed in the Extensions API which is growing like a fetus inside Extraterm. :-) This will allow me to implement Find correctly(as an extension) in a way which won't need to changed in the future and won't cause the code base to become a mess. It will also allow other functionality to be created much easier, and once the Extension API is born, then others will be able to build on that foundation work.
That said, I am now directly working on Find.