1. Go to the editor for any document
2. Enter some text in a target
3. Press the options cog
4. Check/uncheck the Syntax Highlighting option
The selected target is saved, as Translated
The target should not be saved. Worst case, it should be saved as fuzzy. Or, if it needs to be saved at all, prompt the user for what should be done.