Git repositories have the lovely properties that deletes aren't propagated. Shared/cloud storage sync deletes across devices.
Accidentally deleting content in a local git repo, and even pushing it, is a safe operation.
miniblog.
Related Posts
It feels like rename is by far the most important refactoring operation. If I had an IDE with only one refactoring, I think I'd want rename.
TIL that C++03 considered a file without a trailing newline to be undefined behaviour! https://stackoverflow.com/a/72377
This was fixed in C++11, but the problem was that #include was a textual operation that could produce invalid syntax if no newline was present.
The GIMP is the only software tool (AFAIK) where selecting content is an undoable operation.
I think this makes sense: selecting things in a complex image is a much more involved operation than in text.