On Tue, May 31, 2011 at 1:38 PM, Gregory Crosswhite
<[email protected]> wrote:

> Also, to check if there is a problem in the file that just hadn't been
> noticed by the Scala distributors, I just copied scala.xml into the jEdit
> modes directory and tried opening a Scala file within jEdit, and it seems to
> work just fine.

Good idea.  I had planned to do that, and then forgot :-)

I'll work on this as time permits, but I won't delay b1 for it.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/leo-editor?hl=en.

Reply via email to