Simple text editor for change file encoding