An extension for JupyterLab that replaces the default Splash Screen with a custom GIF. The selection of GIFs is predefined and limited.
To change the GIF on the Splash Screen, follow these steps:
- Open the Settings Editor;
- Navigate to the Custom Splash section;
- Select a new GIF from the dropdown menu.
To add your own custom GIF, follow these steps:
- Clone the repository:
git clone https://github.com/MrCrashLab/splash_screen_ext.git
- Add your GIF to the
style/images/
directory. - Update the
splashScreenConfig
dictionary in thesrc/index.ts
file by adding the path to your GIF and its duration. - In the
schema/custom-splash.json
file, add the key name from step 3 to the enum section.