Closed almarklein closed 2 years ago
If you aren't customizing the API docs too much you may want to look into sphinx apidoc: https://www.sphinx-doc.org/en/master/man/sphinx-apidoc.html or https://pypi.org/project/sphinxcontrib-apidoc/
Might save you time in the future.
To prevent the widget from unintentionally consuming wheel events, there are (at least) two options:
I initially went with (2), see the commit, but then I remembered that we already keep track of focus for key events, so (1) is easy to implement, and that approach also feels more consistent to the user.
Ready!