Skip to content

[Terminal] Detach TerminalSearchWidget before disposing TerminalWidget#7882

Merged
AndrienkoAleksandr merged 1 commit intoeclipse-theia:masterfrom balajiv113:masterMay 27, 2020
+4

Commits

Commits on May 25, 2020