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 |