How to find saved user settings?
Given the fact that a user is capable of saving the settings via https://www.jetbrains.com/help/mps/plugin.html#preferencescomponents
Where are the settings being saved to? The docs saying something about: “Persistent fields are saved to the .iws”.
But I have never found a file that ends on “.iws”?
Please sign in to leave a comment.
Sorry, this has changed to $PROJECT_HOME/.mps/workspace.xml quite some time ago. I'll update the documentation accordingly.