since v4 This helper function is in @jupyterlab/ui-components