Michael,
Thanks for trying our new CodeMix plug-in and for you kind comments.
We did respond to your ticket on April 27th with the instructions. I am pasting the reply here again for your convenience.
I’m sorry you’re bumping into some of the rough edges that we’ll be working on prior to full release. In this case, you will be able to set these preferences in the general eclipse editor preferences but this is not yet fully implemented. Although you’ve mentioned changing the settings.json file, it’s not clear that you’ve changed the file that applies here. Currently, you will need to alter the workspace settings file though the settings.json file editor doesn’t yet allow changes to be made. Instead, you will need to edit this file outside of eclipse and they should apply immediately. The location of the file is relative to your workspace folder: .metadata\.plugins\com.genuitec.eclipse.code.core\.codeMixUserData\User\settings.json
Here is an example of a settings.json file with the relevant settings:
{
“editor.tabSize”: 3,
“editor.insertSpaces”: “true”
}
If you want to add other settings, make sure there is a comma between settings. For other settings, this link might help: https://code.visualstudio.com/docs/getstarted/settings
If settings don’t seem to be being picked up, please close and reopen the editor and/or restart eclipse (this shouldn’t be necessary but it is worth trying if there are problems). We have noticed some inconsistencies in some editors so please let us know how you get on.
–Swapna
Genuitec Support