Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

[plugin][languages] Register a document highlight provider #3635

Closed
vrubezhny opened this issue Nov 26, 2018 · 0 comments
Closed

[plugin][languages] Register a document highlight provider #3635

vrubezhny opened this issue Nov 26, 2018 · 0 comments
Assignees
@vrubezhny

Comments

@vrubezhny
Copy link
Contributor

Implement plugin API to register a document highlight provider. See https://github.com/Microsoft/vscode/blob/5a4eab812bd485942061f71af39f3eabc52a1035/src/vs/vscode.d.ts#L7246
@evidolob evidolob mentioned this issue Nov 26, 2018
Closed
22 tasks
@vrubezhny vrubezhny self-assigned this Nov 27, 2018
@tsmaeder tsmaeder mentioned this issue Dec 7, 2018
Closed
19 tasks
@vrubezhny vrubezhny mentioned this issue Dec 12, 2018
Merged
vrubezhny added a commit that referenced this issue Dec 18, 2018
@vrubezhny
[plugin][languages] Register a document highlight provider #3635
8b450b7 
Issue #3635

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
@tsmaeder tsmaeder mentioned this issue Jan 8, 2019
Closed
16 tasks
bogthe pushed a commit to ARMmbed/theia that referenced this issue Jan 21, 2019
@vrubezhny
[plugin][languages] Register a document highlight provider eclipse-th…
946a6c3 
…eia#3635

Issue eclipse-theia#3635

Signed-off-by: Victor Rubezhny <vrubezhny@redhat.com>
Signed-off-by: Bogdan Stolojan <petre.stolojan@arm.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vrubezhny vrubezhny

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vrubezhny