Type to filter potential jump locations. See matches highlighted in the document as you type. Use left and right keys to jump between locations in the current set of matches.
Pretty basic text-editor functionality, but might be particularly useful in Flense because matches will always be specific forms rather than globs of text. This means that the search syntax can be a DSL for selecting forms structurally or semantically rather than just some variant of regex.
Type to filter potential jump locations. See matches highlighted in the document as you type. Use left and right keys to jump between locations in the current set of matches.
Pretty basic text-editor functionality, but might be particularly useful in Flense because matches will always be specific forms rather than globs of text. This means that the search syntax can be a DSL for selecting forms structurally or semantically rather than just some variant of regex.