luckyimnotanigger/adguard-home-manager
1
0
Fork 0
mirror of https://github.com/JGeek00/adguard-home-manager.git synced 2025-05-14 14:02:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Border line top items search

Browse source
This commit is contained in:
Juan Gilsanz Polo 2022-10-26 12:30:15 +02:00
parent d816bc2319
commit f1a837dc42
1 changed files with 12 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
lib/screens/top_items/top_items.dart
View file

@ -110,6 +110,18 @@ class _TopItemsScreenState extends State<TopItemsScreen> {
), ),
const SizedBox(width: 10) const SizedBox(width: 10)
], ],
bottom: PreferredSize(
preferredSize: const Size(double.maxFinite, 1),
child: Container(
width: double.maxFinite,
height: 1,
decoration: BoxDecoration(
color: searchActive == true
? Colors.grey.withOpacity(0.5)
: Colors.transparent
),
),
),
), ),
body: RefreshIndicator( body: RefreshIndicator(
onRefresh: () async { onRefresh: () async {