reloadWorldAndOptions
private fun reloadWorldAndOptions()
Content copied to clipboard
Reload this Popup after major changes (resolution, tileset, language)
Sources
jvm source
Link copied to clipboard