Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-07 22:45:34 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #732 : eschweic/servo/tile-grunge, r=metajack

Browse source 
Gets rid of that annoying grit that appears between tiles after zooming.
This commit is contained in:
bors-servo 2013-08-15 12:20:15 -07:00
commit 6a070829d2
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/components/gfx/render_context.rs
View file

@ -102,8 +102,8 @@ impl<'self> RenderContext<'self> {
let pattern = ColorPattern(Color(1.0, 1.0, 1.0, 1.0)); let pattern = ColorPattern(Color(1.0, 1.0, 1.0, 1.0));
let rect = Rect(Point2D(self.canvas.rect.origin.x as AzFloat, let rect = Rect(Point2D(self.canvas.rect.origin.x as AzFloat,
self.canvas.rect.origin.y as AzFloat), self.canvas.rect.origin.y as AzFloat),
Size2D(self.canvas.rect.size.width as AzFloat, Size2D(self.canvas.screen_pos.size.width as AzFloat,
self.canvas.rect.size.height as AzFloat)); self.canvas.screen_pos.size.height as AzFloat));
self.canvas.draw_target.make_current(); self.canvas.draw_target.make_current();
self.canvas.draw_target.fill_rect(&rect, &pattern); self.canvas.draw_target.fill_rect(&rect, &pattern);
} }