Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 04:30:10 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #25242 - paulrouget:prompt, r=manishearth

Browse source 
Mechanism to allow Servo to prompt the user

This blocks the embedder thread (compositor thread). Not ideal. I don't think it's too much work to only block script, I'll do that in a follow up bug.

Fix #23376

@Manishearth we have a few new APIs. Hopefully this will cover your needs. A thing I haven't implemented yet is a way to ask the user to pick from a list. Let me know if it's something you'll need.
This commit is contained in:
bors-servo 2020-02-10 03:33:50 -05:00 • committed by GitHub
commit 504437938a
22 changed files with 473 additions and 118 deletions
Download patch file Download diff file Expand all files Collapse all files

5
components/servo/lib.rs
View file

@ -356,8 +356,11 @@ where
opts.profile_heartbeats,
);
let mem_profiler_chan = profile_mem::Profiler::create(opts.mem_profiler_period);
let debugger_chan = opts.debugger_port.map(|port| debugger::start_server(port));
let devtools_chan = opts.devtools_port.map(|port| devtools::start_server(port));
let devtools_chan = opts
.devtools_port
.map(|port| devtools::start_server(port, embedder_proxy.clone()));
let coordinates = window.get_coordinates();
let device_pixel_ratio = coordinates.hidpi_factor.get();