You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: