Skip to content

Conversation

@jdneo
Copy link
Member

@jdneo jdneo commented Sep 20, 2023

fix #1604

The API is removed upstream in eclipse-jdtls/eclipse.jdt.ls#2854

Signed-off-by: Sheng Chen <sheche@microsoft.com>
@jdneo jdneo added the bug label Sep 20, 2023
@jdneo jdneo added this to the 0.40.0 milestone Sep 20, 2023
@jdneo jdneo merged commit c50f2c2 into main Sep 20, 2023
@jdneo jdneo deleted the cs/update branch September 20, 2023 04:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Editor gutter shortcut disappear

3 participants