mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-26 10:25:32 +02:00
monitor view disposal - hack for case where dispose() is not called before event
This commit is contained in:
parent
a787626325
commit
5690fb529b
1 changed files with 17 additions and 1 deletions
|
@ -77,6 +77,7 @@ import org.eclipse.rse.ui.actions.SystemSubMenuManager;
|
||||||
import org.eclipse.rse.ui.messages.ISystemMessageLine;
|
import org.eclipse.rse.ui.messages.ISystemMessageLine;
|
||||||
import org.eclipse.rse.ui.messages.SystemMessageDialog;
|
import org.eclipse.rse.ui.messages.SystemMessageDialog;
|
||||||
import org.eclipse.swt.SWT;
|
import org.eclipse.swt.SWT;
|
||||||
|
import org.eclipse.swt.custom.TableTree;
|
||||||
import org.eclipse.swt.dnd.DND;
|
import org.eclipse.swt.dnd.DND;
|
||||||
import org.eclipse.swt.dnd.FileTransfer;
|
import org.eclipse.swt.dnd.FileTransfer;
|
||||||
import org.eclipse.swt.dnd.TextTransfer;
|
import org.eclipse.swt.dnd.TextTransfer;
|
||||||
|
@ -767,6 +768,21 @@ implements IMenuListener, ISystemDeleteTarget, ISystemRenameTarget, ISystemSelec
|
||||||
*/
|
*/
|
||||||
public void systemResourceChanged(ISystemResourceChangeEvent event)
|
public void systemResourceChanged(ISystemResourceChangeEvent event)
|
||||||
{
|
{
|
||||||
|
try
|
||||||
|
{
|
||||||
|
Tree tree = getTree();
|
||||||
|
boolean isDisposed = tree.isDisposed();
|
||||||
|
if (isDisposed)
|
||||||
|
{
|
||||||
|
dispose();
|
||||||
|
System.out.println("disposed");
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
catch (Exception e)
|
||||||
|
{
|
||||||
|
e.printStackTrace();
|
||||||
|
}
|
||||||
|
|
||||||
boolean madeChange = false;
|
boolean madeChange = false;
|
||||||
Object parent = event.getParent();
|
Object parent = event.getParent();
|
||||||
|
|
Loading…
Add table
Reference in a new issue