Quoting peterwinson <[EMAIL PROTECTED]>:
Mats, how do you do this in Jedit. I've tried to find out but still have not figured it out. Do you need the Lilytool plugin for jedit?
I've never used Jedit myself, but a quick look in the Jedit manual reveals that there is a full section devoted to "Character encodings" which should answer your question. /Mats _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-user
