But, the good thing about the AutoHotkey script is that it can be used in any
text editor.

Yes! And the good thing about jEdit abbreviations that it doesn't need another application to be installed :-) (My most important point in noting abbreviations was that autohotkey is windows-specific, while jEdit is used in Mac and Linux as well)

Bert


_______________________________________________
lilypond-user mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/lilypond-user

Reply via email to