Commit 6bdd35c
authored
@types/oojs-ui: Refine annotation of OO.ui.Element
Make the properties of OO.ui.Element.ScrollIntoViewConfig["padding"] optional. See the description of `padding`:
> Additional padding on the container to scroll past. Object containing *any* of 'top', 'bottom', 'left', or 'right' as numbers.
(italics mine)
The value of `padding` is used in https://github.com/wikimedia/oojs-ui/blob/19d6e70f4706d544109d071a78268a2d2900e730/src/Element.js#L7531 parent 85d0220 commit 6bdd35c
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
42 | | - | |
| 42 | + | |
43 | 43 | | |
44 | 44 | | |
45 | 45 | | |
| |||
0 commit comments