/jEdit/tags/jedit-4-3-pre9/org/gjt/sp/jedit/gui/DefaultInputHandler.java
# · Java · 444 lines · 256 code · 35 blank · 153 comment · 53 complexity · 3e2dc1d6d60ae4e9eb75e227acd6bb51 MD5 · raw file
- /*
- * DefaultInputHandler.java - Default implementation of an input handler
- * :tabSize=8:indentSize=8:noTabs=false:
- * :folding=explicit:collapseFolds=1:
- *
- * Copyright (C) 1999, 2003 Slava Pestov
- *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU General Public License
- * as published by the Free Software Foundation; either version 2
- * of the License, or any later version.
- *
- * This program is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- * GNU General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with this program; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
- */
- package org.gjt.sp.jedit.gui;
- //{{{ Imports
- import javax.swing.KeyStroke;
- import java.awt.event.KeyEvent;
- import java.awt.event.InputEvent;
- import java.awt.Toolkit;
- import java.util.Hashtable;
- import java.util.StringTokenizer;
- import org.gjt.sp.jedit.*;
- import org.gjt.sp.util.Log;
- import org.gjt.sp.jedit.msg.*;
- import javax.swing.event.*;
- //}}}
- /**
- * The default input handler. It maps sequences of keystrokes into actions
- * and inserts key typed events into the text area.
- * @author Slava Pestov
- * @version $Id: DefaultInputHandler.java 7099 2006-09-21 01:08:35Z mediumnet $
- */
- public class DefaultInputHandler extends InputHandler
- {
- //{{{ DefaultInputHandler constructor
- /**
- * Creates a new input handler with no key bindings defined.
- * @param view The view
- * @param bindings An explicitly-specified set of key bindings,
- * must not be null.
- * @since jEdit 4.3pre1
- */
- public DefaultInputHandler(View view, Hashtable bindings)
- {
- super(view);
- if(bindings == null)
- throw new NullPointerException();
- this.bindings = this.currentBindings = bindings;
- } //}}}
- //{{{ DefaultInputHandler constructor
- /**
- * Creates a new input handler with no key bindings defined.
- * @param view The view
- */
- public DefaultInputHandler(View view)
- {
- this(view,new Hashtable());
- } //}}}
- //{{{ DefaultInputHandler constructor
- /**
- * Creates a new input handler with the same set of key bindings
- * as the one specified. Note that both input handlers share
- * a pointer to exactly the same key binding table; so adding
- * a key binding in one will also add it to the other.
- * @param copy The input handler to copy key bindings from
- * @param view The view
- */
- public DefaultInputHandler(View view, DefaultInputHandler copy)
- {
- this(view,copy.bindings);
- } //}}}
- //{{{ addKeyBinding() method
- /**
- * Adds a key binding to this input handler. The key binding is
- * a list of white space separated key strokes of the form
- * <i>[modifiers+]key</i> where modifier is C for Control, A for Alt,
- * or S for Shift, and key is either a character (a-z) or a field
- * name in the KeyEvent class prefixed with VK_ (e.g., BACK_SPACE)
- * @param keyBinding The key binding
- * @param action The action
- * @since jEdit 4.2pre1
- */
- public void addKeyBinding(String keyBinding, String action)
- {
- addKeyBinding(keyBinding,(Object)action);
- } //}}}
- //{{{ addKeyBinding() method
- /**
- * Adds a key binding to this input handler. The key binding is
- * a list of white space separated key strokes of the form
- * <i>[modifiers+]key</i> where modifier is C for Control, A for Alt,
- * or S for Shift, and key is either a character (a-z) or a field
- * name in the KeyEvent class prefixed with VK_ (e.g., BACK_SPACE)
- * @param keyBinding The key binding
- * @param action The action
- */
- public void addKeyBinding(String keyBinding, EditAction action)
- {
- addKeyBinding(keyBinding,(Object)action);
- } //}}}
- //{{{ addKeyBinding() method
- /**
- * Adds a key binding to this input handler. The key binding is
- * a list of white space separated key strokes of the form
- * <i>[modifiers+]key</i> where modifier is C for Control, A for Alt,
- * or S for Shift, and key is either a character (a-z) or a field
- * name in the KeyEvent class prefixed with VK_ (e.g., BACK_SPACE)
- * @param keyBinding The key binding
- * @param action The action
- * @since jEdit 4.3pre1
- */
- public void addKeyBinding(String keyBinding, Object action)
- {
- Hashtable current = bindings;
- String prefixStr = null;
- StringTokenizer st = new StringTokenizer(keyBinding);
- while(st.hasMoreTokens())
- {
- String keyCodeStr = st.nextToken();
- if(prefixStr == null)
- prefixStr = keyCodeStr;
- else
- prefixStr = prefixStr + " " + keyCodeStr;
- KeyEventTranslator.Key keyStroke = KeyEventTranslator.parseKey(keyCodeStr);
- if(keyStroke == null)
- return;
- if(st.hasMoreTokens())
- {
- Object o = current.get(keyStroke);
- if(o instanceof Hashtable)
- current = (Hashtable)o;
- else
- {
- Hashtable hash = new Hashtable();
- hash.put(PREFIX_STR,prefixStr);
- o = hash;
- current.put(keyStroke,o);
- current = (Hashtable)o;
- }
- }
- else
- current.put(keyStroke,action);
- }
- } //}}}
- //{{{ removeKeyBinding() method
- /**
- * Removes a key binding from this input handler. This is not yet
- * implemented.
- * @param keyBinding The key binding
- */
- public void removeKeyBinding(String keyBinding)
- {
- Hashtable current = bindings;
- StringTokenizer st = new StringTokenizer(keyBinding);
- while(st.hasMoreTokens())
- {
- String keyCodeStr = st.nextToken();
- KeyEventTranslator.Key keyStroke = KeyEventTranslator.parseKey(keyCodeStr);
- if(keyStroke == null)
- return;
- if(st.hasMoreTokens())
- {
- Object o = current.get(keyStroke);
- if(o instanceof Hashtable)
- current = ((Hashtable)o);
- else if(o != null)
- {
- // we have binding foo
- // but user asks to remove foo bar?
- current.remove(keyStroke);
- return;
- }
- else
- {
- // user asks to remove non-existent
- return;
- }
- }
- else
- current.remove(keyStroke);
- }
- } //}}}
- //{{{ removeAllKeyBindings() method
- /**
- * Removes all key bindings from this input handler.
- */
- public void removeAllKeyBindings()
- {
- bindings.clear();
- } //}}}
- //{{{ getKeyBinding() method
- /**
- * Returns either an edit action, or a hashtable if the specified key
- * is a prefix.
- * @param keyBinding The key binding
- * @since jEdit 3.2pre5
- */
- public Object getKeyBinding(String keyBinding)
- {
- Hashtable current = bindings;
- StringTokenizer st = new StringTokenizer(keyBinding);
- while(st.hasMoreTokens())
- {
- KeyEventTranslator.Key keyStroke = KeyEventTranslator.parseKey(
- st.nextToken());
- if(keyStroke == null)
- return null;
- if(st.hasMoreTokens())
- {
- Object o = current.get(keyStroke);
- if(o instanceof Hashtable)
- {
- if(!st.hasMoreTokens())
- return o;
- else
- current = (Hashtable)o;
- }
- else
- return o;
- }
- else
- {
- return current.get(keyStroke);
- }
- }
- return null;
- } //}}}
- //{{{ isPrefixActive() method
- /**
- * Returns if a prefix key has been pressed.
- */
- public boolean isPrefixActive()
- {
- return bindings != currentBindings
- || super.isPrefixActive();
- } //}}}
- //{{{ setBindings() method
- /**
- * Replace the set of key bindings.
- * @since jEdit 4.3pre1
- */
- public void setBindings(Hashtable bindings)
- {
- this.bindings = this.currentBindings = bindings;
- } //}}}
- //{{{ setCurrentBindings() method
- public void setCurrentBindings(Hashtable bindings)
- {
- view.getStatus().setMessage((String)bindings.get(PREFIX_STR));
- currentBindings = bindings;
- } //}}}
- //{{{ handleKey() method
- /**
- * Handles the given keystroke.
- * @param keyStroke The key stroke
- * @param dryRun only calculate the return value, do not have any other effect
- * @since jEdit 4.2pre5
- */
- public boolean handleKey(KeyEventTranslator.Key keyStroke,boolean dryRun)
- {
- char input = '\0';
- if(keyStroke.modifiers == null
- || keyStroke.modifiers.equals("S"))
- {
- switch(keyStroke.key)
- {
- case '\n':
- case '\t':
- input = (char)keyStroke.key;
- break;
- default:
- input = keyStroke.input;
- break;
- }
- }
- if(readNextChar != null)
- {
- if(input != '\0')
- {
- if (!dryRun) {
- setCurrentBindings(bindings);
- invokeReadNextChar(input);
- repeatCount = 1;
- }
- return true;
- }
- else
- {
- if (!dryRun) {
- readNextChar = null;
- view.getStatus().setMessage(null);
- }
- }
- }
- Object o = currentBindings.get(keyStroke);
- if(o == null)
- {
- if (!dryRun) {
- // Don't beep if the user presses some
- // key we don't know about unless a
- // prefix is active. Otherwise it will
- // beep when caps lock is pressed, etc.
- if(currentBindings != bindings)
- {
- Toolkit.getDefaultToolkit().beep();
- // F10 should be passed on, but C+e F10
- // shouldn't
- repeatCount = 1;
- setCurrentBindings(bindings);
- }
- else if(input != '\0') {
- if (!keyStroke.isFromGlobalContext()) { // let user input be only local
- userInput(input);
- }
- } else {
- // this is retarded. excuse me while I drool
- // and make stupid noises
- if(KeyEventWorkaround.isNumericKeypad(keyStroke.key))
- KeyEventWorkaround.numericKeypadKey();
- }
- sendShortcutPrefixOff();
- }
- }
- else if(o instanceof Hashtable)
- {
- if (!dryRun) {
- setCurrentBindings((Hashtable)o);
- ShortcutPrefixActiveEvent.firePrefixStateChange(currentBindings, true);
- shortcutOn = true;
- }
- return true;
- }
- else if(o instanceof String)
- {
- if (!dryRun) {
- setCurrentBindings(bindings);
- sendShortcutPrefixOff();
- invokeAction((String)o);
- }
- return true;
- }
- else if(o instanceof EditAction)
- {
- if (!dryRun) {
- setCurrentBindings(bindings);
- sendShortcutPrefixOff();
- invokeAction((EditAction)o);
- }
- return true;
- }
- if (!dryRun) {
- sendShortcutPrefixOff();
- }
- return false;
- } //}}}
- //{{{ handleKey() methodprotected void sendShortcutPrefixOff()
- /**
- * If
- */
- protected void sendShortcutPrefixOff()
- {
- if( shortcutOn == true )
- {
- ShortcutPrefixActiveEvent.firePrefixStateChange(null, false);
- shortcutOn = false;
- }
- } //}}}
-
- protected boolean shortcutOn=false;
-
- //{{{ getSymbolicModifierName() method
- /**
- * Returns a the symbolic modifier name for the specified Java modifier
- * flag.
- *
- * @param mod A modifier constant from <code>InputEvent</code>
- *
- * @since jEdit 4.1pre3
- */
- public static char getSymbolicModifierName(int mod)
- {
- return KeyEventTranslator.getSymbolicModifierName(mod);
- } //}}}
- //{{{ getModifierString() method
- /**
- * Returns a string containing symbolic modifier names set in the
- * specified event.
- *
- * @param evt The event
- *
- * @since jEdit 4.1pre3
- */
- public static String getModifierString(InputEvent evt)
- {
- return KeyEventTranslator.getModifierString(evt);
- } //}}}
- //{{{ Private members
- // Stores prefix name in bindings hashtable
- public static Object PREFIX_STR = "PREFIX_STR";
- private Hashtable bindings;
- private Hashtable currentBindings;
- //}}}
- }