Fix type error for `codemirror-extension` example

jupyterlab / extension-examples

JupyterLab Extensions by Examples

BSD 3-Clause "New" or "Revised" License

439 stars 167 forks source link

Fix type error for `codemirror-extension` example #249

Closed firai closed 8 months ago

firai commented 8 months ago

Fixes #250

welcome[bot] commented 8 months ago

Thanks for submitting your first pull request! You are awesome! :hugs:
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. welcome 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! :wave:
Welcome to the Jupyter community! :tada:

welcome[bot] commented 8 months ago

Congrats on your first merged pull request in this project! :tada: Thank you for contributing, we are very proud of you! :heart: