Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-07 06:25:32 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove special case for nsCSSPropertyID

Browse source
This commit is contained in:
Xidorn Quan 2016-12-21 18:15:18 +11:00
parent 2760e2bae6
commit 6a05615e67
3 changed files with 54 additions and 58 deletions
Download patch file Download diff file Expand all files Collapse all files

54
components/style/gecko_bindings/structs_debug.rs
View file

@ -10591,7 +10591,7 @@ pub mod root {
eCSSProperty_animation_name = 8, eCSSProperty_animation_name = 8,
eCSSProperty_animation_play_state = 9, eCSSProperty_animation_play_state = 9,
eCSSProperty_animation_timing_function = 10, eCSSProperty_animation_timing_function = 10,
eCSSProperty_appearance = 11, eCSSProperty__moz_appearance = 11,
eCSSProperty_backface_visibility = 12, eCSSProperty_backface_visibility = 12,
eCSSProperty_background_attachment = 13, eCSSProperty_background_attachment = 13,
eCSSProperty_background_blend_mode = 14, eCSSProperty_background_blend_mode = 14,
@ -10603,7 +10603,7 @@ pub mod root {
eCSSProperty_background_position_y = 20, eCSSProperty_background_position_y = 20,
eCSSProperty_background_repeat = 21, eCSSProperty_background_repeat = 21,
eCSSProperty_background_size = 22, eCSSProperty_background_size = 22,
eCSSProperty_binding = 23, eCSSProperty__moz_binding = 23,
eCSSProperty_block_size = 24, eCSSProperty_block_size = 24,
eCSSProperty_border_block_end_color = 25, eCSSProperty_border_block_end_color = 25,
eCSSProperty_border_block_end_style = 26, eCSSProperty_border_block_end_style = 26,
@ -10612,7 +10612,7 @@ pub mod root {
eCSSProperty_border_block_start_style = 29, eCSSProperty_border_block_start_style = 29,
eCSSProperty_border_block_start_width = 30, eCSSProperty_border_block_start_width = 30,
eCSSProperty_border_bottom_color = 31, 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_left_radius = 33,
eCSSProperty_border_bottom_right_radius = 34, eCSSProperty_border_bottom_right_radius = 34,
eCSSProperty_border_bottom_style = 35, eCSSProperty_border_bottom_style = 35,
@ -10630,28 +10630,28 @@ pub mod root {
eCSSProperty_border_inline_start_style = 47, eCSSProperty_border_inline_start_style = 47,
eCSSProperty_border_inline_start_width = 48, eCSSProperty_border_inline_start_width = 48,
eCSSProperty_border_left_color = 49, eCSSProperty_border_left_color = 49,
eCSSProperty_border_left_colors = 50, eCSSProperty__moz_border_left_colors = 50,
eCSSProperty_border_left_style = 51, eCSSProperty_border_left_style = 51,
eCSSProperty_border_left_width = 52, eCSSProperty_border_left_width = 52,
eCSSProperty_border_right_color = 53, eCSSProperty_border_right_color = 53,
eCSSProperty_border_right_colors = 54, eCSSProperty__moz_border_right_colors = 54,
eCSSProperty_border_right_style = 55, eCSSProperty_border_right_style = 55,
eCSSProperty_border_right_width = 56, eCSSProperty_border_right_width = 56,
eCSSProperty_border_spacing = 57, eCSSProperty_border_spacing = 57,
eCSSProperty_border_top_color = 58, 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_left_radius = 60,
eCSSProperty_border_top_right_radius = 61, eCSSProperty_border_top_right_radius = 61,
eCSSProperty_border_top_style = 62, eCSSProperty_border_top_style = 62,
eCSSProperty_border_top_width = 63, eCSSProperty_border_top_width = 63,
eCSSProperty_bottom = 64, eCSSProperty_bottom = 64,
eCSSProperty_box_align = 65, eCSSProperty__moz_box_align = 65,
eCSSProperty_box_decoration_break = 66, eCSSProperty_box_decoration_break = 66,
eCSSProperty_box_direction = 67, eCSSProperty__moz_box_direction = 67,
eCSSProperty_box_flex = 68, eCSSProperty__moz_box_flex = 68,
eCSSProperty_box_ordinal_group = 69, eCSSProperty__moz_box_ordinal_group = 69,
eCSSProperty_box_orient = 70, eCSSProperty__moz_box_orient = 70,
eCSSProperty_box_pack = 71, eCSSProperty__moz_box_pack = 71,
eCSSProperty_box_shadow = 72, eCSSProperty_box_shadow = 72,
eCSSProperty_box_sizing = 73, eCSSProperty_box_sizing = 73,
eCSSProperty_caption_side = 74, eCSSProperty_caption_side = 74,
@ -10690,7 +10690,7 @@ pub mod root {
eCSSProperty_flex_shrink = 107, eCSSProperty_flex_shrink = 107,
eCSSProperty_flex_wrap = 108, eCSSProperty_flex_wrap = 108,
eCSSProperty_float_ = 109, eCSSProperty_float_ = 109,
eCSSProperty_float_edge = 110, eCSSProperty__moz_float_edge = 110,
eCSSProperty_flood_color = 111, eCSSProperty_flood_color = 111,
eCSSProperty_flood_opacity = 112, eCSSProperty_flood_opacity = 112,
eCSSProperty_font_family = 113, eCSSProperty_font_family = 113,
@ -10710,7 +10710,7 @@ pub mod root {
eCSSProperty_font_variant_position = 127, eCSSProperty_font_variant_position = 127,
eCSSProperty_font_variation_settings = 128, eCSSProperty_font_variation_settings = 128,
eCSSProperty_font_weight = 129, 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_columns = 131,
eCSSProperty_grid_auto_flow = 132, eCSSProperty_grid_auto_flow = 132,
eCSSProperty_grid_auto_rows = 133, eCSSProperty_grid_auto_rows = 133,
@ -10727,7 +10727,7 @@ pub mod root {
eCSSProperty_hyphens = 144, eCSSProperty_hyphens = 144,
eCSSProperty_initial_letter = 145, eCSSProperty_initial_letter = 145,
eCSSProperty_image_orientation = 146, eCSSProperty_image_orientation = 146,
eCSSProperty_image_region = 147, eCSSProperty__moz_image_region = 147,
eCSSProperty_image_rendering = 148, eCSSProperty_image_rendering = 148,
eCSSProperty_ime_mode = 149, eCSSProperty_ime_mode = 149,
eCSSProperty_inline_size = 150, eCSSProperty_inline_size = 150,
@ -10784,14 +10784,14 @@ pub mod root {
eCSSProperty_offset_inline_start = 201, eCSSProperty_offset_inline_start = 201,
eCSSProperty_opacity = 202, eCSSProperty_opacity = 202,
eCSSProperty_order = 203, eCSSProperty_order = 203,
eCSSProperty_orient = 204, eCSSProperty__moz_orient = 204,
eCSSProperty_osx_font_smoothing = 205, eCSSProperty__moz_osx_font_smoothing = 205,
eCSSProperty_outline_color = 206, eCSSProperty_outline_color = 206,
eCSSProperty_outline_offset = 207, eCSSProperty_outline_offset = 207,
eCSSProperty__moz_outline_radius_bottomLeft = 208, eCSSProperty__moz_outline_radius_bottomleft = 208,
eCSSProperty__moz_outline_radius_bottomRight = 209, eCSSProperty__moz_outline_radius_bottomright = 209,
eCSSProperty__moz_outline_radius_topLeft = 210, eCSSProperty__moz_outline_radius_topleft = 210,
eCSSProperty__moz_outline_radius_topRight = 211, eCSSProperty__moz_outline_radius_topright = 211,
eCSSProperty_outline_style = 212, eCSSProperty_outline_style = 212,
eCSSProperty_outline_width = 213, eCSSProperty_outline_width = 213,
eCSSProperty_overflow_clip_box = 214, eCSSProperty_overflow_clip_box = 214,
@ -10831,7 +10831,7 @@ pub mod root {
eCSSProperty_shape_outside = 248, eCSSProperty_shape_outside = 248,
eCSSProperty_shape_rendering = 249, eCSSProperty_shape_rendering = 249,
eCSSProperty__x_span = 250, eCSSProperty__x_span = 250,
eCSSProperty_stack_sizing = 251, eCSSProperty__moz_stack_sizing = 251,
eCSSProperty_stop_color = 252, eCSSProperty_stop_color = 252,
eCSSProperty_stop_opacity = 253, eCSSProperty_stop_opacity = 253,
eCSSProperty_stroke = 254, eCSSProperty_stroke = 254,
@ -10861,7 +10861,7 @@ pub mod root {
eCSSProperty_text_overflow = 278, eCSSProperty_text_overflow = 278,
eCSSProperty_text_rendering = 279, eCSSProperty_text_rendering = 279,
eCSSProperty_text_shadow = 280, 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_color = 282,
eCSSProperty__webkit_text_stroke_width = 283, eCSSProperty__webkit_text_stroke_width = 283,
eCSSProperty_text_transform = 284, eCSSProperty_text_transform = 284,
@ -10878,10 +10878,10 @@ pub mod root {
eCSSProperty_transition_property = 295, eCSSProperty_transition_property = 295,
eCSSProperty_transition_timing_function = 296, eCSSProperty_transition_timing_function = 296,
eCSSProperty_unicode_bidi = 297, eCSSProperty_unicode_bidi = 297,
eCSSProperty_user_focus = 298, eCSSProperty__moz_user_focus = 298,
eCSSProperty_user_input = 299, eCSSProperty__moz_user_input = 299,
eCSSProperty_user_modify = 300, eCSSProperty__moz_user_modify = 300,
eCSSProperty_user_select = 301, eCSSProperty__moz_user_select = 301,
eCSSProperty_vector_effect = 302, eCSSProperty_vector_effect = 302,
eCSSProperty_vertical_align = 303, eCSSProperty_vertical_align = 303,
eCSSProperty_visibility = 304, eCSSProperty_visibility = 304,

54
components/style/gecko_bindings/structs_release.rs
View file

@ -10527,7 +10527,7 @@ pub mod root {
eCSSProperty_animation_name = 8, eCSSProperty_animation_name = 8,
eCSSProperty_animation_play_state = 9, eCSSProperty_animation_play_state = 9,
eCSSProperty_animation_timing_function = 10, eCSSProperty_animation_timing_function = 10,
eCSSProperty_appearance = 11, eCSSProperty__moz_appearance = 11,
eCSSProperty_backface_visibility = 12, eCSSProperty_backface_visibility = 12,
eCSSProperty_background_attachment = 13, eCSSProperty_background_attachment = 13,
eCSSProperty_background_blend_mode = 14, eCSSProperty_background_blend_mode = 14,
@ -10539,7 +10539,7 @@ pub mod root {
eCSSProperty_background_position_y = 20, eCSSProperty_background_position_y = 20,
eCSSProperty_background_repeat = 21, eCSSProperty_background_repeat = 21,
eCSSProperty_background_size = 22, eCSSProperty_background_size = 22,
eCSSProperty_binding = 23, eCSSProperty__moz_binding = 23,
eCSSProperty_block_size = 24, eCSSProperty_block_size = 24,
eCSSProperty_border_block_end_color = 25, eCSSProperty_border_block_end_color = 25,
eCSSProperty_border_block_end_style = 26, eCSSProperty_border_block_end_style = 26,
@ -10548,7 +10548,7 @@ pub mod root {
eCSSProperty_border_block_start_style = 29, eCSSProperty_border_block_start_style = 29,
eCSSProperty_border_block_start_width = 30, eCSSProperty_border_block_start_width = 30,
eCSSProperty_border_bottom_color = 31, 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_left_radius = 33,
eCSSProperty_border_bottom_right_radius = 34, eCSSProperty_border_bottom_right_radius = 34,
eCSSProperty_border_bottom_style = 35, eCSSProperty_border_bottom_style = 35,
@ -10566,28 +10566,28 @@ pub mod root {
eCSSProperty_border_inline_start_style = 47, eCSSProperty_border_inline_start_style = 47,
eCSSProperty_border_inline_start_width = 48, eCSSProperty_border_inline_start_width = 48,
eCSSProperty_border_left_color = 49, eCSSProperty_border_left_color = 49,
eCSSProperty_border_left_colors = 50, eCSSProperty__moz_border_left_colors = 50,
eCSSProperty_border_left_style = 51, eCSSProperty_border_left_style = 51,
eCSSProperty_border_left_width = 52, eCSSProperty_border_left_width = 52,
eCSSProperty_border_right_color = 53, eCSSProperty_border_right_color = 53,
eCSSProperty_border_right_colors = 54, eCSSProperty__moz_border_right_colors = 54,
eCSSProperty_border_right_style = 55, eCSSProperty_border_right_style = 55,
eCSSProperty_border_right_width = 56, eCSSProperty_border_right_width = 56,
eCSSProperty_border_spacing = 57, eCSSProperty_border_spacing = 57,
eCSSProperty_border_top_color = 58, 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_left_radius = 60,
eCSSProperty_border_top_right_radius = 61, eCSSProperty_border_top_right_radius = 61,
eCSSProperty_border_top_style = 62, eCSSProperty_border_top_style = 62,
eCSSProperty_border_top_width = 63, eCSSProperty_border_top_width = 63,
eCSSProperty_bottom = 64, eCSSProperty_bottom = 64,
eCSSProperty_box_align = 65, eCSSProperty__moz_box_align = 65,
eCSSProperty_box_decoration_break = 66, eCSSProperty_box_decoration_break = 66,
eCSSProperty_box_direction = 67, eCSSProperty__moz_box_direction = 67,
eCSSProperty_box_flex = 68, eCSSProperty__moz_box_flex = 68,
eCSSProperty_box_ordinal_group = 69, eCSSProperty__moz_box_ordinal_group = 69,
eCSSProperty_box_orient = 70, eCSSProperty__moz_box_orient = 70,
eCSSProperty_box_pack = 71, eCSSProperty__moz_box_pack = 71,
eCSSProperty_box_shadow = 72, eCSSProperty_box_shadow = 72,
eCSSProperty_box_sizing = 73, eCSSProperty_box_sizing = 73,
eCSSProperty_caption_side = 74, eCSSProperty_caption_side = 74,
@ -10626,7 +10626,7 @@ pub mod root {
eCSSProperty_flex_shrink = 107, eCSSProperty_flex_shrink = 107,
eCSSProperty_flex_wrap = 108, eCSSProperty_flex_wrap = 108,
eCSSProperty_float_ = 109, eCSSProperty_float_ = 109,
eCSSProperty_float_edge = 110, eCSSProperty__moz_float_edge = 110,
eCSSProperty_flood_color = 111, eCSSProperty_flood_color = 111,
eCSSProperty_flood_opacity = 112, eCSSProperty_flood_opacity = 112,
eCSSProperty_font_family = 113, eCSSProperty_font_family = 113,
@ -10646,7 +10646,7 @@ pub mod root {
eCSSProperty_font_variant_position = 127, eCSSProperty_font_variant_position = 127,
eCSSProperty_font_variation_settings = 128, eCSSProperty_font_variation_settings = 128,
eCSSProperty_font_weight = 129, 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_columns = 131,
eCSSProperty_grid_auto_flow = 132, eCSSProperty_grid_auto_flow = 132,
eCSSProperty_grid_auto_rows = 133, eCSSProperty_grid_auto_rows = 133,
@ -10663,7 +10663,7 @@ pub mod root {
eCSSProperty_hyphens = 144, eCSSProperty_hyphens = 144,
eCSSProperty_initial_letter = 145, eCSSProperty_initial_letter = 145,
eCSSProperty_image_orientation = 146, eCSSProperty_image_orientation = 146,
eCSSProperty_image_region = 147, eCSSProperty__moz_image_region = 147,
eCSSProperty_image_rendering = 148, eCSSProperty_image_rendering = 148,
eCSSProperty_ime_mode = 149, eCSSProperty_ime_mode = 149,
eCSSProperty_inline_size = 150, eCSSProperty_inline_size = 150,
@ -10720,14 +10720,14 @@ pub mod root {
eCSSProperty_offset_inline_start = 201, eCSSProperty_offset_inline_start = 201,
eCSSProperty_opacity = 202, eCSSProperty_opacity = 202,
eCSSProperty_order = 203, eCSSProperty_order = 203,
eCSSProperty_orient = 204, eCSSProperty__moz_orient = 204,
eCSSProperty_osx_font_smoothing = 205, eCSSProperty__moz_osx_font_smoothing = 205,
eCSSProperty_outline_color = 206, eCSSProperty_outline_color = 206,
eCSSProperty_outline_offset = 207, eCSSProperty_outline_offset = 207,
eCSSProperty__moz_outline_radius_bottomLeft = 208, eCSSProperty__moz_outline_radius_bottomleft = 208,
eCSSProperty__moz_outline_radius_bottomRight = 209, eCSSProperty__moz_outline_radius_bottomright = 209,
eCSSProperty__moz_outline_radius_topLeft = 210, eCSSProperty__moz_outline_radius_topleft = 210,
eCSSProperty__moz_outline_radius_topRight = 211, eCSSProperty__moz_outline_radius_topright = 211,
eCSSProperty_outline_style = 212, eCSSProperty_outline_style = 212,
eCSSProperty_outline_width = 213, eCSSProperty_outline_width = 213,
eCSSProperty_overflow_clip_box = 214, eCSSProperty_overflow_clip_box = 214,
@ -10767,7 +10767,7 @@ pub mod root {
eCSSProperty_shape_outside = 248, eCSSProperty_shape_outside = 248,
eCSSProperty_shape_rendering = 249, eCSSProperty_shape_rendering = 249,
eCSSProperty__x_span = 250, eCSSProperty__x_span = 250,
eCSSProperty_stack_sizing = 251, eCSSProperty__moz_stack_sizing = 251,
eCSSProperty_stop_color = 252, eCSSProperty_stop_color = 252,
eCSSProperty_stop_opacity = 253, eCSSProperty_stop_opacity = 253,
eCSSProperty_stroke = 254, eCSSProperty_stroke = 254,
@ -10797,7 +10797,7 @@ pub mod root {
eCSSProperty_text_overflow = 278, eCSSProperty_text_overflow = 278,
eCSSProperty_text_rendering = 279, eCSSProperty_text_rendering = 279,
eCSSProperty_text_shadow = 280, 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_color = 282,
eCSSProperty__webkit_text_stroke_width = 283, eCSSProperty__webkit_text_stroke_width = 283,
eCSSProperty_text_transform = 284, eCSSProperty_text_transform = 284,
@ -10814,10 +10814,10 @@ pub mod root {
eCSSProperty_transition_property = 295, eCSSProperty_transition_property = 295,
eCSSProperty_transition_timing_function = 296, eCSSProperty_transition_timing_function = 296,
eCSSProperty_unicode_bidi = 297, eCSSProperty_unicode_bidi = 297,
eCSSProperty_user_focus = 298, eCSSProperty__moz_user_focus = 298,
eCSSProperty_user_input = 299, eCSSProperty__moz_user_input = 299,
eCSSProperty_user_modify = 300, eCSSProperty__moz_user_modify = 300,
eCSSProperty_user_select = 301, eCSSProperty__moz_user_select = 301,
eCSSProperty_vector_effect = 302, eCSSProperty_vector_effect = 302,
eCSSProperty_vertical_align = 303, eCSSProperty_vertical_align = 303,
eCSSProperty_visibility = 304, eCSSProperty_visibility = 304,

4
components/style/properties/properties.mako.rs
View file

@ -650,10 +650,6 @@ impl PropertyId {
if ident == "float": if ident == "float":
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 return "nsCSSPropertyID::eCSSProperty_" + ident
%> %>
match id { match id {