Mercurial > projects > dwt2
comparison org.eclipse.swt.gtk.linux.x86/src/org/eclipse/swt/events/DisposeListener.d @ 25:f713da8bc051
Added SWT Linux GTK
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Fri, 20 Mar 2009 23:03:58 +0100 |
parents | |
children | 536e43f63c81 |
comparison
equal
deleted
inserted
replaced
24:b7a1d02a0e1f | 25:f713da8bc051 |
---|---|
1 /******************************************************************************* | |
2 * Copyright (c) 2000, 2003 IBM Corporation and others. | |
3 * All rights reserved. This program and the accompanying materials | |
4 * are made available under the terms of the Eclipse Public License v1.0 | |
5 * which accompanies this distribution, and is available at | |
6 * http://www.eclipse.org/legal/epl-v10.html | |
7 * | |
8 * Contributors: | |
9 * IBM Corporation - initial API and implementation | |
10 * Port to the D programming language: | |
11 * Frank Benoit <benoit@tionex.de> | |
12 *******************************************************************************/ | |
13 module org.eclipse.swt.events.DisposeListener; | |
14 | |
15 import java.lang.all; | |
16 | |
17 | |
18 public import org.eclipse.swt.internal.SWTEventListener; | |
19 public import org.eclipse.swt.events.DisposeEvent; | |
20 | |
21 /** | |
22 * Classes which implement this interface provide a method | |
23 * that deals with the event that is generated when a widget | |
24 * is disposed. | |
25 * <p> | |
26 * After creating an instance of a class that : | |
27 * this interface it can be added to a widget using the | |
28 * <code>addDisposeListener</code> method and removed using | |
29 * the <code>removeDisposeListener</code> method. When a | |
30 * widget is disposed, the widgetDisposed method will | |
31 * be invoked. | |
32 * </p> | |
33 * | |
34 * @see DisposeEvent | |
35 */ | |
36 public interface DisposeListener : SWTEventListener { | |
37 | |
38 /** | |
39 * Sent when the widget is disposed. | |
40 * | |
41 * @param e an event containing information about the dispose | |
42 */ | |
43 public void widgetDisposed(DisposeEvent e); | |
44 } |