-
Adam Barth authored
Previously we weren't padding the top and the bottom of drop-down menus but the spec says these should have 8.0 pixel of padding, the same as popup menus. Fixes #2683
ca4b5cf4
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| src | ||
| animation.dart | ||
| gestures.dart | ||
| http.dart | ||
| material.dart | ||
| painting.dart | ||
| rendering.dart | ||
| scheduler.dart | ||
| services.dart | ||
| shell.dart | ||
| widgets.dart |