Text Editing

Input Methods are now supported in jEdit. This should make it much easier for people to use alternate keyboard input methods to use jEdit and enter Chinese/Korean/Japanese characters, as well as other alternative input devices.