• Right click context menu on file-entry in Unstaged Changes list
- Reset changes → git checkout this file
I see the current changes need to be reversed, are bogus or
invalid
- Restore this file → git checkout this file
it was accidentally removed. Like the first option
- Remove this file from disk
Somehow an invalid restore, a misplaced output or other reason
(core dump, debug output from other tools) made this file appear
and I don't want to add it to .gitignore
- Add to .gitignore
Like above, but this file will re-appear more oftenDoes this sound reasonable enough to make it a ticket/issue?