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 linux font styles. #394

Merged
merged 3 commits into from Apr 23, 2013
Merged

Fix linux font styles. #394

merged 3 commits into from Apr 23, 2013

Conversation

@metajack
Copy link
Contributor

metajack commented Apr 22, 2013

Font styles were getting lost. This is easiest to see with about-mozilla.html which was rendered with roman instead of italic.

brson added a commit that referenced this pull request Apr 23, 2013
@brson brson merged commit bf0f401 into servo:master Apr 23, 2013
ChrisParis pushed a commit to ChrisParis/servo that referenced this pull request Sep 7, 2014
Update window-properties.html to current WebIDL; r=zcorpan
glennw pushed a commit to glennw/servo that referenced this pull request Jan 16, 2017
Simplify border shader code

Eliminate many of the #ifdef'd sections for the transformation shader,
which are now duplicated. Additionally, combine the functions that
draw dashed and dotted borders, since the corners for these border types
are drawn in the same way.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/webrender/394)
<!-- Reviewable:end -->
@jdm jdm mentioned this pull request Nov 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.