This plugin contributes a view that allows to enter a regular expression, used to produce a grep-like output (shown in the view) of the current text editor.
The view shows the original line numb...
Editor, Tools
Last Updated on Friday, January 15, 2021 - 10:13 by Fabrizio Iannetti