Re:WDired: Editable Dired Buffers
by junkerm on Wednesday June 14, 2023 @03:00AM
(#36322415)
How do you change a file name in the built-in directory browser of a text editor? Well, just edit the text!
[ Parent
| on HN ]
There are no comments on this comment yet.