diff options
author | bors-servo <metajack+bors@gmail.com> | 2014-10-16 15:06:19 -0600 |
---|---|---|
committer | bors-servo <metajack+bors@gmail.com> | 2014-10-16 15:06:19 -0600 |
commit | 83196ddb26b5611bccfa2d709396daeff259bcd1 (patch) | |
tree | 73d0a42e4bd696456c72739d45666c1208bebf28 /components/script/html/hubbub_html_parser.rs | |
parent | 8d3b107568ab965b518b8003b702a5db993fa7d0 (diff) | |
parent | a6fcec468fd2334b2854cc3d53ceb7c299641971 (diff) | |
download | servo-83196ddb26b5611bccfa2d709396daeff259bcd1.tar.gz servo-83196ddb26b5611bccfa2d709396daeff259bcd1.zip |
auto merge of #3697 : pcwalton/servo/get-layout-font-group, r=glennw
Seems to be a 38% layout win on a site I tested with a lot of text.
Other browser engines typically do not duplicate the information in the font style struct. `FontStyle` actually predates @SimonSapin's CSS selector matching library. It's time to get rid of it!
r? @glennw
Diffstat (limited to 'components/script/html/hubbub_html_parser.rs')
0 files changed, 0 insertions, 0 deletions