We sometimes need to know the actual type of a setting of type "select", for example, when we need to decide if it should be quoted in a json file.
This PR changes the type of "select" to "select_integer" or "selecttext", where the string after the "" is the actual type.
We sometimes need to know the actual type of a setting of type "select", for example, when we need to decide if it should be quoted in a json file. This PR changes the type of "select" to "select_integer" or "selecttext", where the string after the "" is the actual type.