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.

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

Fix open location to select range #11436

Merged

Conversation

tsmaeder
Copy link
Contributor

@tsmaeder tsmaeder commented Oct 2, 2018

What does this PR do?

Fixes opening editors and selecting a range after.

What issues does this PR fix or reference?

#11431

Signed-off-by: Thomas Mäder <tmader@redhat.com>
@tsmaeder tsmaeder merged commit 1e9503f into eclipse-che:5730_java_ls_poc Oct 2, 2018
@benoitf benoitf added target/branch Indicates that a PR will be merged into a branch other than master. kind/bug Outline of a bug - must adhere to the bug report template. labels Oct 2, 2018
tsmaeder added a commit that referenced this pull request Oct 5, 2018
Signed-off-by: Thomas Mäder <tmader@redhat.com>
tsmaeder added a commit that referenced this pull request Oct 12, 2018
Signed-off-by: Thomas Mäder <tmader@redhat.com>
tsmaeder added a commit that referenced this pull request Oct 16, 2018
Signed-off-by: Thomas Mäder <tmader@redhat.com>
tsmaeder added a commit that referenced this pull request Oct 17, 2018
Signed-off-by: Thomas Mäder <tmader@redhat.com>
tsmaeder added a commit that referenced this pull request Oct 17, 2018
Signed-off-by: Thomas Mäder <tmader@redhat.com>
tsmaeder added a commit that referenced this pull request Oct 17, 2018
Signed-off-by: Thomas Mäder <tmader@redhat.com>
tsmaeder added a commit that referenced this pull request Oct 17, 2018
Signed-off-by: Thomas Mäder <tmader@redhat.com>
tsmaeder added a commit that referenced this pull request Oct 17, 2018
Signed-off-by: Thomas Mäder <tmader@redhat.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/bug Outline of a bug - must adhere to the bug report template. target/branch Indicates that a PR will be merged into a branch other than master.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants