Code

options: don't leak options.text_editor