Skip to content

Commit

Permalink
Close quick outline after selection, but before updating editor's cursor
Browse files Browse the repository at this point in the history
position
  • Loading branch information
travkin79 authored and mickaelistria committed Jan 30, 2024
1 parent f90b73f commit d533c57
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -148,6 +148,8 @@ private void gotoSelectedElement() {
Object selectedElement= getSelectedElement();

if (selectedElement != null) {
close();

Range range = null;
if (selectedElement instanceof SymbolInformation symbolInformation) {
range = symbolInformation.getLocation().getRange();
Expand All @@ -165,7 +167,6 @@ private void gotoSelectedElement() {
} catch (BadLocationException e) {
LanguageServerPlugin.logError(e);
}
close();
}
}
}
Expand Down

0 comments on commit d533c57

Please sign in to comment.