The home on the web of Colin Walker.
Find out more on /about, say /EHLO, or tune in to the daily RSS feed.
Jul 25, 2023#p2
A quick change to the file editor for deleting directories:
Only if a directory is empty will it display a trash can. Non-empty directories cannot be deleted.
