SomeTroglodyte 6c841e52c6 Minor Mod Manager fixes (mods having dashes in their repo name not shown right away) (#9894) ...

* Fix Mod Manager not displaying some freshly downloaded mods immediately
(and scroll it into view)

* Mod Manager DL-from-URL stays open after invalid link

* Minor lint

* Another lint on an unfortunate lint

2023-08-09 00:46:59 +03:00

..

src/com/unciv

Minor Mod Manager fixes (mods having dashes in their repo name not shown right away) (#9894)

2023-08-09 00:46:59 +03:00

build.gradle.kts

Fixed a couple warnings reported by code analysis (#9364)

2023-05-10 11:43:53 +03:00