Some of the Preferences options are in Spanish, but the names of the various options within platforms in the Spanish version of JMP are in English.
Translating the names of the options to Spanish to match the option names within each platform would make it easier for users to find and set preferences when using the software in Spanish.
