Skip to content

Disable the typeset plugin#13517

Merged
charliermarsh merged 1 commit intomainfrom
charlie/typeset
Sep 25, 2024
Merged

Disable the typeset plugin#13517
charliermarsh merged 1 commit intomainfrom
charlie/typeset

Conversation

@charliermarsh
Copy link
Member

Summary

There seems to be a bad interaction between enabling anchorlinks and the typeset plugin. I think the former is more important than the latter... so disabling the latter for now.

Test Plan

Before:

Screenshot 2024-09-25 at 7 53 21 PM

After:

Screenshot 2024-09-25 at 7 53 12 PM

@charliermarsh charliermarsh added bug Something isn't working documentation Improvements or additions to documentation labels Sep 25, 2024
@charliermarsh charliermarsh enabled auto-merge (squash) September 25, 2024 23:57
@charliermarsh charliermarsh merged commit d7ffe46 into main Sep 25, 2024
@charliermarsh charliermarsh deleted the charlie/typeset branch September 25, 2024 23:58
@MichaReiser MichaReiser removed the bug Something isn't working label Sep 26, 2024
zanieb added a commit to astral-sh/uv that referenced this pull request Sep 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants