Themes: improve note theme, fix #2088

This commit is contained in:
Pieter Vander Vennet 2024-09-13 02:25:06 +02:00
parent 70117ac687
commit e8099b9081
5 changed files with 266 additions and 189 deletions

View file

@ -1272,7 +1272,7 @@ In the case that MapComplete is pointed to the testing grounds, the edit will be
public static sortedByLevenshteinDistance<T>(
reference: string,
ts: T[],
ts: ReadonlyArray<T>,
getName: (t: T) => string
): T[] {
const withDistance: [T, number][] = ts.map((t) => [