WPF text editor (with GUI).