Use case

I am trying to build an interface like the attached image using DropdownMenu where there is space between MenuAnchor and dropdownMenuEntries.

Proposal

Would you guys be open to accepting a pull request if i were to add an optional property called spacing to DropdownMenu and add a SizedBox to add a margin between MenuAnchor and dropdownMenuEntries? I think it would look something like below

return _DropdownMenuBody(
          width: widget.width,
          children: <Widget>[
            textField,
            SizedBox(height: spacing),
            for (final Widget item in _initialMenu!) item,
            trailingButton,
            leadingButton,
          ],
        );