author | wenzelm |
Sun, 13 Nov 2022 21:31:45 +0100 | |
changeset 76516 | ca88e5496553 |
parent 76515 | 3e3541e79219 |
child 76517 | b67c9ed2c810 |
--- a/src/Pure/Tools/prismjs.scala Sun Nov 13 20:45:49 2022 +0100 +++ b/src/Pure/Tools/prismjs.scala Sun Nov 13 21:31:45 2022 +0100 @@ -32,7 +32,7 @@ JSON.Value.List.unapply(info.getOrElse("alias", Nil), JSON.Value.String.unapply) .getOrElse(Nil) Language(name :: alias) - }).toList + }).toList.sortBy(_.name) case _ => error("Failed to determine languages from " + components_path) } }