Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Sphin 8.1.0 and MathDomain import #392

Closed
wants to merge 1 commit into from

Conversation

Novakov
Copy link
Contributor

@Novakov Novakov commented Oct 11, 2024

Sphinx 8.1.0 removed import of MathDomain into sphinx.ext.mathjax that resulted in sphinx-immaterial crashing with ImportError. Replaced with import from actual package that defines MathDomain.

Sphinx seems to be moving away from using get_domain to get domain instances, however it is available only from versions >=8.1.0, so I left get_domain call as it is currently.

Verified to work with Sphinx 8.0.2 and 8.1.0 but I'm not using mathjax domain.

Sphinx 8.1.0 removed import of MathDomain into sphinx.ext.mathjax
that resulted in sphinx-immaterial crashing with ImportError. Replaced
with import from actual package that defines MathDomain.

Sphinx seems to be moving away from using get_domain to get domain
instances, however it is available only from versions >=8.1.0, so I left
get_domain call as it is currently.

Verified to work with Sphinx 8.0.2 and 8.1.0 but I'm not using mathjax
domain.
@2bndy5
Copy link
Collaborator

2bndy5 commented Oct 11, 2024

stems from this commit: sphinx-doc/sphinx@76110c3 which also implies a change in typing

@2bndy5 2bndy5 added the bug Something isn't working label Oct 11, 2024
@2bndy5
Copy link
Collaborator

2bndy5 commented Oct 11, 2024

I cherry picked your commit and added some type fixes in #393. I'll close this as #393 supersedes this patch, but you'll still get attribution in git history.

Thank you for bringing this to our attention!

@2bndy5 2bndy5 closed this Oct 11, 2024
@Novakov
Copy link
Contributor Author

Novakov commented Oct 11, 2024

Thanks for taking care of it :) It's been a pleasure to contribute something useful :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants