A graphical editor for text files