1. 2012-03-29 [ jEdit-devel ] [ jedit-Bugs-3512853 ] macros at menu jedit-dev SourceForge.net 2. 2012-03-29 [ jEdit-devel ] [ jedit-Bugs-3512853 ] macros at menu jedit-dev SourceForge.net