diff options
| author | Jack Moffitt <jack@metajack.im> | 2016-05-20 16:28:50 -0600 |
|---|---|---|
| committer | Jack Moffitt <jack@metajack.im> | 2016-05-20 23:40:39 -0600 |
| commit | 568d454ca628181d41a29418d584489cbfc83c12 (patch) | |
| tree | 230c2740bfed4efb04608bac45a8e93edd638129 /components/servo/lib.rs | |
| parent | b9650b5dd5d8548e473218cd3f08c067a3ceb3c1 (diff) | |
| download | servo-568d454ca628181d41a29418d584489cbfc83c12.tar.gz servo-568d454ca628181d41a29418d584489cbfc83c12.zip | |
Make Servo DPI aware on Windows
This implements system level DPI awareness for Windows. It has three
parts:
1. Add a application manifest which is copied alongside servo.exe during
build that declares our DPI awareness level. This is needed otherwise
DPI queries will return 96dpi and our application will be upscaled on
high DPI displays.
2. Rename hidpi_factor to avoid confusion with Glutin's hidpi_factor
which does something else.
3. Correctly convert windows sizes on window creation for
Windows. Unlike OS X, Windows uses device pixels for window creation.
Diffstat (limited to 'components/servo/lib.rs')
| -rw-r--r-- | components/servo/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/components/servo/lib.rs b/components/servo/lib.rs index edc362985b9..5f4b571625a 100644 --- a/components/servo/lib.rs +++ b/components/servo/lib.rs @@ -129,12 +129,12 @@ impl Browser { resource_path.push("shaders"); // TODO(gw): Duplicates device_pixels_per_screen_px from compositor. Tidy up! - let hidpi_factor = window.hidpi_factor().get(); + let scale_factor = window.scale_factor().get(); let device_pixel_ratio = match opts.device_pixels_per_px { Some(device_pixels_per_px) => device_pixels_per_px, None => match opts.output_file { Some(_) => 1.0, - None => hidpi_factor, + None => scale_factor, } }; |