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 1020 2011-04-14 19:02:12Z h $
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected