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

Fix #1129 and add request_timer to LayoutCtx #1278

Merged
merged 3 commits into from
Oct 5, 2020

Conversation

Majora320
Copy link
Contributor

@Majora320 Majora320 commented Oct 4, 2020

This resolves #1129 and also adds request_timer to LayoutCtx. Please let me know if this would have any negative implications of this, although it seems like something that would be useful to have in the public api for similar use cases to this one.

Copy link
Member

@cmyr cmyr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for this, always feels good to fix these little rough edges!

@cmyr cmyr merged commit f476691 into linebender:master Oct 5, 2020
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.

Show scroll when changing size
2 participants