mirror of
https://github.com/servo/servo.git
synced 2025-08-04 13:10:20 +01:00
config: Remove legacy-layout and unused Preferences
and Opts
(#34994)
There are some preferences and options that are only used by legacy layout or not used at all. This PR removes them. Signed-off-by: Martin Robinson <mrobinson@igalia.com>
This commit is contained in:
parent
2c0c36f238
commit
f5ef8aaed3
8 changed files with 12 additions and 305 deletions
|
@ -796,9 +796,6 @@ impl LayoutThread {
|
|||
if self.debug.dump_display_list {
|
||||
display_list.print();
|
||||
}
|
||||
if self.debug.dump_display_list_json {
|
||||
println!("{}", serde_json::to_string_pretty(&display_list).unwrap());
|
||||
}
|
||||
|
||||
debug!("Layout done!");
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue