python: add easy ways to remove highlights (!98) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/554 into next Nov 23, 2023

Fixes #554 (closed), reported by Dávid Smolka.

python/spot/impl.i (highlight_edge, highlight_state): Add versions where the color is nullptr and map that to None. (remove_highlight_states, remove_highlight_edges): New function.
tests/python/highlighting.ipynb: Demonstrate those new methods.