Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 06:43:40 +01:00
Code Issues Projects Releases Packages Wiki Activity
servo/tests/unit
History
Denis Merigoux e1ea8fbd35 Fixed bug in textinput::adjust_vertical concerning selection_origin update 
This bug was discovered using the F* formal verification framework.

Style changes (match -> if let)

Replace if let Some(_) by .is_some()
2018-12-22 17:50:24 +01:00
..
deny_public_fields Update MPL license to https (part 5) 2018-11-27 19:09:17 +01:00
malloc_size_of Update MPL license to https (part 5) 2018-11-27 19:09:17 +01:00
metrics Update MPL license to https (part 5) 2018-11-27 19:09:17 +01:00
profile Update MPL license to https (part 5) 2018-11-27 19:09:17 +01:00
script Fixed bug in textinput::adjust_vertical concerning selection_origin update 2018-12-22 17:50:24 +01:00
script_plugins Update MPL license to https (part 5) 2018-11-27 19:09:17 +01:00
style Update MPL license to https (part 5) 2018-11-27 19:09:17 +01:00