When I'm in History view and select a previous commit and then one of the files listed, its context menu offers "Reset to commit...".
If I choose that item, a confirmation window appears listing the "files" that I am about to reset to their previous state(s).
I OK that, but nothing happens. The file is untouched.
Trying the same with more than one file selected does not even give me that context menu item any more (it is greyed out) -- although the appearance of the previous confirmation window (see above) clearly suggests that this should also be possible for more than one file.
Can anyone tell me what is the matter here?