Skip to content

Add "visible" scope #1607

@josharian

Description

@josharian

Defined to be the visible content range in the editor. (Open question: Include partially visible lines?)

The main use case is with from. That would help in the case in which there are matching identifiers far away in the file that I don't care about. You can approximate visible using other scopes, but visible is a very simple scope to say and to reason about.

Sample usage: from visible take every instance air

Filed for discussion. If there's interest, I might attempt to implement this myself.

Metadata

Metadata

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions