mirror of
https://github.com/servo/servo.git
synced 2025-06-19 14:48:59 +01:00
script: Remove unused Window::page_clip_rect
(#37394)
This value was used when rendering was not done by WebRender. Nowadays, we do not need this page clip rect concept and it is completely unused. Testing: This just remove dead code, so should be covered by existing tests. Signed-off-by: Martin Robinson <mrobinson@igalia.com>
This commit is contained in:
parent
c36ef34464
commit
fab958258e
3 changed files with 8 additions and 45 deletions
|
@ -2451,7 +2451,7 @@ impl ScriptThread {
|
|||
fn handle_viewport(&self, id: PipelineId, rect: Rect<f32>) {
|
||||
let document = self.documents.borrow().find_document(id);
|
||||
if let Some(document) = document {
|
||||
document.window().set_page_clip_rect_with_new_viewport(rect);
|
||||
document.window().set_viewport(rect);
|
||||
return;
|
||||
}
|
||||
let loads = self.incomplete_loads.borrow();
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue