1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-08 16:55:38 +02:00

Bug 410007 - SWTException: Widget is disposed while debugging

Change-Id: Ia0bf7a6adbc86ec9a7891ef590e3d19e42067f4f
Signed-off-by: Marc-Andre Laperle <marc-andre.laperle@ericsson.com>
Reviewed-on: https://git.eclipse.org/r/13667
Reviewed-by: Sergey Prigogin <eclipse.sprigogin@gmail.com>
Reviewed-by: Anton Leherbauer <anton.leherbauer@windriver.com>
IP-Clean: Anton Leherbauer <anton.leherbauer@windriver.com>
Tested-by: Anton Leherbauer <anton.leherbauer@windriver.com>
This commit is contained in:
Marc-Andre Laperle 2013-06-09 13:40:25 -04:00 committed by Anton Leherbauer
parent 7dd2b7922d
commit eacd49ac34

View file

@ -1,5 +1,5 @@
/******************************************************************************* /*******************************************************************************
* Copyright (c) 2008, 2010 IBM Corporation and others. * Copyright (c) 2008, 2013 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials * All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0 * are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at * which accompanies this distribution, and is available at
@ -359,15 +359,18 @@ public class ExpressionInformationControlCreator implements IInformationControlC
fViewer.getDisplay().timerExec(100, new Runnable() { fViewer.getDisplay().timerExec(100, new Runnable() {
@Override @Override
public void run() { public void run() {
TreeSelection selection = (TreeSelection) fViewer.getSelection(); if (!fViewer.getTree().isDisposed()) {
if (selection.isEmpty()) { TreeSelection selection = (TreeSelection) fViewer.getSelection();
selection = new TreeSelection(fViewer.getTopElementPath()); if (selection.isEmpty()) {
} selection = new TreeSelection(fViewer.getTopElementPath());
fViewer.setSelection(selection); }
if (fDetailPane != null) { fViewer.setSelection(selection);
fDetailPane.display(selection); if (fDetailPane != null) {
} fDetailPane.display(selection);
}}); }
}
}
});
} }
@Override @Override
public void viewerUpdatesBegin() { public void viewerUpdatesBegin() {