$origin_destination =
$request_clone->
getBasePath() . '/' .
ltrim($path ?? '/', '/'
);
$used_query_parameters =
$request_clone->query->
all();
$query = UrlHelper::
buildQuery($used_query_parameters);
if ($query != ''
) { $origin_destination .= '?' .
$query;
} $this->redirectDestination->
set($origin_destination);
// Override the display's pager_element with the one actually used.
if (isset($pager_element)) { $response->
addCommand(new ScrollTopCommand(".js-view-dom-id-
$dom_id"
));
$view->displayHandlers->
get($display_id)->
setOption('pager_element',
$pager_element);
} // Reuse the same DOM id so it matches that in drupalSettings.
$view->dom_id =
$dom_id;
$preview =
$view->
preview($display_id,
$args);
$response->
addCommand(new ReplaceCommand(".js-view-dom-id-
$dom_id",
$preview));
$response->
addCommand(new PrependCommand(".js-view-dom-id-
$dom_id",
['#type' => 'status_messages'
]));
return $response;
}