A text editor for translators