proper way to get widget height in SafeArea

If you only need the safe area top padding and not the height of the safe area widget child:

var safePadding = MediaQuery.of(context).padding.top;