diff --git a/components/style/gecko_bindings/structs_debug.rs b/components/style/gecko_bindings/structs_debug.rs index 447009a7965..eba1d7a5b5c 100644 --- a/components/style/gecko_bindings/structs_debug.rs +++ b/components/style/gecko_bindings/structs_debug.rs @@ -10591,7 +10591,7 @@ pub mod root { eCSSProperty_animation_name = 8, eCSSProperty_animation_play_state = 9, eCSSProperty_animation_timing_function = 10, - eCSSProperty_appearance = 11, + eCSSProperty__moz_appearance = 11, eCSSProperty_backface_visibility = 12, eCSSProperty_background_attachment = 13, eCSSProperty_background_blend_mode = 14, @@ -10603,7 +10603,7 @@ pub mod root { eCSSProperty_background_position_y = 20, eCSSProperty_background_repeat = 21, eCSSProperty_background_size = 22, - eCSSProperty_binding = 23, + eCSSProperty__moz_binding = 23, eCSSProperty_block_size = 24, eCSSProperty_border_block_end_color = 25, eCSSProperty_border_block_end_style = 26, @@ -10612,7 +10612,7 @@ pub mod root { eCSSProperty_border_block_start_style = 29, eCSSProperty_border_block_start_width = 30, eCSSProperty_border_bottom_color = 31, - eCSSProperty_border_bottom_colors = 32, + eCSSProperty__moz_border_bottom_colors = 32, eCSSProperty_border_bottom_left_radius = 33, eCSSProperty_border_bottom_right_radius = 34, eCSSProperty_border_bottom_style = 35, @@ -10630,28 +10630,28 @@ pub mod root { eCSSProperty_border_inline_start_style = 47, eCSSProperty_border_inline_start_width = 48, eCSSProperty_border_left_color = 49, - eCSSProperty_border_left_colors = 50, + eCSSProperty__moz_border_left_colors = 50, eCSSProperty_border_left_style = 51, eCSSProperty_border_left_width = 52, eCSSProperty_border_right_color = 53, - eCSSProperty_border_right_colors = 54, + eCSSProperty__moz_border_right_colors = 54, eCSSProperty_border_right_style = 55, eCSSProperty_border_right_width = 56, eCSSProperty_border_spacing = 57, eCSSProperty_border_top_color = 58, - eCSSProperty_border_top_colors = 59, + eCSSProperty__moz_border_top_colors = 59, eCSSProperty_border_top_left_radius = 60, eCSSProperty_border_top_right_radius = 61, eCSSProperty_border_top_style = 62, eCSSProperty_border_top_width = 63, eCSSProperty_bottom = 64, - eCSSProperty_box_align = 65, + eCSSProperty__moz_box_align = 65, eCSSProperty_box_decoration_break = 66, - eCSSProperty_box_direction = 67, - eCSSProperty_box_flex = 68, - eCSSProperty_box_ordinal_group = 69, - eCSSProperty_box_orient = 70, - eCSSProperty_box_pack = 71, + eCSSProperty__moz_box_direction = 67, + eCSSProperty__moz_box_flex = 68, + eCSSProperty__moz_box_ordinal_group = 69, + eCSSProperty__moz_box_orient = 70, + eCSSProperty__moz_box_pack = 71, eCSSProperty_box_shadow = 72, eCSSProperty_box_sizing = 73, eCSSProperty_caption_side = 74, @@ -10690,7 +10690,7 @@ pub mod root { eCSSProperty_flex_shrink = 107, eCSSProperty_flex_wrap = 108, eCSSProperty_float_ = 109, - eCSSProperty_float_edge = 110, + eCSSProperty__moz_float_edge = 110, eCSSProperty_flood_color = 111, eCSSProperty_flood_opacity = 112, eCSSProperty_font_family = 113, @@ -10710,7 +10710,7 @@ pub mod root { eCSSProperty_font_variant_position = 127, eCSSProperty_font_variation_settings = 128, eCSSProperty_font_weight = 129, - eCSSProperty_force_broken_image_icon = 130, + eCSSProperty__moz_force_broken_image_icon = 130, eCSSProperty_grid_auto_columns = 131, eCSSProperty_grid_auto_flow = 132, eCSSProperty_grid_auto_rows = 133, @@ -10727,7 +10727,7 @@ pub mod root { eCSSProperty_hyphens = 144, eCSSProperty_initial_letter = 145, eCSSProperty_image_orientation = 146, - eCSSProperty_image_region = 147, + eCSSProperty__moz_image_region = 147, eCSSProperty_image_rendering = 148, eCSSProperty_ime_mode = 149, eCSSProperty_inline_size = 150, @@ -10784,14 +10784,14 @@ pub mod root { eCSSProperty_offset_inline_start = 201, eCSSProperty_opacity = 202, eCSSProperty_order = 203, - eCSSProperty_orient = 204, - eCSSProperty_osx_font_smoothing = 205, + eCSSProperty__moz_orient = 204, + eCSSProperty__moz_osx_font_smoothing = 205, eCSSProperty_outline_color = 206, eCSSProperty_outline_offset = 207, - eCSSProperty__moz_outline_radius_bottomLeft = 208, - eCSSProperty__moz_outline_radius_bottomRight = 209, - eCSSProperty__moz_outline_radius_topLeft = 210, - eCSSProperty__moz_outline_radius_topRight = 211, + eCSSProperty__moz_outline_radius_bottomleft = 208, + eCSSProperty__moz_outline_radius_bottomright = 209, + eCSSProperty__moz_outline_radius_topleft = 210, + eCSSProperty__moz_outline_radius_topright = 211, eCSSProperty_outline_style = 212, eCSSProperty_outline_width = 213, eCSSProperty_overflow_clip_box = 214, @@ -10831,7 +10831,7 @@ pub mod root { eCSSProperty_shape_outside = 248, eCSSProperty_shape_rendering = 249, eCSSProperty__x_span = 250, - eCSSProperty_stack_sizing = 251, + eCSSProperty__moz_stack_sizing = 251, eCSSProperty_stop_color = 252, eCSSProperty_stop_opacity = 253, eCSSProperty_stroke = 254, @@ -10861,7 +10861,7 @@ pub mod root { eCSSProperty_text_overflow = 278, eCSSProperty_text_rendering = 279, eCSSProperty_text_shadow = 280, - eCSSProperty_text_size_adjust = 281, + eCSSProperty__moz_text_size_adjust = 281, eCSSProperty__webkit_text_stroke_color = 282, eCSSProperty__webkit_text_stroke_width = 283, eCSSProperty_text_transform = 284, @@ -10878,10 +10878,10 @@ pub mod root { eCSSProperty_transition_property = 295, eCSSProperty_transition_timing_function = 296, eCSSProperty_unicode_bidi = 297, - eCSSProperty_user_focus = 298, - eCSSProperty_user_input = 299, - eCSSProperty_user_modify = 300, - eCSSProperty_user_select = 301, + eCSSProperty__moz_user_focus = 298, + eCSSProperty__moz_user_input = 299, + eCSSProperty__moz_user_modify = 300, + eCSSProperty__moz_user_select = 301, eCSSProperty_vector_effect = 302, eCSSProperty_vertical_align = 303, eCSSProperty_visibility = 304, diff --git a/components/style/gecko_bindings/structs_release.rs b/components/style/gecko_bindings/structs_release.rs index c8f9d8c8491..5b21becc01b 100644 --- a/components/style/gecko_bindings/structs_release.rs +++ b/components/style/gecko_bindings/structs_release.rs @@ -10527,7 +10527,7 @@ pub mod root { eCSSProperty_animation_name = 8, eCSSProperty_animation_play_state = 9, eCSSProperty_animation_timing_function = 10, - eCSSProperty_appearance = 11, + eCSSProperty__moz_appearance = 11, eCSSProperty_backface_visibility = 12, eCSSProperty_background_attachment = 13, eCSSProperty_background_blend_mode = 14, @@ -10539,7 +10539,7 @@ pub mod root { eCSSProperty_background_position_y = 20, eCSSProperty_background_repeat = 21, eCSSProperty_background_size = 22, - eCSSProperty_binding = 23, + eCSSProperty__moz_binding = 23, eCSSProperty_block_size = 24, eCSSProperty_border_block_end_color = 25, eCSSProperty_border_block_end_style = 26, @@ -10548,7 +10548,7 @@ pub mod root { eCSSProperty_border_block_start_style = 29, eCSSProperty_border_block_start_width = 30, eCSSProperty_border_bottom_color = 31, - eCSSProperty_border_bottom_colors = 32, + eCSSProperty__moz_border_bottom_colors = 32, eCSSProperty_border_bottom_left_radius = 33, eCSSProperty_border_bottom_right_radius = 34, eCSSProperty_border_bottom_style = 35, @@ -10566,28 +10566,28 @@ pub mod root { eCSSProperty_border_inline_start_style = 47, eCSSProperty_border_inline_start_width = 48, eCSSProperty_border_left_color = 49, - eCSSProperty_border_left_colors = 50, + eCSSProperty__moz_border_left_colors = 50, eCSSProperty_border_left_style = 51, eCSSProperty_border_left_width = 52, eCSSProperty_border_right_color = 53, - eCSSProperty_border_right_colors = 54, + eCSSProperty__moz_border_right_colors = 54, eCSSProperty_border_right_style = 55, eCSSProperty_border_right_width = 56, eCSSProperty_border_spacing = 57, eCSSProperty_border_top_color = 58, - eCSSProperty_border_top_colors = 59, + eCSSProperty__moz_border_top_colors = 59, eCSSProperty_border_top_left_radius = 60, eCSSProperty_border_top_right_radius = 61, eCSSProperty_border_top_style = 62, eCSSProperty_border_top_width = 63, eCSSProperty_bottom = 64, - eCSSProperty_box_align = 65, + eCSSProperty__moz_box_align = 65, eCSSProperty_box_decoration_break = 66, - eCSSProperty_box_direction = 67, - eCSSProperty_box_flex = 68, - eCSSProperty_box_ordinal_group = 69, - eCSSProperty_box_orient = 70, - eCSSProperty_box_pack = 71, + eCSSProperty__moz_box_direction = 67, + eCSSProperty__moz_box_flex = 68, + eCSSProperty__moz_box_ordinal_group = 69, + eCSSProperty__moz_box_orient = 70, + eCSSProperty__moz_box_pack = 71, eCSSProperty_box_shadow = 72, eCSSProperty_box_sizing = 73, eCSSProperty_caption_side = 74, @@ -10626,7 +10626,7 @@ pub mod root { eCSSProperty_flex_shrink = 107, eCSSProperty_flex_wrap = 108, eCSSProperty_float_ = 109, - eCSSProperty_float_edge = 110, + eCSSProperty__moz_float_edge = 110, eCSSProperty_flood_color = 111, eCSSProperty_flood_opacity = 112, eCSSProperty_font_family = 113, @@ -10646,7 +10646,7 @@ pub mod root { eCSSProperty_font_variant_position = 127, eCSSProperty_font_variation_settings = 128, eCSSProperty_font_weight = 129, - eCSSProperty_force_broken_image_icon = 130, + eCSSProperty__moz_force_broken_image_icon = 130, eCSSProperty_grid_auto_columns = 131, eCSSProperty_grid_auto_flow = 132, eCSSProperty_grid_auto_rows = 133, @@ -10663,7 +10663,7 @@ pub mod root { eCSSProperty_hyphens = 144, eCSSProperty_initial_letter = 145, eCSSProperty_image_orientation = 146, - eCSSProperty_image_region = 147, + eCSSProperty__moz_image_region = 147, eCSSProperty_image_rendering = 148, eCSSProperty_ime_mode = 149, eCSSProperty_inline_size = 150, @@ -10720,14 +10720,14 @@ pub mod root { eCSSProperty_offset_inline_start = 201, eCSSProperty_opacity = 202, eCSSProperty_order = 203, - eCSSProperty_orient = 204, - eCSSProperty_osx_font_smoothing = 205, + eCSSProperty__moz_orient = 204, + eCSSProperty__moz_osx_font_smoothing = 205, eCSSProperty_outline_color = 206, eCSSProperty_outline_offset = 207, - eCSSProperty__moz_outline_radius_bottomLeft = 208, - eCSSProperty__moz_outline_radius_bottomRight = 209, - eCSSProperty__moz_outline_radius_topLeft = 210, - eCSSProperty__moz_outline_radius_topRight = 211, + eCSSProperty__moz_outline_radius_bottomleft = 208, + eCSSProperty__moz_outline_radius_bottomright = 209, + eCSSProperty__moz_outline_radius_topleft = 210, + eCSSProperty__moz_outline_radius_topright = 211, eCSSProperty_outline_style = 212, eCSSProperty_outline_width = 213, eCSSProperty_overflow_clip_box = 214, @@ -10767,7 +10767,7 @@ pub mod root { eCSSProperty_shape_outside = 248, eCSSProperty_shape_rendering = 249, eCSSProperty__x_span = 250, - eCSSProperty_stack_sizing = 251, + eCSSProperty__moz_stack_sizing = 251, eCSSProperty_stop_color = 252, eCSSProperty_stop_opacity = 253, eCSSProperty_stroke = 254, @@ -10797,7 +10797,7 @@ pub mod root { eCSSProperty_text_overflow = 278, eCSSProperty_text_rendering = 279, eCSSProperty_text_shadow = 280, - eCSSProperty_text_size_adjust = 281, + eCSSProperty__moz_text_size_adjust = 281, eCSSProperty__webkit_text_stroke_color = 282, eCSSProperty__webkit_text_stroke_width = 283, eCSSProperty_text_transform = 284, @@ -10814,10 +10814,10 @@ pub mod root { eCSSProperty_transition_property = 295, eCSSProperty_transition_timing_function = 296, eCSSProperty_unicode_bidi = 297, - eCSSProperty_user_focus = 298, - eCSSProperty_user_input = 299, - eCSSProperty_user_modify = 300, - eCSSProperty_user_select = 301, + eCSSProperty__moz_user_focus = 298, + eCSSProperty__moz_user_input = 299, + eCSSProperty__moz_user_modify = 300, + eCSSProperty__moz_user_select = 301, eCSSProperty_vector_effect = 302, eCSSProperty_vertical_align = 303, eCSSProperty_visibility = 304, diff --git a/components/style/properties/properties.mako.rs b/components/style/properties/properties.mako.rs index 94db5e12008..4929208a7b9 100644 --- a/components/style/properties/properties.mako.rs +++ b/components/style/properties/properties.mako.rs @@ -650,10 +650,6 @@ impl PropertyId { if ident == "float": ident = "float_" - elif "outline_radius" in ident: - ident = ident.replace("right", "Right").replace("left", "Left") - elif ident.startswith("_moz_"): - ident = ident[len("_moz_"):] return "nsCSSPropertyID::eCSSProperty_" + ident %> match id {