First time here? Check out the FAQ!
answered 2020-06-17 01:10:37 +0100
Looks like this may have been fixed upstream:
https://github.com/jupyterlab/jupyterlab/pull/3882#discussion_r168645529