Skip to content

Add simple support for completion item details #12807

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 1 commit into from
Jul 18, 2022

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Jul 18, 2022

Supercedes #9891, this doesn't yet fix the linked issue since there is a lot of fancy things we can do there now.

This doesn't yet really implement anything new, it just adds the scaffolding for the protocol conversion

@Veykril
Copy link
Member Author

Veykril commented Jul 18, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Jul 18, 2022

📌 Commit d17a5ef has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 18, 2022

⌛ Testing commit d17a5ef with merge dc05192...

@Veykril Veykril mentioned this pull request Jul 18, 2022
@bors
Copy link
Contributor

bors commented Jul 18, 2022

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing dc05192 to master...

@bors bors merged commit dc05192 into rust-lang:master Jul 18, 2022
@Veykril Veykril deleted the completion-item-details branch July 18, 2022 17:41
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants