Modern default text editor
Text Editor has some nice improvements over gedit. We should get it over the line and switch to it as the default Text Editor.
Text Editor has some nice improvements over gedit. We should get it over the line and switch to it as the default Text Editor.