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

Reply via email to