org.gjt.sp.jedit.textarea

Class InputHandler.insert_char

Copyright ? 2002 Romain Guy.