![]() ![]() Refresh JupyterLab to load the change in your browser (you may need to wait several seconds for the extension to be rebuilt).īy default, the jlpm build command generates the source maps for this extension to make it easier to debug using the browser dev tools. With the watch command running, every saved change will immediately be built locally and available in your running JupyterLab. # Watch the source directory in one terminal, automatically rebuilding when needed You can watch the source directory and run JupyterLab at the same time in different terminals to watch for changes in the extension's source and automatically rebuild the extension. # Rebuild extension Typescript source after making changes Pip install -e "." # Link your development version of the extension with JupyterLab ![]() # Clone the repo to your local environment # Change directory to the jupyterlab_theme_solarized_dark directory # Install package in development mode The jlpm command is JupyterLab's pinned version of Note: You will need NodeJS to build the extension package. OR check Settings -> Jupyterlab Theme -> Theme Scrollbars.navigate to Settings -> Advanced Settings Editor -> Theme, and add "theme-scrollbars": true to User Preferences.To enable theme scrollbars, in JupyterLab, either To remove the extension, execute: pip uninstall jupyterlab_theme_solarized_darkĪpply the theme by checking Settings -> Jupyterlab Theme -> Jupyterlab Solarized Dark To install the extension, execute: pip install jupyterlab_theme_solarized_dark The theme was originally created by Joses W. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |