| org.gjt.sp.jedit.gui.InputHandler
 org.gjt.sp.jedit.gui.DefaultInputHandler
| DefaultInputHandler | | public class DefaultInputHandler extends InputHandler (Code) | | 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 11035 2007-11-12 19:44:17Z kpouer $ |
| shortcutOn | | protected boolean shortcutOn(Code) | | |
| DefaultInputHandler | | public DefaultInputHandler(View view, Hashtable bindings)(Code) | | Creates a new input handler with no key bindings defined.
Parameters:
view - The view
Parameters:
bindings - An explicitly-specified set of key bindings,must not be null.
since:
jEdit 4.3pre1 |
| DefaultInputHandler | | public DefaultInputHandler(View view)(Code) | | Creates a new input handler with no key bindings defined.
Parameters:
view - The view |
| DefaultInputHandler | | public DefaultInputHandler(View view, DefaultInputHandler copy)(Code) | | 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.
Parameters:
copy - The input handler to copy key bindings from
Parameters:
view - The view |
| addKeyBinding | | public void addKeyBinding(String keyBinding, String action)(Code) | | Adds a key binding to this input handler. The key binding is
a list of white space separated key strokes of the form
[modifiers+]key 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)
Parameters:
keyBinding - The key binding
Parameters:
action - The action
since:
jEdit 4.2pre1 |
| addKeyBinding | | public void addKeyBinding(String keyBinding, EditAction action)(Code) | | Adds a key binding to this input handler. The key binding is
a list of white space separated key strokes of the form
[modifiers+]key 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)
Parameters:
keyBinding - The key binding
Parameters:
action - The action |
| addKeyBinding | | public void addKeyBinding(String keyBinding, Object action)(Code) | | Adds a key binding to this input handler. The key binding is
a list of white space separated key strokes of the form
[modifiers+]key 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)
Parameters:
keyBinding - The key binding
Parameters:
action - The action
since:
jEdit 4.3pre1 |
| getKeyBinding | | public Object getKeyBinding(String keyBinding)(Code) | | Returns either an edit action, or a hashtable if the specified key
is a prefix.
Parameters:
keyBinding - The key binding
since:
jEdit 3.2pre5 |
| getModifierString | | public static String getModifierString(InputEvent evt)(Code) | | Returns a string containing symbolic modifier names set in the
specified event.
Parameters:
evt - The event
since:
jEdit 4.1pre3 |
| getSymbolicModifierName | | public static char getSymbolicModifierName(int mod)(Code) | | Returns a the symbolic modifier name for the specified Java modifier
flag.
Parameters:
mod - A modifier constant from InputEvent
since:
jEdit 4.1pre3 |
| handleKey | | public boolean handleKey(KeyEventTranslator.Key keyStroke, boolean dryRun)(Code) | | Handles the given keystroke.
Parameters:
keyStroke - The key stroke
Parameters:
dryRun - only calculate the return value, do not have any other effect
since:
jEdit 4.2pre5 |
| isPrefixActive | | public boolean isPrefixActive()(Code) | | Returns if a prefix key has been pressed.
|
| removeAllKeyBindings | | public void removeAllKeyBindings()(Code) | | Removes all key bindings from this input handler.
|
| removeKeyBinding | | public void removeKeyBinding(String keyBinding)(Code) | | Removes a key binding from this input handler. This is not yet
implemented.
Parameters:
keyBinding - The key binding |
| sendShortcutPrefixOff | | protected void sendShortcutPrefixOff()(Code) | | If
|
| setBindings | | public void setBindings(Hashtable bindings)(Code) | | Replace the set of key bindings.
since:
jEdit 4.3pre1 |
|
|