answered 4 years ago
Looks like this may have been fixed upstream:
https://github.com/jupyterlab/jupyterlab/pull/3882#discussion_r168645529