3 ms·

How do you change a file name in the built-in directory browser of a text editor? Well, just edit the text!