Browse Source

add 4pts extra padding for home header on devices with no notch

ashilkn 2 years ago
parent
commit
5ddf29aae1
1 changed files with 4 additions and 1 deletions
  1. 4 1
      lib/ui/components/home_header_widget.dart

+ 4 - 1
lib/ui/components/home_header_widget.dart

@@ -1,3 +1,5 @@
+import 'dart:ui';
+
 import 'package:flutter/material.dart';
 import 'package:flutter/material.dart';
 import 'package:photos/ui/viewer/search/search_widget.dart';
 import 'package:photos/ui/viewer/search/search_widget.dart';
 
 
@@ -13,8 +15,9 @@ class HomeHeaderWidget extends StatefulWidget {
 class _HomeHeaderWidgetState extends State<HomeHeaderWidget> {
 class _HomeHeaderWidgetState extends State<HomeHeaderWidget> {
   @override
   @override
   Widget build(BuildContext context) {
   Widget build(BuildContext context) {
+    final hasNotch = window.viewPadding.top > 65;
     return Padding(
     return Padding(
-      padding: const EdgeInsets.all(4),
+      padding: EdgeInsets.fromLTRB(4, hasNotch ? 4 : 8, 4, 4),
       child: Row(
       child: Row(
         mainAxisAlignment: MainAxisAlignment.spaceBetween,
         mainAxisAlignment: MainAxisAlignment.spaceBetween,
         children: [
         children: [