Skip to content

Completion in annotations#818

Merged
soutaro merged 10 commits intomasterfrom
annotation-completion
Jun 15, 2023
Merged

Completion in annotations#818
soutaro merged 10 commits intomasterfrom
annotation-completion

Conversation

@soutaro
Copy link
Owner

@soutaro soutaro commented Jun 15, 2023

Let RBS type name completion work in inline annotations, type assertions, and type applications.

# @type var xs: Arra   <= Here
xs = []

path = nil #: Path  <= Here

Note that the completion in comments doesn't pop up automatically. You have to trigger completion explicitly, with Ctrl+Space or equivalent.

Closes #722
Closes #718

@soutaro soutaro added this to the Steep 1.5 milestone Jun 15, 2023
@soutaro soutaro enabled auto-merge June 15, 2023 05:23
@soutaro soutaro merged commit 24f968d into master Jun 15, 2023
@soutaro soutaro deleted the annotation-completion branch June 15, 2023 05:28
@soutaro soutaro added the Released The PR is already included in a published release label Jul 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Released The PR is already included in a published release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Let completion work in Ruby comments Add editor support for type assertion/type application

1 participant