mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Update webrender.
This commit is contained in:
parent
41367b01bb
commit
8842250033
15 changed files with 83 additions and 69 deletions
|
@ -54,7 +54,7 @@ embedder_traits = {path = "../embedder_traits"}
|
|||
env_logger = "0.7"
|
||||
euclid = "0.20"
|
||||
gfx = {path = "../gfx"}
|
||||
gleam = "0.9"
|
||||
gleam = "0.11"
|
||||
ipc-channel = "0.14"
|
||||
keyboard-types = "0.4"
|
||||
layout_thread_2013 = {path = "../layout_thread", optional = true}
|
||||
|
|
|
@ -400,14 +400,6 @@ where
|
|||
let viewport_size = coordinates.viewport.size.to_f32() / device_pixel_ratio;
|
||||
|
||||
let (mut webrender, webrender_api_sender) = {
|
||||
let recorder = if opts.webrender_record {
|
||||
let record_path = PathBuf::from("wr-record.bin");
|
||||
let recorder = Box::new(webrender::BinaryRecorder::new(&record_path));
|
||||
Some(recorder as Box<dyn webrender::ApiRecordingReceiver>)
|
||||
} else {
|
||||
None
|
||||
};
|
||||
|
||||
let mut debug_flags = webrender::DebugFlags::empty();
|
||||
debug_flags.set(webrender::DebugFlags::PROFILER_DBG, opts.webrender_stats);
|
||||
|
||||
|
@ -424,7 +416,6 @@ where
|
|||
resource_override_path: opts.shaders_dir.clone(),
|
||||
enable_aa: opts.enable_text_antialiasing,
|
||||
debug_flags: debug_flags,
|
||||
recorder: recorder,
|
||||
precache_flags: if opts.precache_shaders {
|
||||
ShaderPrecacheFlags::FULL_COMPILE
|
||||
} else {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue