Community
Participate
Working Groups
A better heuristic to pick the most appropriate extension when multiple ones are provided and only on is supposed to be used is to pick the "most specialized" extension, ie the one that applies to the most specific content-type.
New Gerrit change created: https://git.eclipse.org/r/102710
Gerrit change https://git.eclipse.org/r/102710 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=1ba9040176a1bdaf3c47df85728ae4ab5b0d2a93
Thanks Lucas for the review.
New Gerrit change created: https://git.eclipse.org/r/102828
Gerrit change https://git.eclipse.org/r/102828 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=6332700c91974929c72b945b8dc2b34deb378a21