Skip to content

Commit

Permalink
fix: Editor EditorImpl[null] hasn't been released (#964)
Browse files Browse the repository at this point in the history
Fixes #964

Signed-off-by: azerr <[email protected]>
  • Loading branch information
angelozerr authored and fbricon committed Jun 16, 2023
1 parent f36bc3c commit ce55178
Showing 1 changed file with 16 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -115,6 +115,11 @@ protected ConsoleContentPanel create(DefaultMutableTreeNode key) {
return new ConsoleContentPanel(key);
}

@Override
public void dispose() {
removeAll();
}

@Override
protected void dispose(DefaultMutableTreeNode key, ConsoleContentPanel value) {
if (value != null) {
Expand Down Expand Up @@ -206,6 +211,14 @@ private void showDetail() {
public void showMessage(String message) {
consoleView.print(message, ConsoleViewContentType.SYSTEM_OUTPUT);
}

@Override
public void dispose() {
super.dispose();
if(consoleView != null) {
consoleView.dispose();
}
}
}

private ConsoleView createConsoleView(@NotNull LanguageServersRegistry.LanguageServerDefinition serverDefinition, @NotNull Project project) {
Expand All @@ -227,6 +240,9 @@ public void showMessage(LanguageServerProcessTreeNode processTreeNode, String me
@Override
public void dispose() {
disposed = true;
if (consoles != null) {
consoles.dispose();
}
explorer.dispose();
}

Expand Down

0 comments on commit ce55178

Please sign in to comment.