Macros for the excellent jEdit text editor.