How do you change the IDE font in version 2.0.1

Development Tools IDE 1.x
1

How do you change the IDE font in version 2.0.1

2

I don't have the IDE installed at the moment but I would look at File/Preferences

3

Hi @microcircuit. The font can be changed in the IDE's advanced settings:

  1. Open the Command Palette by pressing Ctrl+Shift+P (Command+Shift+P for macOS users).
  2. Select the "Preferences: Open Settings (UI)" command.
  3. In the "Search Settings" field, type font family.
  4. You can now set the fonts by entering a font name in the fields of the settings you are interested in customizing.
    This field is a comma-separated lists of font names. The first installed font on the list is used, so a list of multiple fonts provides fallback fonts to use in case the previous ones don't happen to be installed on the system the IDE is running on.

The font change will take effect immediately.

There is some Windows specific supplemental information about setting fonts in the IDE here:

Please let me know if you have any questions or problems while customizing the font.

4

Thank you ptillish, I wish I had asked the question before spending an afternoon trying to solve this without help.
Best wishes, Phil

5

Thank you JohnRob, you were on the right track, I also received concise instructions from ptillisch which solved the problem.
Best wishes, Phil

6

You are welcome. I'm glad if I was able to be of assistance.

Regards,
Per