this post was submitted on 14 Jun 2023
19 points (100.0% liked)

Programming

17398 readers
122 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev



founded 1 year ago
MODERATORS
 

While not strictly related to programming, this is very surprising and harmful behavior that demonstrates how important thinking about edge cases is.

top 5 comments
sorted by: hot top controversial new old
[–] lowleveldata@programming.dev 7 points 1 year ago (1 children)

What is the use case of a "Undo Copy" feature anyway? I can see some cases that I'd want to "Undo Cut" but why do we need another shortcut to delete a file just because it was copied?

[–] Suppoze@beehaw.org 1 points 1 year ago

For example, if you Control+V-d the files into the wrong folder in windows explorer. I've undoed copies many times this way.

However, the post doesn't mention whether this behavior is present with Ctrl+Z as well. If so, that's even words, because you wouldn't even get to read the action you're about to perform.

[–] l4sgc@programming.dev 5 points 1 year ago

I've never even noticed an undo-copy option before, but as someone who frequently misses the button I intended to click, this is terrifying. Gonna have to git commit before every time I open explorer.

[–] IceWolf@masto.brightfur.net 4 points 1 year ago

@sisyphean Oh yikes. KDE asks you if you want to delete the file here.

[–] Kalkaline@lemmy.one 3 points 1 year ago

That person speaks from experience, an experience that's made them extremely bitter.