Should that be location = Or [...] ? Seems odd that no-one's complained, but it seems like it should be available at a planet with any of those specials, not requiring one with all of them...
It's scripted, ineffectively. It may have previously been used to export minerals like growth focus, but the latter was switched to cover all types of growth boost specials.
In the game I have running in the other window I have Scylior on an Elyrium world, their file says they have mining focus, but nothing is there in the dropdown. Whatever it's meant to do it currently does nothing.
It used to unlock Heavy Mining back when you had industry and mining as separate functions and a pool of minerals to use up, but I wasn't playing at the point that was dumped in favour of the much simpler current system.
Given they currently all give bonuses to industrial production if you're on the industry focus, what would/could you do to them instead? Bonus to production on all industry worlds connected?
Mat Bowles
Any code or patches in anything posted here is released under the CC and GPL licences in use for the FO project.
I do want to add some sort of a strategic resources system, which might work partly through using focus to tell a planet to export a resource, which might involve a "mining" focus, but it doesn't really need to be kept around as scripted now even with that potential use...