svn-gvsig-desktop / trunk / org.gvsig.desktop / org.gvsig.desktop.library / org.gvsig.utils / src / main / java / org / gvsig / utils / console / jedit / ConsoleInputHandler.java @ 40561
History | View | Annotate | Download (1.77 KB)
1 |
/**
|
---|---|
2 |
* gvSIG. Desktop Geographic Information System.
|
3 |
*
|
4 |
* Copyright (C) 2007-2013 gvSIG Association.
|
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 3
|
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., 51 Franklin Street, Fifth Floor, Boston,
|
19 |
* MA 02110-1301, USA.
|
20 |
*
|
21 |
* For any additional information, do not hesitate to contact us
|
22 |
* at info AT gvsig.com, or visit our website www.gvsig.com.
|
23 |
*/
|
24 |
package org.gvsig.utils.console.jedit; |
25 |
|
26 |
import java.awt.event.KeyEvent; |
27 |
import java.util.ArrayList; |
28 |
|
29 |
import org.gvsig.utils.console.JConsole; |
30 |
|
31 |
|
32 |
public class ConsoleInputHandler extends DefaultInputHandler { |
33 |
|
34 |
private ArrayList listeners=new ArrayList(); |
35 |
public void keyPressed(KeyEvent evt) { |
36 |
super.keyPressed(evt);
|
37 |
callConsolePressed(evt); |
38 |
} |
39 |
|
40 |
public void keyTyped(KeyEvent evt) { |
41 |
super.keyTyped(evt);
|
42 |
} |
43 |
|
44 |
public void keyReleased(KeyEvent arg0) { |
45 |
callConsoleReleased(arg0); |
46 |
} |
47 |
|
48 |
public void addConsoleListener(JConsole console) { |
49 |
listeners.add(console); |
50 |
} |
51 |
private void callConsolePressed(KeyEvent e){ |
52 |
for (int i=0;i<listeners.size();i++){ |
53 |
((JConsole)listeners.get(i)).keyPressed(e); |
54 |
} |
55 |
} |
56 |
private void callConsoleReleased(KeyEvent e){ |
57 |
for (int i=0;i<listeners.size();i++){ |
58 |
((JConsole)listeners.get(i)).keyReleased(e); |
59 |
} |
60 |
} |
61 |
} |