Mistake on this page? Email us

Changing preferences

You can customise many of Mbed Studio's behaviours to suit the way you're used to working: how you debug, how you edit and browse files, how you use the terminal and so on.

To change preferences:

  1. Go to File > Preferences.

    Mbed Studio opens two tabs: the full preferences list and a User tab. The User tab shows a JSON file storing all the preferences you changed from their default values.

  2. Click the preference you want to change.

    Mbed Studio shows a list of predefined values or the option to add a manual value.

  3. For preferences that require a manual value, the User tab adds the preference key, and you need to add the correct value. For example, if you select the JSON schema preference, the User tab will show the key json.schemas without a value; you can then add local or remote URLs of schema files:

    {
        "json.schemas": [
            {
                "fileMatch": [
                    "peeps/*.json"
                ],
                "url": "file:///home/mbed/Mbed%20Programs/blinky/person.schema.json"
            }
        ]
    }
    

In the following example, Mbed Studio will:

  • Only open files on double-click (instead of single-click).
  • Use \r\n for the end of line character (instead of matching the operating system).
  • Not auto indent.
  • Use a larger font size in the terminal (15 rather than the default 12).
  • Not ignore white space changes when comparing files.
  • Auto close brackets only before a white space.

You can change the most common preferences without going to the Preferences list. For example, go to the View menu to switch from the default dark theme to a light theme, or click the Spaces option on the information bar to indent with tabs:

Important Information for this Arm website

This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies. If you are not happy with the use of these cookies, please review our Cookie Policy to learn how they can be disabled. By disabling cookies, some features of the site will not work.