mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
remove WindowMethods::size()
This commit is contained in:
parent
e25dd45139
commit
fef0506269
2 changed files with 2 additions and 8 deletions
|
@ -17,7 +17,7 @@ use std::fmt::{Debug, Error, Formatter};
|
|||
use std::rc::Rc;
|
||||
use style_traits::DevicePixel;
|
||||
use style_traits::cursor::CursorKind;
|
||||
use webrender_api::{DeviceIntPoint, DeviceSize, DevicePoint, DeviceUintSize, DeviceUintRect, ScrollLocation};
|
||||
use webrender_api::{DeviceIntPoint, DevicePoint, DeviceUintSize, DeviceUintRect, ScrollLocation};
|
||||
|
||||
#[derive(Clone)]
|
||||
pub enum MouseWindowEvent {
|
||||
|
@ -122,8 +122,6 @@ pub trait WindowMethods {
|
|||
fn framebuffer_size(&self) -> DeviceUintSize;
|
||||
/// Returns the position and size of the window within the rendering area.
|
||||
fn window_rect(&self) -> DeviceUintRect;
|
||||
/// Returns the size of the window.
|
||||
fn size(&self) -> DeviceSize;
|
||||
/// Presents the window to the screen (perhaps by page flipping).
|
||||
fn present(&self);
|
||||
|
||||
|
|
|
@ -868,7 +868,7 @@ impl WindowMethods for Window {
|
|||
}
|
||||
|
||||
fn framebuffer_size(&self) -> DeviceUintSize {
|
||||
self.size().to_u32()
|
||||
(self.inner_size.get().to_f32() * self.hidpi_factor()).to_u32()
|
||||
}
|
||||
|
||||
fn window_rect(&self) -> DeviceUintRect {
|
||||
|
@ -877,10 +877,6 @@ impl WindowMethods for Window {
|
|||
DeviceUintRect::new(origin, size)
|
||||
}
|
||||
|
||||
fn size(&self) -> TypedSize2D<f32, DevicePixel> {
|
||||
self.inner_size.get().to_f32() * self.hidpi_factor()
|
||||
}
|
||||
|
||||
fn client_window(&self, _: BrowserId) -> (DeviceUintSize, DeviceIntPoint) {
|
||||
let (size, point) = match self.kind {
|
||||
WindowKind::Window(ref window, ..) => {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue