mirrors/Unciv
1
0
Fork 0
mirror of https://github.com/yairm210/Unciv.git synced 2025-07-04 15:27:50 +07:00
Code Issues Packages Projects Releases Wiki Activity

Prevent duplicate lines from UiElementDocsWriter (#9040)

Browse Source
This commit is contained in:
SomeTroglodyte
2023-03-26 15:17:01 +02:00
committed by GitHub
parent 2adb4ffdde
commit a56e461595
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
desktop/src/com/unciv/app/desktop/UiElementDocsWriter.kt
View File

@ -51,7 +51,7 @@ class UiElementDocsWriter {
yield(startMarker)
yield("| Directory | Name | Default shape | Image |")
yield("|---|:---:|:---:|---|")
yieldAll(elements.asSequence().sorted()) // FileTreeWalk guarantees no specific order as it uses File.listFiles
yieldAll(elements.asSequence().sorted().distinct()) // FileTreeWalk guarantees no specific order as it uses File.listFiles
yield(endMarker)
yieldAll(originalLines.subList(endIndex + 1, originalLines.size))
}