| /******************************************************************************* |
| * Copyright (c) 2015 RCP Vision (http://www.rcp-vision.com) and others. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * Vincenzo Caselli - Initial contribution and API |
| * |
| *******************************************************************************/ |
| package org.eclipse.swt.events; |
| |
| |
| import org.eclipse.swt.internal.SWTEventListener; |
| |
| /** |
| * Classes which implement this interface provide a method that deals with the event that is |
| * generated when a widget is disposed. |
| * <p> |
| * After creating an instance of a class that implements this interface it can be added to a widget |
| * using the <code>addDisposeListener</code> method and removed using the |
| * <code>removeDisposeListener</code> method. When a widget is disposed, the widgetDisposed method |
| * will be invoked. |
| * </p> |
| * |
| * @see DisposeEvent |
| */ |
| public interface DisposeListener extends SWTEventListener { |
| |
| /** |
| * Sent when the widget is disposed. |
| * |
| * @param e an event containing information about the dispose |
| */ |
| public void widgetDisposed(DisposeEvent e); |
| } |