ConsoleAutoScrollPageParticipant.java 文件源码

public void dispose()
{
    if (textWidget != null && !textWidget.isDisposed())
    {
        textWidget.removeListener(SWT.MouseDown, listener);
        textWidget.removeListener(SWT.MouseMove, listener);
        textWidget.removeListener(SWT.MouseUp, listener);
        textWidget.removeListener(SWT.KeyDown, listener);
        textWidget.removeListener(SWT.KeyUp, listener);
        textWidget.removeListener(SWT.Resize, listener);
        ScrollBar vBar = textWidget.getVerticalBar();
        if (vBar != null && !vBar.isDisposed())
        {
            vBar.removeListener(SWT.Selection, listener);
        }
    }
    textWidget = null;
    listener = null;
}