Skip to content

Rename pattern to tiling#5590

Merged
laurmaedje merged 2 commits intomainfrom
rename-pattern-tiling
Dec 17, 2024
Merged

Rename pattern to tiling#5590
laurmaedje merged 2 commits intomainfrom
rename-pattern-tiling

Conversation

@laurmaedje
Copy link
Member

Two reasons:

  • The name is a bit more instructive
  • Frees up the name pattern for the future unification of selectors and type patterns

The alias pattern remains for the time being. It does not currently emit a warning upon use due to lack of infrastructure for that, but this can be fixed once #5582 has landed.

@laurmaedje laurmaedje changed the title Rename pattern tiling Rename pattern to tiling Dec 16, 2024
@laurmaedje laurmaedje added this pull request to the merge queue Dec 17, 2024
Merged via the queue into main with commit 1346385 Dec 17, 2024
@laurmaedje laurmaedje deleted the rename-pattern-tiling branch December 17, 2024 09:38
MDLC01 added a commit to MDLC01/typst that referenced this pull request Dec 17, 2024
MDLC01 added a commit to MDLC01/typst that referenced this pull request Dec 28, 2024
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

Successfully merging this pull request may close these issues.

1 participant