how to change UI language of PolySpace Code Proven

Can not find any check button to change the default display UI language ,eg English or Chinese ?

Answer 1

[David Delarue]

Hello,

As far as i know there is no UI setting allowing to control the UI language.

The UI language is automatically set based on the machine language, and the default is English in case we don't support the machine language.

Chinese language should be supported in the UI since R2023a.

[ElectronicABC]

the translation for chinese is too poort ,so I want to change ui to english ,but not find any options to do it .

[David Delarue]

There is no option to do it. This is a feature that should be added to the Polyspace UI.

On Linux it's possible to set the language from the console like this:

echo LANG=en_US.UTF-8

On Windows i fear there is no workaound (except setting the machine's language to English...).