Asynchronously refresh the editor to give CSS a chance to be applied first.
Asynchronously refresh the editor to give CSS a chance to be applied first.

Patch from @blink1073

jupyter/jupyterlab,jupyter/jupyterlab,jupyter/jupyterlab,jupyter/jupyterlab,jupyter/jupyterlab