Having a play around in #jedit again - used to be my primary text editor for many years