Raphi,
We have a release going out with this fix next week, but have already put out a pre-release with this and other fixes, including an updated Code OSS engine. If you have the time & inclination, would be great if you could give it a try and confirm that this problem is really fixed for you. Even if on the pre-release stream, your build will be updated to the final build when that is released, of course.
To move to the pre-release stream, please follow these steps:
1. Add the following line to Eclipse/configuration/config.ini
com.genuitec.code.manifest.url=http\://www.genuitec.com/updates/codemix/prerelease/codemix.json
2. Restart Eclipse
3. An update will be detected as shown bottom left — when the update is applied, click the Restart icon to reload Eclipse with the prerelease version of CodeMix
Have a great weekend!