diff options
Diffstat (limited to 'components/util/geometry.rs')
| -rw-r--r-- | components/util/geometry.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/components/util/geometry.rs b/components/util/geometry.rs index 4af85d703c9..813cad3aa3d 100644 --- a/components/util/geometry.rs +++ b/components/util/geometry.rs @@ -23,7 +23,7 @@ use std::i32; /// /// The ratio between ScreenPx and DevicePixel for a given display be found by calling /// `servo::windowing::WindowMethods::hidpi_factor`. -#[derive(Debug, Copy, Clone)] +#[derive(Clone, Copy, Debug, HeapSizeOf)] pub enum ScreenPx {} /// One CSS "px" in the coordinate system of the "initial viewport": @@ -35,7 +35,7 @@ pub enum ScreenPx {} /// /// At the default zoom level of 100%, one PagePx is equal to one ScreenPx. However, if the /// document is zoomed in or out then this scale may be larger or smaller. -#[derive(RustcEncodable, Debug, Copy, Clone)] +#[derive(Clone, Copy, Debug, HeapSizeOf)] pub enum ViewportPx {} /// One CSS "px" in the root coordinate system for the content document. @@ -44,7 +44,7 @@ pub enum ViewportPx {} /// This is the mobile-style "pinch zoom" that enlarges content without reflowing it. When the /// viewport zoom is not equal to 1.0, then the layout viewport is no longer the same physical size /// as the viewable area. -#[derive(RustcEncodable, Debug, Copy, Clone)] +#[derive(Clone, Copy, Debug, HeapSizeOf)] pub enum PagePx {} // In summary, the hierarchy of pixel units and the factors to convert from one to the next: |