Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-21 07:38:59 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add an option to set device pixel ratio

Browse source
This commit is contained in:
Matt Brubeck 2014-06-02 09:20:35 -07:00
parent 05a57848ad
commit a76b982ff9
3 changed files with 15 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/components/embedding/core.rs
View file

@ -50,6 +50,7 @@ pub extern "C" fn cef_run_message_loop() {
n_render_threads: 1,
cpu_painting: false,
tile_size: 512,
device_pixels_per_px: None,
profiler_period: None,
layout_threads: 1,
//layout_threads: cmp::max(rt::default_sched_threads() * 3 / 4, 1),

5
src/components/main/compositing/compositor.rs
View file

@ -125,7 +125,10 @@ impl IOCompositor {
let root_layer = Rc::new(ContainerLayer());
let window_size = window.size();
let hidpi_factor = window.hidpi_factor();
let hidpi_factor = match opts.device_pixels_per_px {
Some(dppx) => dppx,
None => window.hidpi_factor(),
};
root_layer.common.borrow_mut().set_transform(identity().scale(hidpi_factor, hidpi_factor, 1f32));
IOCompositor {

10
src/components/util/opts.rs
View file

@ -34,6 +34,10 @@ pub struct Opts {
/// The maximum size of each tile in pixels (`-s`).
pub tile_size: uint,
/// The ratio of device pixels per px at the default scale. If unspecified, will use the
/// platform default setting.
pub device_pixels_per_px: Option<f32>,
/// `None` to disable the profiler or `Some` with an interval in seconds to enable it and cause
/// it to produce output on that interval (`-p`).
pub profiler_period: Option<f64>,
@ -75,6 +79,7 @@ pub fn from_cmdline_args(args: &[~str]) -> Option<Opts> {
getopts::optopt("o", "output", "Output file", "output.png"),
getopts::optopt("r", "rendering", "Rendering backend", "direct2d|core-graphics|core-graphics-accelerated|cairo|skia."),
getopts::optopt("s", "size", "Size of tiles", "512"),
getopts::optopt("", "device-pixel-ratio", "Device pixels per px", ""),
getopts::optopt("t", "threads", "Number of render threads", "1"),
getopts::optflagopt("p", "profile", "Profiler flag and output interval", "10"),
getopts::optflag("x", "exit", "Exit after load flag"),
@ -130,6 +135,10 @@ pub fn from_cmdline_args(args: &[~str]) -> Option<Opts> {
None => 512,
};
let device_pixels_per_px = opt_match.opt_str("device-pixel-ratio").map(|dppx_str|
from_str(dppx_str).unwrap()
);
let n_render_threads: uint = match opt_match.opt_str("t") {
Some(n_render_threads_str) => from_str(n_render_threads_str).unwrap(),
None => 1, // FIXME: Number of cores.
@ -153,6 +162,7 @@ pub fn from_cmdline_args(args: &[~str]) -> Option<Opts> {
n_render_threads: n_render_threads,
cpu_painting: cpu_painting,
tile_size: tile_size,
device_pixels_per_px: device_pixels_per_px,
profiler_period: profiler_period,
layout_threads: layout_threads,
exit_after_load: opt_match.opt_present("x"),