Bookmarks tagged [grep]
https://plugins.jetbrains.com/plugin/7125-grep-console
Grep, tail, filter, highlight... everything you need for a console. Also can highlight the editor - nice for analyzing logs...
- tags: intellij, plugins, grep, console
- source code