SearchLine
A line that matched: its number in the document, the part of it shown, and where the matches are in that.
export interface SearchLine { line: number; column: number; text: string; ranges: [number, number][]; }
A line that matched: its number in the document, the part of it shown, and where the matches are in that.
export interface SearchLine { line: number; column: number; text: string; ranges: [number, number][]; }