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...
Tools, Editor
Last Updated on Wednesday, September 9, 2020 - 14:34 by Fabrizio Iannetti
