several text editors to choose from