mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
Remove unused -Z dump-display-list-optimized flag
This commit is contained in:
parent
0397e2a24d
commit
9e66aa5465
1 changed files with 0 additions and 10 deletions
|
@ -163,9 +163,6 @@ pub struct Opts {
|
|||
/// Dumps the display list in JSON form after a layout.
|
||||
pub dump_display_list_json: bool,
|
||||
|
||||
/// Dumps the display list after optimization (post layout, at painting time).
|
||||
pub dump_display_list_optimized: bool,
|
||||
|
||||
/// Dumps the layer tree when it changes.
|
||||
pub dump_layer_tree: bool,
|
||||
|
||||
|
@ -233,9 +230,6 @@ pub struct DebugOptions {
|
|||
/// Print the display list in JSON form.
|
||||
pub dump_display_list_json: bool,
|
||||
|
||||
/// Print optimized display list (at paint time).
|
||||
pub dump_display_list_optimized: bool,
|
||||
|
||||
/// Print the layer tree whenever it changes.
|
||||
pub dump_layer_tree: bool,
|
||||
|
||||
|
@ -307,7 +301,6 @@ impl DebugOptions {
|
|||
"dump-flow-tree" => debug_options.dump_flow_tree = true,
|
||||
"dump-display-list" => debug_options.dump_display_list = true,
|
||||
"dump-display-list-json" => debug_options.dump_display_list_json = true,
|
||||
"dump-display-list-optimized" => debug_options.dump_display_list_optimized = true,
|
||||
"dump-layer-tree" => debug_options.dump_layer_tree = true,
|
||||
"relayout-event" => debug_options.relayout_event = true,
|
||||
"profile-script-events" => debug_options.profile_script_events = true,
|
||||
|
@ -349,7 +342,6 @@ pub fn print_debug_usage(app: &str) -> ! {
|
|||
print_option("dump-flow-tree", "Print the flow tree after each layout.");
|
||||
print_option("dump-display-list", "Print the display list after each layout.");
|
||||
print_option("dump-display-list-json", "Print the display list in JSON form.");
|
||||
print_option("dump-display-list-optimized", "Print optimized display list (at paint time).");
|
||||
print_option("dump-layer-tree", "Print the layer tree whenever it changes.");
|
||||
print_option("relayout-event", "Print notifications when there is a relayout.");
|
||||
print_option("profile-script-events", "Enable profiling of script-related events.");
|
||||
|
@ -500,7 +492,6 @@ pub fn default_opts() -> Opts {
|
|||
dump_flow_tree: false,
|
||||
dump_display_list: false,
|
||||
dump_display_list_json: false,
|
||||
dump_display_list_optimized: false,
|
||||
dump_layer_tree: false,
|
||||
relayout_event: false,
|
||||
profile_script_events: false,
|
||||
|
@ -783,7 +774,6 @@ pub fn from_cmdline_args(args: &[String]) -> ArgumentParsingResult {
|
|||
dump_flow_tree: debug_options.dump_flow_tree,
|
||||
dump_display_list: debug_options.dump_display_list,
|
||||
dump_display_list_json: debug_options.dump_display_list_json,
|
||||
dump_display_list_optimized: debug_options.dump_display_list_optimized,
|
||||
dump_layer_tree: debug_options.dump_layer_tree,
|
||||
relayout_event: debug_options.relayout_event,
|
||||
disable_share_style_cache: debug_options.disable_share_style_cache,
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue