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 Monday, April 20, 2020 - 13:17 by Fabrizio Iannetti
