change encoding in editor