Statistics
| Revision:

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
}