An input handler converts the user's key strokes into concrete actions.
It also takes care of macro recording and action repetition.
This class provides all the necessary support code for an input
handler, but doesn't actually do any key binding logic. It is up
to the implementations of this class to do so.
author: Slava Pestov version: $Id: InputHandler.java 1167 2008-01-15 18:49:05Z gtoffoli $ See Also:org.syntax.jedit.DefaultInputHandler See Also: 08/12/2002 Clipboard actions (Oliver Henning)
Inner Class :public interface NonRepeatable
Inner Class :public interface NonRecordable
Inner Class :public interface Wrapper
Inner Class :public interface MacroRecorder
Inner Class :public static class backspace implements ActionListener
Inner Class :public static class backspace_word implements ActionListener
Inner Class :public static class delete implements ActionListener
Inner Class :public static class delete_word implements ActionListener
Inner Class :public static class end implements ActionListener
Inner Class :public static class select_all implements ActionListener
Inner Class :public static class document_end implements ActionListener
Inner Class :public static class home implements ActionListener
Inner Class :public static class document_home implements ActionListener
Inner Class :public static class insert_break implements ActionListener
Inner Class :public static class insert_tab implements ActionListener
Inner Class :public static class next_char implements ActionListener
Inner Class :public static class next_line implements ActionListener
Inner Class :public static class next_page implements ActionListener
Inner Class :public static class next_word implements ActionListener
Inner Class :public static class overwrite implements ActionListener
Inner Class :public static class prev_char implements ActionListener
Inner Class :public static class prev_line implements ActionListener
Inner Class :public static class prev_page implements ActionListener
Inner Class :public static class prev_word implements ActionListener
SMART_HOME_END_PROPERTY If this client property is set to Boolean.TRUE on the text area,
the home/end keys will support 'smart' BRIEF-like behaviour
(one press = start/end of line, two presses = start/end of
viewscreen, three presses = start/end of document).
final public static String SMART_HOME_END_PROPERTY(Code)
If this client property is set to Boolean.TRUE on the text area,
the home/end keys will support 'smart' BRIEF-like behaviour
(one press = start/end of line, two presses = start/end of
viewscreen, three presses = start/end of document). By default,
this property is not set.
Adds the default key bindings to this input handler.
This should not be called in the constructor of this
input handler, because applications might load the
key bindings from a file, etc.
Adds a key binding to this input handler.
Parameters: keyBinding - The key binding (the format of this isinput-handler specific) Parameters: action - The action
Executes the specified action, repeating and recording it as
necessary.
Parameters: listener - The action listener Parameters: source - The event source Parameters: actionCommand - The action command
If a key is being grabbed, this method should be called with
the appropriate key event. It executes the grab action with
the typed character as the parameter.
Returns if repeating is enabled. When repeating is enabled,
actions will be executed multiple times. This is usually
invoked with a special key stroke in the input handler.
Sets the number of times the next action will be repeated.
Parameters: repeatCount - The repeat count
setRepeatEnabled
public void setRepeatEnabled(boolean repeat)(Code)
Enables repeating. When repeating is enabled, actions will be
executed multiple times. Once repeating is enabled, the input
handler should read a number from the keyboard.