1 | /* |
---|
2 | * WindowAdapter.java |
---|
3 | * |
---|
4 | * Copyright (C) 2003 Peter Graves |
---|
5 | * |
---|
6 | * This program is free software; you can redistribute it and/or |
---|
7 | * modify it under the terms of the GNU General Public License |
---|
8 | * as published by the Free Software Foundation; either version 2 |
---|
9 | * of the License, or (at your option) any later version. |
---|
10 | * |
---|
11 | * This program is distributed in the hope that it will be useful, |
---|
12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
---|
14 | * GNU General Public License for more details. |
---|
15 | * |
---|
16 | * You should have received a copy of the GNU General Public License |
---|
17 | * along with this program; if not, write to the Free Software |
---|
18 | * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. |
---|
19 | */ |
---|
20 | |
---|
21 | package awt; |
---|
22 | |
---|
23 | import org.armedbear.lisp.JHandler; |
---|
24 | import java.awt.Window; |
---|
25 | import java.awt.event.WindowEvent; |
---|
26 | |
---|
27 | public class WindowAdapter extends java.awt.event.WindowAdapter |
---|
28 | { |
---|
29 | private void call(String s, WindowEvent windowevent) { |
---|
30 | JHandler.callLisp(s, windowevent.getWindow()); |
---|
31 | } |
---|
32 | |
---|
33 | public static synchronized void addTo(Window window) { |
---|
34 | window.addWindowListener(new WindowAdapter()); |
---|
35 | } |
---|
36 | |
---|
37 | public void windowOpened(WindowEvent windowevent) { |
---|
38 | call("WINDOWOPENED", windowevent); |
---|
39 | } |
---|
40 | |
---|
41 | public void windowClosed(WindowEvent windowevent) { |
---|
42 | call("WINDOWCLOSED", windowevent); |
---|
43 | } |
---|
44 | |
---|
45 | public void windowClosing(WindowEvent windowevent) { |
---|
46 | call("WINDOWCLOSING", windowevent); |
---|
47 | } |
---|
48 | |
---|
49 | public void windowActivated(WindowEvent windowevent) { |
---|
50 | call("WINDOWACTIVATED", windowevent); |
---|
51 | } |
---|
52 | |
---|
53 | public void windowDeactivated(WindowEvent windowevent) { |
---|
54 | call("WINDOWDEACTIVATED", windowevent); |
---|
55 | } |
---|
56 | |
---|
57 | public void windowIconified(WindowEvent windowevent) { |
---|
58 | call("WINDOWICONIFIED", windowevent); |
---|
59 | } |
---|
60 | |
---|
61 | public void windowDeiconified(WindowEvent windowevent) { |
---|
62 | call("WINDOWDEICONIFIED", windowevent); |
---|
63 | } |
---|
64 | |
---|
65 | public void windowGainedFocus(WindowEvent windowevent) { |
---|
66 | call("WINDOWGAINEDFOCUS", windowevent); |
---|
67 | } |
---|
68 | |
---|
69 | public void windowLostFocus(WindowEvent windowevent) { |
---|
70 | call("WINDOWLOSTFOCUS", windowevent); |
---|
71 | } |
---|
72 | } |
---|