mirror of
https://github.com/servo/servo.git
synced 2025-08-03 04:30:10 +01:00
style: Add an input-region-margin to widgets, and implement it on Linux
Recompute the input region when resizing the widget and so on, and use it to check for rollups. Depends on D148211 Differential Revision: https://phabricator.services.mozilla.com/D148222
This commit is contained in:
parent
274d273f50
commit
9b16626a8f
1 changed files with 10 additions and 0 deletions
|
@ -98,6 +98,16 @@ ${helpers.predefined_type(
|
|||
enabled_in="chrome",
|
||||
)}
|
||||
|
||||
${helpers.predefined_type(
|
||||
"-moz-window-input-region-margin",
|
||||
"Length",
|
||||
"computed::Length::zero()",
|
||||
engines="gecko",
|
||||
animation_value_type="ComputedValue",
|
||||
spec="None (Nonstandard internal property)",
|
||||
enabled_in="chrome",
|
||||
)}
|
||||
|
||||
// TODO(emilio): Probably also should be hidden from content.
|
||||
${helpers.predefined_type(
|
||||
"-moz-force-broken-image-icon",
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue