rendermime/src/renderer
, which has a function called Private.ansiSpan
but it's not exported...OutputArea
renders it unfortunately.
I have a question about theme: After I installed a theme extension, the newly installed theme won't appear in the Settings -> JupyterLab Theme submenu. How can I fix this?
Well it turned out to be a problem described in this issue jupyterlab/jupyterlab#8122 . I deleted build_config.json
and everything works fine!
latest
version of this page: https://jupyterlab.readthedocs.io/en/latest/developer/extension_dev.html
import { ReactWidget } from '@jupyterlab/apputils';