To change local settings, click on
File →
New Projects Settings →
Preferences for New Projects... in the main menu. The just-opened settings window contains a lot of settings that come directly from MPS / IntelliJ, such as the font size (which you’ll find for the Main Editor in
Editor →
Font, and for Project Explorer and other toolbars in
Appearance and Behavior →
Appearance →
Custom Font). There are also a few itemis SECURE-specific settings pages in here.
Some settings have an icon next to them that states “For current project”.
"For current project" settings may differ from project to project and are stored in a folder inside your project (in
workspace.xml). Note that this file and thus the settings are not shared with other project members, nor versioned. This file also contains window positions and similar internals, so that checking this into versioning would lead to numbers of conflicts.
In short: Don’t add
workspace.xml to your version control system.