widget-dropdown

A Jupyter widget for a dropdown selector that allows for

• disabling entries (grayed out; unselectable);
• grouping entries under a title (the title is not selectable).

Installation

pip install widget-dropdown

Development installation

Install the python code:

pip install -e .[dev]

You then need to install the JavaScript dependencies and run the development server.

npm install
npm run dev

Open example.ipynb in JupyterLab, VS Code, or your favorite editor to start developing. Changes made in js/ will be reflected in the notebook.

Making a new release

• Update version in pyproject.toml
• git add . && git commit -m "vX.Y.Z"
• Create a corresponding git tag (git tag vX.Y.Z)
• Push to Github (git push && git push --tags), which will start the Github Action to create a Github Release & publish the new version to PYPI.