src/vs/workbench/services/history/browser/historyService.ts/HistoryService/moveInHistory
class HistoryService:	private moveInHistory(event: FileOperationEvent): void {
		if (event.isOperation(FileOperation.MOVE)) {
			const removed = this.removeFromHistory(event);
			if (removed) {
				this.addToHistory({ resource: event.target.resource });
			}
		}
	}