mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-02 22:55:26 +02:00
launchbar: prevent widget is disposed exception
Change-Id: I5afe239ed7b594a2f7fb3be7bae4120d84c879b2
This commit is contained in:
parent
68da3d3a38
commit
d87141b0f9
1 changed files with 2 additions and 0 deletions
|
@ -211,6 +211,8 @@ public class ModeSelector extends CSelector {
|
|||
public void setSelection(Object element) {
|
||||
if (element == null)
|
||||
element = noModes[0];
|
||||
if (isDisposed())
|
||||
return;
|
||||
super.setSelection(element);
|
||||
updateLaunchButton(findLaunchButton());
|
||||
}
|
||||
|
|
Loading…
Add table
Reference in a new issue