explorer multi selection: only focus an element if it joins the selection

fixes #43233
This commit is contained in:
isidor 2018-02-09 16:22:47 +01:00
parent 24c4f221e7
commit c31b2f2ad6

View file

@ -391,8 +391,8 @@ export class FileController extends WorkbenchTreeController implements IDisposab
tree.setSelection(selection.filter(s => s !== stat));
} else {
tree.setSelection(selection.concat(stat));
tree.setFocus(stat, payload);
}
tree.setFocus(stat, payload);
}
// Allow to unselect