mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-21 15:54:39 +01:00
That is, if the editor.languages.current preference is empty (or missing), use the default system locale.
That is, if the editor.languages.current preference is empty (or missing), use the default system locale.