Package: org.syntax.jedit

[Java] Interface InputHandler.NonRecordable