Skip to content

Local Configuration

To change local settings, click on FileNew Projects SettingsPreferences 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 EditorFont, and for Project Explorer and other toolbars in Appearance and BehaviorAppearanceCustom 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.