The jEdit repository includes an outdated version of scala.xml from https://github.com/djspiewak/jedit-modes/blob/master/scala.xml
Only that file needs to be updated.
Submitted | makarius - 2015-05-07 11:24:34.404000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | None |
Resolution | None |