default editor for *.txt