A text editor with graphical file browser.
