Nevertheless, I'm not sure that we should add it to the jedit distribution, because we could end up with a whole bunch of macros of this sort. So maybe, it should be provided for download via community site: http://community.jedit.org/?q=filestore/browse/31
I'll wait for votes.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
For me, the macro works.
Nevertheless, I'm not sure that we should add it to the jedit distribution, because we could end up with a whole bunch of macros of this sort. So maybe, it should be provided for download via community site: http://community.jedit.org/?q=filestore/browse/31
I'll wait for votes.
I agree, put it on the community site, then the MacroManager plugin can find it and let people install it as needed.