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

Compatibility with typst 0.12 #35

Open
TabError opened this issue Nov 12, 2024 · 1 comment
Open

Compatibility with typst 0.12 #35

TabError opened this issue Nov 12, 2024 · 1 comment

Comments

@TabError
Copy link

The package wasn't updated to the new typst version 0.12.

When compiling one gets the following Warnings:

❯ typst compile script.typ 
warning: calling `query` with a location is deprecated
   ┌─ @preview/lemmify:0.1.6/src/util.typ:68:18
   │
68 │   let locations = query(selector(heading).before(loc), loc)
   │                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   │
   = hint: try removing the location argument

warning: calling `query` with a location is deprecated
   ┌─ @preview/lemmify:0.1.6/src/util.typ:72:15
   │
72 │     let numb = query(selector(heading).before(loc), loc).last().numbering
   │                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   │
   = hint: try removing the location argument

Additionally the contents of theorems and proof are centered and not left-aligned.

@TabError
Copy link
Author

I add a merge request for this:
#34

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant