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 b1c1aa6c4dc..c32a0264665 100644 --- a/components/util/geometry.rs +++ b/components/util/geometry.rs @@ -31,7 +31,7 @@ use rustc_serialize::{Encoder, Encodable}; /// /// The ratio between ScreenPx and DevicePixel for a given display be found by calling /// `servo::windowing::WindowMethods::hidpi_factor`. -#[derive(Debug, Copy)] +#[derive(Debug, Copy, Clone)] pub enum ScreenPx {} /// One CSS "px" in the coordinate system of the "initial viewport": @@ -43,7 +43,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)] +#[derive(RustcEncodable, Debug, Copy, Clone)] pub enum ViewportPx {} /// One CSS "px" in the root coordinate system for the content document. @@ -52,7 +52,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)] +#[derive(RustcEncodable, Debug, Copy, Clone)] pub enum PagePx {} // In summary, the hierarchy of pixel units and the factors to convert from one to the next: |