Skip to content

feat: add support for leftright delimiters in layout options#3

Merged
erweixin merged 1 commit intomainfrom
fix-middle
Mar 14, 2026
Merged

feat: add support for leftright delimiters in layout options#3
erweixin merged 1 commit intomainfrom
fix-middle

Conversation

@erweixin
Copy link
Copy Markdown
Owner

  • Introduced leftright_delim_height to LayoutOptions for controlling the stretch height of \middle delimiters.
  • Enhanced layout logic to accommodate the new delimiter height during rendering.
  • Added utility functions to check for Middle nodes within the parse tree.

- Introduced `leftright_delim_height` to `LayoutOptions` for controlling the stretch height of `\middle` delimiters.
- Enhanced layout logic to accommodate the new delimiter height during rendering.
- Added utility functions to check for `Middle` nodes within the parse tree.
@erweixin erweixin merged commit 0e03566 into main Mar 14, 2026
1 check passed
@erweixin erweixin deleted the fix-middle branch March 16, 2026 06:17
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