Update to JupyterLab 4

[RRosio]

No description provided.

[welcome]

Thanks for submitting your first pull request! You are awesome! 🤗

If you haven't done so already, check out Jupyter's Code of Conduct. Also, please make sure you followed the pull request template, as this will help us review your contribution more quickly.

You can meet the other Jovyans by joining our Discourse forum. There is also a intro thread there where you can stop by and say Hi! 👋

Welcome to the Jupyter community! 🎉

[github-actions]

👈 Launch a Binder on branch RRosio/jupyterlab_pygments/lab4_alpha

[fcollonval]

@RRosio do you have time to finish this one? Do you need help?

[RRosio]

@fcollonval Thank you for the ping! I had some issues with this branch so I decided to open up another PR #31 which has been updated and should be working, I believe. I will close this PR and leave the other open for review!